Filter your results
- 89
- 5
- 89
- 5
- 94
- 5
- 2
- 5
- 3
- 13
- 3
- 8
- 10
- 8
- 8
- 15
- 7
- 5
- 7
- 94
- 13
- 6
- 6
- 2
- 2
- 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
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Digital Twin – Integrating Cloud Services into Communication Protocols16th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2019, Moscow, Russia. pp.283-292, ⟨10.1007/978-3-030-42250-9_27⟩
Conference papers
hal-04444761v1
|
||
|
Motion-Structural Analysis of Systems Using Digital Twins16th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2019, Moscow, Russia. pp.243-249, ⟨10.1007/978-3-030-42250-9_23⟩
Conference papers
hal-04444750v1
|
||
|
Development of a Valuation Method for IoT-Platforms16th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2019, Moscow, Russia. pp.293-301, ⟨10.1007/978-3-030-42250-9_28⟩
Conference papers
hal-04444741v1
|
||
|
A Review, Focused on Data Transfer Standards, of the Uncertainty Representation in the Digital Twin Context16th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2019, Moscow, Russia. pp.24-33, ⟨10.1007/978-3-030-42250-9_3⟩
Conference papers
hal-04444734v1
|
||
|
Unsupervised Multi-sensor Anomaly Localization with Explainable AI18th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2022, Hersonissos, Greece. pp.507-519, ⟨10.1007/978-3-031-08333-4_41⟩
Conference papers
hal-04317155v1
|
||
|
Sequencing Through a Global Decision Instance Based on a Neural Network18th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2021, Curitiba, Brazil. pp.334-344, ⟨10.1007/978-3-030-94335-6_24⟩
Conference papers
hal-04186143v1
|
||
|
Hybrid Learning Factories for Lean Education: Approach and Morphology for Competency-Oriented Design of Suitable Virtual Reality Learning Environments7th European Lean Educator Conference (ELEC), Oct 2021, Trondheim, Norway. pp.60-67, ⟨10.1007/978-3-030-92934-3_7⟩
Conference papers
hal-03771939v1
|
||
|
Modeling Non-deterministic C Code with Active Objects8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.213-227, ⟨10.1007/978-3-030-31517-7_15⟩
Conference papers
hal-03769132v1
|
||
|
Verification of Smart Contract Business Logic8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.228-243, ⟨10.1007/978-3-030-31517-7_16⟩
Conference papers
hal-03769118v1
|
||
|
Evaluation of network traffic analysis using approximate matching algorithms17th IFIP International Conference on Digital Forensics (DigitalForensics), Feb 2021, Virtual, China. pp.89-108, ⟨10.1007/978-3-030-88381-2_5⟩
Conference papers
hal-03764372v1
|
||
|
Comparison of cyber attacks on services in the clearnet and darknet17th IFIP International Conference on Digital Forensics (DigitalForensics), Feb 2021, Virtual, China. pp.39-61, ⟨10.1007/978-3-030-88381-2_3⟩
Conference papers
hal-03764381v1
|
||
|
Real Time Mental Stress Detection Through Breath Analysis11th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jul 2020, Costa de Caparica, Portugal. pp.403-410, ⟨10.1007/978-3-030-45124-0_39⟩
Conference papers
hal-03741556v1
|
||
|
Formal Techniques for Distributed Objects, Components, and SystemsSpringer International Publishing, LNCS-12719, 2021, Lecture Notes in Computer Science, 978-3-030-78088-3. ⟨10.1007/978-3-030-78089-0⟩
Books
hal-03740268v1
|
||
|
Privacy-Preserving IDS for In-Vehicle Networks with Local Differential Privacy15th IFIP International Summer School on Privacy and Identity Management (Privacy and Identity), Sep 2020, Maribor, Slovenia. pp.58-77, ⟨10.1007/978-3-030-72465-8_4⟩
Conference papers
hal-03703761v1
|
||
|
A Novel Approach for Generating Synthetic Datasets for Digital Forensics16th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2020, New Delhi, India. pp.73-93, ⟨10.1007/978-3-030-56223-6_5⟩
Conference papers
hal-03657236v1
|
||
|
Entertainment Computing and Serious GamesSpringer International Publishing, LNCS-11863, 2019, Lecture Notes in Computer Science, 978-3-030-34643-0. ⟨10.1007/978-3-030-34644-7⟩
Books
hal-03652053v1
|
||
|
PDPuzzleTable: A Leap Motion Exergame for Dual-Tasking Rehabilitation in Parkinson’s Disease. Design and Study Protocol1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.402-406, ⟨10.1007/978-3-030-34644-7_35⟩
Conference papers
hal-03652033v1
|
||
|
Incentivise Me: Smartphone-Based Mobility Detection for Pervasive Games1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.470-476, ⟨10.1007/978-3-030-34644-7_48⟩
Conference papers
hal-03652020v1
|
||
|
Effects of End-to-end Latency on User Experience and Performance in Immersive Virtual Reality Applications1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.57-69, ⟨10.1007/978-3-030-34644-7_5⟩
Conference papers
hal-03652010v1
|
||
|
Testing Conformance in Multi-component Enterprise Application Management8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.3-18, ⟨10.1007/978-3-030-44769-4_1⟩
Conference papers
hal-03203225v1
|
||
|
Comparing “Challenge-Based” and “Code-Based” Internet Voting Verification Implementations17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.519-538, ⟨10.1007/978-3-030-29381-9_32⟩
Conference papers
hal-02544556v1
|
||
|
Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-23220-7_8⟩
Conference papers
hal-02364576v1
|
||
|
VLSI-SoC: An Enduring Tradition25th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2017, Abu Dhabi, United Arab Emirates. pp.240-255, ⟨10.1007/978-3-030-15663-3_12⟩
Conference papers
hal-02319785v1
|
||
|
Digital Twin Requirements in the Context of Industry 4.015th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2018, Turin, Italy. pp.204-214, ⟨10.1007/978-3-030-01614-2_19⟩
Conference papers
hal-02075585v1
|
||
|
An Evaluation of Bucketing in Systems with Non-deterministic Timing Behavior33th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2018, Poznan, Poland. pp.323-338, ⟨10.1007/978-3-319-99828-2_23⟩
Conference papers
hal-02023728v1
|
||
|
Public Privacy and Brick Houses Made of Glass12th IFIP International Conference on Trust Management (TM), Jul 2018, Toronto, ON, Canada. pp.137-148, ⟨10.1007/978-3-319-95276-5_10⟩
Conference papers
hal-01855989v1
|
||
|
A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.16-29, ⟨10.1007/978-3-319-60774-0_2⟩
Conference papers
hal-01806063v1
|
||
|
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.83-98, ⟨10.1007/978-3-319-19282-6_6⟩
Conference papers
hal-01774941v1
|
||
|
Development of a Smart Assembly Data Model14th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2017, Seville, Spain. pp.655-666, ⟨10.1007/978-3-319-72905-3_58⟩
Conference papers
hal-01764193v1
|
||
|
Secure Concept for Online Trading of Technology Data in Global Manufacturing Market14th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2017, Seville, Spain. pp.690-700, ⟨10.1007/978-3-319-72905-3_61⟩
Conference papers
hal-01764165v1
|