Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

4 results
Image document

A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems

Andreas Baumgart , Philipp Reinkemeier , Achim Rettberg , Ingo Stierand , Eike Thaden , et al.
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.59-70, ⟨10.1007/978-3-642-16256-5_8⟩
Conference papers hal-01055376v1
Image document

Extending Energetic Potential of Data Centers to Participate in Smart Grid Networks

Alexander Borgerding , Sven Rosinger
3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2017, Essen, Germany. pp.107-120, ⟨10.1007/978-3-319-66553-5_8⟩
Conference papers hal-01691197v1
Image document

Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues

Tilo Mentler , Philippe Palanque , Susanne Boll , Chris Johnson , Kristof van Laerhoven
IFIP WG 13.5 Workshop @18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bari, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_72⟩
Conference papers hal-03376237v1
Image document

Demon Hunt - The Role of Endsley’s Demons of Situation Awareness in Maritime Accidents

Tim Claudius Stratmann , Susanne Boll
6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.203-212, ⟨10.1007/978-3-319-44902-9_13⟩
Conference papers hal-01647722v1