Filter your results
- 79
- 79
- 77
- 13
- 2
- 1
- 4
- 5
- 10
- 7
- 6
- 11
- 9
- 4
- 4
- 4
- 5
- 9
- 79
- 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
- 7
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 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
- 1
- 1
- 1
- 1
|
Why Realization Mismatches Expectations of e-Government Project Benefits? Towards Benefit Realization Planning14th International Conference on Electronic Government (EGOV), Aug 2015, Thessaloniki, Greece. pp.233-245, ⟨10.1007/978-3-319-22479-4_18⟩
Conference papers
hal-01412274v1
|
||
|
Watermark-Based Authentication and Key Exchange in Teleconferencing Systems11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.75-80, ⟨10.1007/978-3-642-13241-4_8⟩
Conference papers
hal-01056366v1
|
||
|
Verifying Security Policies Using Host Attributes34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.133-148, ⟨10.1007/978-3-662-43613-4_9⟩
Conference papers
hal-01398013v1
|
||
|
Understanding the Role of Information Technology for Organizational Control Design: Risk Control as New Control MechanismGovernance and Sustainability in Information Systems: Managing the Transfer and Diffusion of IT (Working conference), Sep 2011, Hamburg, Germany. pp.135-152, ⟨10.1007/978-3-642-24148-2_9⟩
Conference papers
hal-01571740v1
|
||
|
Tutorial: Parameterized Verification with Byzantine Model Checker40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.189-207, ⟨10.1007/978-3-030-50086-3_11⟩
Conference papers
hal-03283235v1
|
||
|
Transformative Hardware Design Following the Model-Driven Architecture Vision29th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2021, Singapore, Singapore. pp.49-70, ⟨10.1007/978-3-031-16818-5_3⟩
Conference papers
hal-04419577v1
|
||
|
Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.204-223, ⟨10.1007/978-3-030-21759-4_12⟩
Conference papers
hal-02313742v1
|
||
|
Towards the Implementation of the EU-Wide “Once-Only Principle”: Perceptions of Citizens in the DACH-Region17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.155-166, ⟨10.1007/978-3-319-98690-6_14⟩
Conference papers
hal-01961531v1
|
||
|
Towards Semantic Reasoning in Knowledge Management Systems4th IFIP International Workshop on Artificial Intelligence for Knowledge Management (AI4KM), Jul 2016, New York, NY, United States. pp.132-146, ⟨10.1007/978-3-319-92928-6_9⟩
Conference papers
hal-01950015v1
|
||
|
Towards Reconfigurable Digitalized and Servitized Manufacturing Systems: Conceptual FrameworkIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2019, Austin, TX, United States. pp.214-222, ⟨10.1007/978-3-030-30000-5_28⟩
Conference papers
emse-02278249v1
|
||
|
Towards Electrical, Integrated Implementations of SIMPL Systems4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.277-292, ⟨10.1007/978-3-642-12368-9_22⟩
Conference papers
hal-01056078v1
|
||
|
Towards Automated Classification of Firmware Images and Identification of Embedded Devices32th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), May 2017, Rome, Italy. pp.233-247, ⟨10.1007/978-3-319-58469-0_16⟩
Conference papers
hal-01649015v1
|
||
|
Towards a Collaborative and Open Supply Chain Management Operating Services Platform22nd Working Conference on Virtual Enterprises (PRO-VE 2021), Nov 2021, Saint-Etienne, France. pp.611-622, ⟨10.1007/978-3-030-85969-5_57⟩
Conference papers
emse-03346653v1
|
||
|
Toward a Formal Approach to Process Bundling in Public Administrations9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.412-423, ⟨10.1007/978-3-642-14799-9_35⟩
Conference papers
hal-01056570v1
|
||
|
The Abandoned Side of the Internet: Hijacking Internet Resources When Domain Names Expire7th Workshop on Traffic Monitoring and Analysis (TMA), Apr 2015, Barcelona, Spain. pp.188-201, ⟨10.1007/978-3-319-17172-2_13⟩
Conference papers
hal-01411194v1
|
||
|
Strong Optimal Controls in a Steady-State Problem of Complex Heat Transfer27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.209-219, ⟨10.1007/978-3-319-55795-3_19⟩
Conference papers
hal-01626918v1
|
||
|
Statistical Model Checking for Composite Actor Systems21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.143-160, ⟨10.1007/978-3-642-37635-1_9⟩
Conference papers
hal-01485983v1
|
||
|
Smashing the Stack Protector for Fun and Profit33th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2018, Poznan, Poland. pp.293-306, ⟨10.1007/978-3-319-99828-2_21⟩
Conference papers
hal-02023742v1
|
||
|
SMA—The Smyle Modeling Approach3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.103-117, ⟨10.1007/978-3-642-22386-0_8⟩
Conference papers
hal-01572543v1
|
||
|
Simulation of Reconfigurable Assembly Cells with Unity3DIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2019, Austin, TX, United States. pp.223-230, ⟨10.1007/978-3-030-30000-5_29⟩
Conference papers
hal-02419233v1
|
||
|
Simulation of Acoustic Wave Propagation in Anisotropic Media Using Dynamic Programming Technique26th Conference on System Modeling and Optimization (CSMO), Sep 2013, Klagenfurt, Austria. pp.36-51, ⟨10.1007/978-3-662-45504-3_5⟩
Conference papers
hal-01286451v1
|
||
|
SHRIFT System-Wide HybRid Information Flow Tracking30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.371-385, ⟨10.1007/978-3-319-18467-8_25⟩
Conference papers
hal-01345128v1
|
||
|
Security Challenges of Additive Manufacturing with Metals and Alloys9th International Conference on Critical Infrastructure Protection (ICCIP), Mar 2015, Arlington, VA, United States. pp.169-183, ⟨10.1007/978-3-319-26567-4_11⟩
Conference papers
hal-01431001v1
|
||
|
Responding to KRACK: Wi-Fi Security Awareness in Private Households14th International Symposium on Human Aspects of Information Security and Assurance (HAISA), Jul 2020, Mytilene, Lesbos, Greece. pp.233-243, ⟨10.1007/978-3-030-57404-8_18⟩
Conference papers
hal-03657727v1
|
||
|
Requirements Sensemaking Using Concept Maps4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.217-232, ⟨10.1007/978-3-642-34347-6_13⟩
Conference papers
hal-01556817v1
|
||
|
Reconfigurable Digitalized and Servitized Production Systems: Requirements and ChallengesIFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.501-508, ⟨10.1007/978-3-030-57997-5_58⟩
Conference papers
emse-02925983v1
|
||
|
Pushing the Limits Further: Sub-Atomic AES25th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2017, Abu Dhabi, United Arab Emirates. pp.220-239, ⟨10.1007/978-3-030-15663-3_11⟩
Conference papers
hal-02319794v1
|
||
|
Process and Data-Oriented Approach for Bundling Corporate Reporting Duties to Public Authorities - A Case Study on the Example of Waste Management Reporting9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.400-411, ⟨10.1007/978-3-642-14799-9_34⟩
Conference papers
hal-01056571v1
|
||
|
Privacy Assessment Using Static Taint Analysis (Tool Paper)37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.225-235, ⟨10.1007/978-3-319-60225-7_16⟩
Conference papers
hal-01658424v1
|
||
|
Predicting the Outcome of Appeal Decisions in Germany’s Tax Law9th International Conference on Electronic Participation (ePart), Sep 2017, St. Petersburg, Russia. pp.89-99, ⟨10.1007/978-3-319-64322-9_8⟩
Conference papers
hal-01703326v1
|