Publications
-
Generation of a Failure Mode and Effects Analysis with smartIflow Christian Müller, Rüdiger Lunde, Philipp Hönig Proceedings of the 30th European Safety and Reliability Conference (ESREL2020), Venice, Italy, 2020
-
Model based Safety Analysis using SysML with Automatic Generation of FTA and FMEA Artifacts Gaëlle Girard, Ivan Baeriswyl, Jonathan James Hendriks, Roland Scherwey, Christian Müller, Rüdiger Lunde, Philipp Hönig Proceedings of the 30th European Safety and Reliability Conference (ESREL2020), Venice, Italy, 2020
-
Reasoning about Different Orders of Magnitude of Time with smartIflow Rüdiger Lunde, Philipp Hönig, Christian Müller IFAC-PapersOnLine, 2018
-
Evaluation of smartIflow based on the Wheel Brake System from ARP4761 Christian Müller, Rüdiger Lunde, Philipp Hönig IFAC-PapersOnLine, 2018
-
Model Based Safety Analysis with smartIflow Philipp Hönig, Rüdiger Lunde, Florian Holzapfel Information, 2017
-
Formal Verification of Technical Systems Using smartIflow and CTL Philipp Hönig, Rüdiger Lunde, Florian Holzapfel Proceedings of the 2nd International Conference on Applications in Information Technology (ICAIT-2016), 2016
-
Modeling Technical Systems with smartIflow for Safety Related Tasks Philipp Hönig, Rüdiger Lunde, Florian Holzapfel Proceedings of the International Workshop on Applications in Information Technology (IWAIT-2015), 2015
-
A New Modeling Approach for Automated Safety Analysis Based on Information Flows Philipp Hönig, Rüdiger Lunde Proceedings of DX'14, 2014