Filter your results
- 78
- 2
- 78
- 2
- 77
- 8
- 1
- 1
- 1
- 1
- 6
- 3
- 10
- 2
- 8
- 8
- 16
- 6
- 11
- 9
- 1
- 80
- 42
- 19
- 16
- 11
- 9
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Code Generation for a Bi-dimensional Composition Mechanism3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.171-185, ⟨10.1007/978-3-642-22386-0_13⟩
Conference papers
hal-01572540v1
|
||
|
Multi-level Service Approach for Flexible Support of Design Processes20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.160-169, ⟨10.1007/978-3-642-41263-9_20⟩
Conference papers
hal-00921846v1
|
||
|
Adaptive Logical Control of RF LNA performances for efficient energy consumption18th International Conference on Very Large Scale Integration (VLSISOC), Sep 2010, Madrid, France. pp.43-68, ⟨10.1007/978-3-642-28566-0_3⟩
Conference papers
hal-00556928v1
|
||
|
Precise pointing techniques for handheld Augmented Reality14th International Conference on Human-Computer Interaction (INTERACT), 2013, Cape Town, South Africa. pp.122-139, ⟨10.1007/978-3-642-40483-2_9⟩
Conference papers
hal-00953357v1
|
||
|
Towards Controlling the Acceptance Factors for a Collaborative Platform in Engineering Design11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.585-592, ⟨10.1007/978-3-642-15961-9_70⟩
Conference papers
hal-01055942v1
|
||
|
BFT-Bench: Towards a Practical Evaluation of Robustness and Effectiveness of BFT Protocols16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.115-128, ⟨10.1007/978-3-319-39577-7_10⟩
Conference papers
hal-01372682v1
|
||
|
Statistical Evaluation of Digital Techniques for ADC BIST22th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC 2014), Oct 2014, Playa del Carmen, Mexico. pp.129-148, ⟨10.1007/978-3-319-25279-7_8⟩
Conference papers
hal-01383733v1
|
||
|
Compressing Microcontroller Execution Traces to Assist System Analysis4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩
Conference papers
hal-00853716v1
|
||
|
Output-sensitive Information flow analysis39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.93-110, ⟨10.1007/978-3-030-21759-4_6⟩
Conference papers
hal-02303984v1
|
||
|
Understanding Hand Degrees of Freedom and Natural Gestures for 3D Interaction on Tabletop14th International Conference on Human-Computer Interaction (INTERACT), IFIP, Sep 2013, Cape Town, South Africa. pp.297-314, ⟨10.1007/978-3-642-40483-2_20⟩
Conference papers
hal-00814014v2
|
||
|
Product Lifecycle Management to Support Industry 4.0Springer International Publishing, AICT-540, 2018, IFIP Advances in Information and Communication Technology, 978-3-030-01613-5. ⟨10.1007/978-3-030-01614-2⟩
Books
hal-02075612v1
|
||
|
The PEW Framework for Worth MappingINTERACT 2013, 14th IFIP TC 13 International Conference, 2013, Cape Town, South Africa. pp.667-674
Conference papers
hal-00953353v1
|
||
|
FastCast: A Throughput- and Latency-Efficient Total Order Broadcast Protocol14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.1-20, ⟨10.1007/978-3-642-45065-5_1⟩
Conference papers
hal-01480785v1
|
||
|
Investigating Mobile Banking in Mali: HCI Experience of ‘Man in the Street’17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.34-42, ⟨10.1007/978-3-030-29387-1_3⟩
Conference papers
hal-02553850v1
|
||
|
Statistical Abstraction and Model-Checking of Large Heterogeneous SystemsJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.32-46, ⟨10.1007/978-3-642-13464-7_4⟩
Conference papers
inria-00554321v2
|
||
|
An SOA Based Approach to Improve Business Processes Flexibility in PLM2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.67-74, ⟨10.1007/978-3-642-19170-1_7⟩
Conference papers
hal-00621310v1
|
||
|
A Case Study for Improving a Collaborative Design ProcessME 2011 - Working Conference on Method Engineering, Apr 2011, Paris, France. pp.97-101, ⟨10.1007/978-3-642-19997-4_10⟩
Conference papers
hal-00758526v1
|
||
|
Formal Verification of Distributed Branching Multiway Synchronization Protocols15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.146-160
Conference papers
hal-00818788v1
|
||
|
Bringing Worth Maps a Step Further: A Dedicated Online-Resource16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.95-113, ⟨10.1007/978-3-319-67687-6_8⟩
Conference papers
hal-01717227v1
|
||
|
Augmented Reality for Operator Training on Industrial Workplaces – Comparing the Microsoft HoloLens vs. Small and Big Screen Tactile Devices16th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2019, Moscow, Russia. pp.3-13, ⟨10.1007/978-3-030-42250-9_1⟩
Conference papers
hal-03140596v1
|
||
|
EFD: An efficient low-overhead scheduler10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.150-163, ⟨10.1007/978-3-642-20798-3_12⟩
Conference papers
hal-00930973v1
|
||
|
VLSI-SoC: Advanced Research for Systems on ChipSpringer, AICT-379, 2012, IFIP Advances in Information and Communication Technology, 978-3-642-32770-4. ⟨10.1007/978-3-642-32770-4⟩
Books
hal-01519769v1
|
||
|
Laser-Induced Fault Effects in Security-Dedicated CircuitsVLSI-SoC: Very Large Scale Integration and System-on-Chip, Oct 2014, Playa del Carmen, Mexico. pp.220-240, ⟨10.1007/978-3-319-25279-7_12⟩
Conference papers
hal-01383737v1
|
||
|
Manufacturing Reporting Knowledge Representation: A Case Study at STMicroelectronicsIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.34-41, ⟨10.1007/978-3-662-44739-0_5⟩
Conference papers
hal-01388204v1
|
||
|
Improving the Management of an Emergency Call Service by Combining Process Mining and Discrete Event Simulation Approaches16th Working Conference on Virtual Enterprises (PROVE), Oct 2015, Albi, France. pp.535-546, ⟨10.1007/978-3-319-24141-8_50⟩
Conference papers
hal-01437942v1
|
||
|
Coordination of ECA Rules by Verification and ControlCOORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
Conference papers
hal-01290066v1
|
||
|
A Scalable Benchmark as a Service Platform13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.113-126, ⟨10.1007/978-3-642-38541-4_9⟩
Conference papers
hal-00949561v1
|
||
|
State Estimation and Property-Guided Exploration for Hybrid Systems Testing24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.152-167, ⟨10.1007/978-3-642-34691-0_12⟩
Conference papers
hal-01482399v1
|
||
|
Towards Brain Computer Interfaces for Recreational Activities: Piloting a DroneINTERACT 2015 - 15th Human-Computer Interaction, Sep 2015, Bamberg, Germany. pp.506-522, ⟨10.1007/978-3-319-22701-6_37⟩
Conference papers
hal-01492578v1
|
||
|
MDA Based Tool for PLM’ Models Building and EvolvingIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.315-322, ⟨10.1007/978-3-662-44739-0_39⟩
Conference papers
hal-01388267v1
|