Integrated Formal Methods for Constructing Assurance Cases. - Carmen Cârlan; Tewodros A. Beyene; Harald Ruess (ISSRE Workshops, 2016)

On Using Results of Code-Level Bounded Model Checking in Assurance Cases. - Carmen Cârlan; Daniel Ratiu; Bernhard Schätz (SAFECOMP Workshops, 2016)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. - Mario Gleirscher; Carmen Cârlan (HASE, 2017)

Living Safety Arguments for Open Systems. - Carmen Cârlan (ISSRE Workshops, 2017)

ExplicitCase: Integrated Model-Based Development of System and Safety Cases. - Carmen Cârlan; Simon Barner; Alexander Diewald; Alexandros Tsalidis; Sebastian Voss (SAFECOMP Workshops, 2017)

Arguing on Software-Level Verification Techniques Appropriateness. - Carmen Cârlan; Barbara Gallina; Severin Kacianka; Ruth Breu (SAFECOMP, 2017)

Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry. - Michael M. Huber; Michael Brunner; Clemens Sauerwein; Carmen Cârlan; Ruth Breu (SAFECOMP, 2018)

ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models. - Carmen Cârlan; Vivek Nigam; Sebastian Voss; Alexandros Tsalidis (ISSRE Workshops, 2019)

On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. - Antoaneta Kondeva; Vivek Nigam; Harald Ruess; Carmen Cârlan (ISSRE Workshops, 2019)

Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products. - Carmen Cârlan; Daniel Petrisor; Barbara Gallina; Hannes Schoenhaar (ISSRE Workshops, 2020)

FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases. - Carmen Cârlan; Daniel Ratiu (SAFECOMP, 2020)

A Safety Case Pattern for Systems with Machine Learning Components. - Ernest Wozniak; Carmen Cârlan; Esra Acar-Celik; Henrik J. Putzer (SAFECOMP Workshops, 2020)

Architectures for Flexible Collaborative Systems. - Birthe Böhm; Carmen Cârlan; Annelie Sohr; Stephan Unverdorben; Jan Vollmar (Model-Based Engineering of Collaborative Embedded Systems, 2021)

FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems. - Daniel Ratiu; Arne Nordmann; Peter Munk; Carmen Cârlan; Markus Voelter (Domain-Specific Languages in Practice, 2021)

AI-Blueprint for Deep Neural Networks. - Ernest Wozniak; Henrik J. Putzer; Carmen Cârlan (SafeAI@AAAI, 2021)

CyberGSN: A Semi-formal Language for Specifying Safety Cases. - Tewodros A. Beyene; Carmen Cârlan (DSN Workshops, 2021)

Safety Case Maintenance: A Systematic Literature Review. - Carmen Cârlan; Barbara Gallina; Liana Soima (SAFECOMP, 2021)

A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. - Yuri Gil Dantas; Tiziano Munaro; Carmen Cârlan; Vivek Nigam; Simon Barner; Shiqing Fan; Alexander Pretschner; Ulrich Schöpp; Sergey Tverdyshev (MODELSWARD, 2022)

Automating Safety Argument Change Impact Analysis for Machine Learning Components. - Carmen Cârlan; Lydia Gauerhof; Barbara Gallina; Simon Burton 001 (PRDC, 2022)

Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in Automotive. - Esra Acar-Celik; Carmen Cârlan; Asim Abdulkhaleq; Fridolin Bauer; Martin Schels; Henrik J. Putzer (SAFECOMP, 2022)

A Toolchain for Synthesizing and Validating Safety Architectures. - Yuri Gil Dantas; Tiziano Munaro; Carmen Cârlan; Vivek Nigam; Simon Barner; Shiqing Fan; Alexander Pretschner; Ulrich Schöpp; Sergey Tverdyshev (SN Comput. Sci., 2023)

The SOTIF Meta-Algorithm: Quantitative Analyses of the Safety of Autonomous Behaviors. - Carmen Cârlan; Noah Carlson; Chris Dwyer; Manoja Hirannaiah; Michael Wagner 007 (ISSRE (Workshops), 2024)

Defect-based Testing for Safety-critical ML Components. - Amit Sahu; Carmen Cârlan (ISSRE (Workshops), 2024)

Continuous Development and Safety Assurance Pipeline for ML-Based Systems in the Railway Domain. - Marc Zeller; Thomas Waschulzik; Carmen Cârlan; Marat Serahlazau; Claus Bahlmann; Zhiliang Wu; Sigurd Spieckermann; Denis Krompass; Simon Geerkens; Christian Sieberichs; Konstantin Kirchheim; Batu Kaan Özen; et al. (SAFECOMP (Workshops), 2024)

The Open Autonomy Safety Case Framework. - Michael Wagner 007; Carmen Cârlan (CoRR, 2024)

Dynamic safety cases for frontier AI. - Carmen Cârlan; Francesca Gomez; Yohan Mathew; Ketana Krishna; René King; Peter Gebauer; Ben R. Smith (CoRR, 2024)

Checkable Safety Arguments - A Modeling Framework Supporting the Maintenance of Safety Arguments Consistent with System Development Artifacts. - Carmen Cârlan (2025)

Safety Factories - a Manifesto. - Carmen Cârlan; Daniel Ratiu; Michael Wagner (CoRR, 2025)