Martin Rothfelder

According to our database, Martin Rothfelder authored at least 13 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Safety Assurance of a Driverless Regional Train -Insight in the safe.trAIn Project.

Marc Zeller, Thomas Waschulzik, Martin Rothfelder, Cornel Klein

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

safe.trAIn - Engineering and Assurance of a Driverless Regional Train.

Marc Zeller, Martin Rothfelder, Cornel Klein

Proceedings of the 2nd IEEE/ACM International Conference on AI Engineering, 2023

2021

Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees.

Kai Höfig, Andreas Joanni, Marc Zeller, Francesco Montrone, Martin Rothfelder, Rakshith Amarnath, Peter Munk, Arne Nordmann

CoRR, 2021

2020

Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines.

Christof Kaukewitsch, Henrik Papist, Marc Zeller, Martin Rothfelder

CoRR, 2020

Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities.

Jan Reich, Joshua Frey, Emilia Cioroaica, Marc Zeller, Martin Rothfelder

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

2015

Automated compositional safety analysis using component fault trees.

Felix Möhrle, Marc Zeller, Kai Höfig, Martin Rothfelder, Peter Liggesmeyer

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

2014

Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems.

Marc Zeller, Kai Höfig, Martin Rothfelder

Proceedings of the Computer Safety, Reliability, and Security, 2014

2004

Coverage Metrics for Continuous Function Charts.

Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

2001

Challenges and Solutions for Fault Tree Analysis Arising from Automatic Fault Tree Generation: Some Milestones on the Way.

Oliver Mäckel, Martin Rothfelder

Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

1998

Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze.

Peter Liggesmeyer, Martin Rothfelder, Michael Rettelbach, Thomas Ackermann

Inform. Spektrum, 1998

Towards Automated Proof of Fail-Safe Behaviour.

Peter Liggesmeyer, Martin Rothfelder

Proceedings of the Computer Safety, 1998

Improving System Reliability with Automatic Fault Tree Generation.

Peter Liggesmeyer, Martin Rothfelder

Proceedings of the Digest of Papers: FTCS-28, 1998

1993

The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application.

Gioacchino A. Mutone, Martin Rothfelder

Proceedings of the 12th International Conference on Computer Safety, 1993