The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application. - Gioacchino A. Mutone; Martin Rothfelder (SAFECOMP, 1993)

Improving System Reliability with Automatic Fault Tree Generation. - Peter Liggesmeyer; Martin Rothfelder (FTCS, 1998)

Towards Automated Proof of Fail-Safe Behaviour. - Peter Liggesmeyer; Martin Rothfelder (SAFECOMP, 1998)

Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze. - Peter Liggesmeyer; Martin Rothfelder; Michael Rettelbach; Thomas Ackermann (Inform. Spektrum, 1998)

Challenges and Solutions for Fault Tree Analysis Arising from Automatic Fault Tree Generation: Some Milestones on the Way. - Oliver Mäckel; Martin Rothfelder (ISAS-SCI (1), 2001)

Coverage Metrics for Continuous Function Charts. - Vadim Alyokhin; Benedikte Elbel; Martin Rothfelder; Alexander Pretschner (ISSRE, 2004)

Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems. - Marc Zeller; Kai Höfig; Martin Rothfelder (SAFECOMP Workshops, 2014)

Automated compositional safety analysis using component fault trees. - Felix Möhrle; Marc Zeller; Kai Höfig; Martin Rothfelder; Peter Liggesmeyer (ISSRE Workshops, 2015)

Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities. - Jan Reich; Joshua Frey; Emilia Cioroaica; Marc Zeller; Martin Rothfelder (IMBSA, 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)

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)

safe.trAIn - Engineering and Assurance of a Driverless Regional Train. - Marc Zeller; Martin Rothfelder; Cornel Klein (CAIN, 2023)

Safety Assurance of a Driverless Regional Train -Insight in the safe.trAIn Project. - Marc Zeller; Thomas Waschulzik; Martin Rothfelder; Cornel Klein (ISSREW, 2023)