Martin Rothfelder

14 papers A 1B 3Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2023 — conf
Safety Assurance of a Driverless Regional Train -Insight in the safe.trAIn Project.
ISSREW
Marc Zeller, Thomas Waschulzik, Martin Rothfelder, Cornel Klein
2023 B conf
safe.trAIn - Engineering and Assurance of a Driverless Regional Train.
CAIN
Marc Zeller, Martin Rothfelder, Cornel Klein
2021 J jnl
Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees.
CoRR
Kai Höfig, Andreas Joanni, Marc Zeller, Francesco Montrone, Martin Rothfelder, Rakshith Amarnath, Peter Munk, Arne Nordmann
2021 J jnl
Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems.
CoRR
Marc Zeller, Kai Höfig, Martin Rothfelder
2020 — conf
Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities.
IMBSA
Jan Reich, Joshua Frey, Emilia Cioroaica, Marc Zeller, Martin Rothfelder
2020 J jnl
Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines.
CoRR
Christof Kaukewitsch, Henrik Papist, Marc Zeller, Martin Rothfelder
2015 — conf
Automated compositional safety analysis using component fault trees.
ISSRE Workshops
Felix Möhrle, Marc Zeller, Kai Höfig, Martin Rothfelder, Peter Liggesmeyer
2014 — conf
Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems.
SAFECOMP Workshops
Marc Zeller, Kai Höfig, Martin Rothfelder
2004 A conf
Coverage Metrics for Continuous Function Charts.
ISSRE
Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner
2001 — conf
Challenges and Solutions for Fault Tree Analysis Arising from Automatic Fault Tree Generation: Some Milestones on the Way.
ISAS-SCI (1)
Oliver Mäckel, Martin Rothfelder
1998 — conf
Improving System Reliability with Automatic Fault Tree Generation.
FTCS
Peter Liggesmeyer, Martin Rothfelder
1998 J jnl
Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze.
Inform. Spektrum
Peter Liggesmeyer, Martin Rothfelder, Michael Rettelbach, Thomas Ackermann
1998 B conf
Towards Automated Proof of Fail-Safe Behaviour.
SAFECOMP
Peter Liggesmeyer, Martin Rothfelder
1993 B conf
The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application.
SAFECOMP
Gioacchino A. Mutone, Martin Rothfelder