Martin Rothfelder

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 6

Top Topics

Safety Analysis

Intermediate Representation

Embedded Systems

Top Venues

SAFECOMP Workshops

ISSRE Workshops

Publications

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