Ernst Moritz Hahn

109 papers A* 6A 5B 18C 2Misc 6Journal 40Unranked 31
YearRankTypeTitle / Venue / Authors
2025 — conf
WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs.
CAiSE (2)
Stefano M. Nicoletti, Ernst Moritz Hahn, Mattia Fumagalli, Giancarlo Guizzardi, Mariëlle Stoelinga
2024 — conf
AGNES: Abstraction-Guided Framework for Deep Neural Networks Security.
VMCAI (2)
Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
2024 — conf
Autonomous Vehicles Path Planning Under Temporal Logic Specifications.
SBMF
Akshay Dhonthi, Nicolas Schischka, Ernst Moritz Hahn, Vahid Hashemi
2024 J jnl
Autonomous Vehicles Path Planning under Temporal Logic Specifications.
CoRR
Akshay Dhonthi, Nicolas Schischka, Ernst Moritz Hahn, Vahid Hashemi
2024 J jnl
DODGE: Ontology-Aware Risk Assessment via Object-Oriented Disruption Graphs.
CoRR
Stefano M. Nicoletti, Ernst Moritz Hahn, Mattia Fumagalli, Giancarlo Guizzardi, Mariëlle Stoelinga
2024 A conf
Multi-Agent Reinforcement Learning for Alternating-Time Logic.
ECAI
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2024 A* conf
Omega-Regular Decision Processes.
AAAI
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2024 J jnl
Querying Fault and Attack Trees: Property Specification on a Water Network.
CoRR
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 J jnl
AGNES: Abstraction-guided Framework for Deep Neural Networks Security.
CoRR
Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
2023 J jnl
ATM: a Logic for Quantitative Security Properties on Attack Trees.
CoRR
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2023 B conf
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.
FM
Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
2023 J jnl
Multi-objective ω-Regular Reinforcement Learning.
Formal Aspects Comput.
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023 — conf
Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning.
TACAS (1)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023 J jnl
Omega-Regular Decision Processes.
CoRR
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023 A conf
Omega-Regular Reward Machines.
ECAI
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023 J jnl
Omega-Regular Reward Machines.
CoRR
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023 J jnl
PFL: a Probabilistic Logic for Fault Trees.
CoRR
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2023 — conf
Scenario Approach for Parametric Markov Models.
ATVA (1)
Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang
2023 J jnl
Scenario Approach for Parametric Markov Models.
CoRR
Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang
2023 — conf
Solving Queries for Boolean Fault Tree Logic via Quantified SAT.
FTSCS
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 B conf
sfATM: A Logic for Quantitative Security Properties on Attack Trees.
SEFM
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2023 B conf
sfPFL: A Probabilistic Logic for Fault Trees.
FM
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2022 J jnl
Alternating Good-for-MDP Automata.
CoRR
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022 B conf
Alternating Good-for-MDPs Automata.
ATVA
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022 B conf
An Impossibility Result in Automata-Theoretic Reinforcement Learning.
ATVA
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022 A conf
BFL: a Logic to Reason about Fault Trees.
DSN
Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga
2022 J jnl
BFL: a Logic to Reason about Fault Trees.
CoRR
Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga
2022 J jnl
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.
CoRR
Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
2022 B conf
EPMC Gets Knowledge in Multi-agent Systems.
VMCAI
Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang
2022 J jnl
Probabilistic Preference Planning Problem for Markov Decision Processes.
IEEE Trans. Software Eng.
Meilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She, Lijun Zhang
2022 A* conf
Recursive Reinforcement Learning.
NeurIPS
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022 J jnl
Recursive Reinforcement Learning.
CoRR
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022 C conf
Reinforcement Learning with Guarantees that Hold for Ever.
FMICS
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021 — conf
Model-Free Reinforcement Learning for Branching Markov Decision Processes.
CAV (2)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021 B conf
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives.
FM
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021 J jnl
Model-free Reinforcement Learning for Branching Markov Decision Processes.
CoRR
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021 J jnl
Mungojerrie: Reinforcement Learning of Linear-Time Objectives.
CoRR
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021 Misc conf
Symblicit exploration and elimination for probabilistic model checking.
SAC
Ernst Moritz Hahn, Arnd Hartmanns
2021 — conf
The Marriage Between Safety and Cybersecurity: Still Practicing.
SPIN
Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn
2020 B conf
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives.
ATVA
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020 — conf
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning.
TACAS (1)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020 B conf
Model-Free Reinforcement Learning for Stochastic Parity Games.
CONCUR
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020 J jnl
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives.
CoRR
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020 J jnl
Symblicit Exploration and Elimination for Probabilistic Model Checking.
CoRR
Ernst Moritz Hahn, Arnd Hartmanns
2019 — conf
ARCH-COMP19 Category Report: Stochastic Modelling.
ARCH@CPSIoTWeek
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod
2019 J jnl
Good-for-MDPs Automata.
CoRR
Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak
2019 J jnl
Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves.
ACM Trans. Model. Comput. Simul.
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
2019 — conf
Limit reachability for model-free reinforcement learning of ω-regular objectives.
SNR
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019 — conf
Omega-Regular Objectives in Model-Free Reinforcement Learning.
TACAS (1)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019 — conf
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).
TACAS (3)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
2018 B conf
Accelerated Model Checking of Parametric Markov Chains.
ATVA
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
2018 J jnl
Accelerated Model Checking of Parametric Markov Chains.
CoRR
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
2018 — conf
Incremental Verification of Parametric and Reconfigurable Markov Chains.
QEST
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
2018 J jnl
Incremental Verification of Parametric and Reconfigurable Markov Chains.
CoRR
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
2018 J jnl
Omega-Regular Objectives in Model-Free Reinforcement Learning.
CoRR
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2017 — conf
JANI: Quantitative Model and Tool Interaction.
TACAS (2)
Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
2017 B conf
Model Checking Omega-regular Properties for Quantum Markov Chains .
CONCUR
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying
2017 — conf
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes.
QEST
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
2017 J jnl
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes.
CoRR
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
2017 Misc conf
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs.
SETTA
Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni
2017 B conf
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games.
VMCAI
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
2016 Misc conf
A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques.
SETTA
Ernst Moritz Hahn, Arnd Hartmanns
2016 — conf
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games.
CAV (2)
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
2016 Misc conf
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.
SETTA
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
2016 J jnl
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.
CoRR
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
2016 J jnl
Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model Checking.
CoRR
Ernst Moritz Hahn, Arnd Hartmanns
2016 — conf
Exploiting Robust Optimization for Interval Probabilistic Bisimulation.
QEST
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini
2016 A conf
GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs.
ECAI
Zhimin Wu, Ernst Moritz Hahn, Akin Günay, Lijun Zhang, Yang Liu
2016 J jnl
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games.
CoRR
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
2015 Misc conf
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.
SETTA
Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang
2015 J jnl
Computing Cumulative Rewards Using Fast Adaptive Uniformization.
ACM Trans. Model. Comput. Simul.
Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska
2015 B conf
Lazy Probabilistic Model Checking without Determinisation.
CONCUR
Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang
2015 B conf
QPMC: A Model Checker for Quantum Programs and Protocols.
FM
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang
2015 J jnl
Transient Reward Approximation for Continuous-Time Markov Chains.
IEEE Trans. Reliab.
Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
2014 — conf
Model Checking CSL for Markov Population Models
QAPL
David Spieler, Ernst Moritz Hahn, Lijun Zhang
2014 J jnl
Reachability and Reward Checking for Stochastic Timed Automata.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns
2014 B conf
iscasMc: A Web-Based Probabilistic Model Checker.
FM
Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang
2013 J jnl
A compositional modelling and analysis framework for stochastic hybrid systems.
Formal Methods Syst. Des.
Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen
2013 B conf
CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains.
ATVA
Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang
2013 — conf
Computing Cumulative Rewards Using Fast Adaptive Uniformisation.
CMSB
Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska
2013 J jnl
Lazy Determinisation for Quantitative Model Checking.
CoRR
Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Lijun Zhang
2013 Misc conf
Model Repair for Markov Decision Processes.
TASE
Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang
2013 J jnl
Model checking for performability.
Math. Struct. Comput. Sci.
Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2013 — —
Model checking stochastic hybrid systems.
Ernst Moritz Hahn
2013 — conf
Rewarding probabilistic hybrid automata.
HSCC
Ernst Moritz Hahn, Holger Hermanns
2012 J jnl
Safety Verification for Probabilistic Hybrid Systems.
Eur. J. Control
Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn
2012 J jnl
Transient Reward Approximation for Grids, Crowds, and Viruses
CoRR
Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
2012 B conf
Variable Probabilistic Abstraction Refinement.
ATVA
Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter
2011 — conf
Bounded Fairness for Probabilistic Distributed Algorithms.
ACSD
Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
2011 — conf
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.
QEST
Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang
2011 — conf
Measurability and safety verification for stochastic hybrid systems.
HSCC
Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang
2011 A* conf
Model Checking Algorithms for CTMDPs.
CAV
Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
2011 J jnl
Probabilistic reachability for parametric Markov models.
Int. J. Softw. Tools Technol. Transf.
Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
2011 C conf
Reachability analysis for incomplete networks of Markov decision processes.
MEMOCODE
Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker
2011 — conf
Synthesis for PCTL in Parametric Markov Decision Processes.
NASA Formal Methods
Ernst Moritz Hahn, Tingting Han, Lijun Zhang
2011 J jnl
The ins and outs of the probabilistic model checker MRMC.
Perform. Evaluation
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
2010 A* conf
PARAM: A Model Checker for Parametric Markov Models.
CAV
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
2010 A conf
PASS: Abstraction Refinement for Infinite Probabilistic Models.
TACAS
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
2010 A* conf
Safety Verification for Probabilistic Hybrid Systems.
CAV
Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn
2010 — conf
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.
QEST
Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel
2010 — conf
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.
SPIN
Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang
2009 A* conf
INFAMY: An Infinite-State Markov Model Checker.
CAV
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
2009 — conf
Probabilistic Reachability for Parametric Markov Models.
SPIN
Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
2009 — conf
The Ins and Outs of the Probabilistic Model Checker MRMC.
QEST
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
2009 J jnl
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains.
Fundam. Informaticae
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
2008 — conf
Time-bounded model checking of infinite-state continuous-time Markov chains.
ACSD
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter
2006 B conf
Towards a Unified Model-Based Safety Assessment.
SAFECOMP
Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn