Carmen Cârlan

According to our database, Carmen Cârlan authored at least 27 papers between 2016 and 2025.

Collaborative distances:

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

2025

Checkable Safety Arguments - A Modeling Framework Supporting the Maintenance of Safety Arguments Consistent with System Development Artifacts.

Carmen Cârlan

PhD thesis, 2025

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

The Open Autonomy Safety Case Framework.

Michael Wagner, Carmen Cârlan

CoRR, 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, Lucia Diez Robles

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

Defect-based Testing for Safety-critical ML Components.

Amit Sahu, Carmen Cârlan

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

The SOTIF Meta-Algorithm: Quantitative Analyses of the Safety of Autonomous Behaviors.

Carmen Cârlan, Noah Carlson, Chris Dwyer, Manoja Hirannaiah, Michael Wagner

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

2023

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., July, 2023

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

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

Automating Safety Argument Change Impact Analysis for Machine Learning Components.

Carmen Cârlan, Lydia Gauerhof, Barbara Gallina, Simon Burton

Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

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

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021

Safety Case Maintenance: A Systematic Literature Review.

Carmen Cârlan, Barbara Gallina, Liana Soima

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

CyberGSN: A Semi-formal Language for Specifying Safety Cases.

Tewodros A. Beyene, Carmen Cârlan

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

AI-Blueprint for Deep Neural Networks.

Ernest Wozniak, Henrik J. Putzer, Carmen Cârlan

Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) co-located with the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), 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

Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021

Architectures for Flexible Collaborative Systems.

Birthe Böhm, Carmen Cârlan, Annelie Sohr, Stephan Unverdorben, Jan Vollmar

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

2020

A Safety Case Pattern for Systems with Machine Learning Components.

Ernest Wozniak, Carmen Cârlan, Esra Acar-Celik, Henrik J. Putzer

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases.

Carmen Cârlan, Daniel Ratiu

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

Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products.

Carmen Cârlan, Daniel Petrisor, Barbara Gallina, Hannes Schoenhaar

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

2019

On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering.

Antoaneta Kondeva, Vivek Nigam, Harald Ruess, Carmen Cârlan

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

ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models.

Carmen Cârlan, Vivek Nigam, Sebastian Voss, Alexandros Tsalidis

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

2018

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

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

2017

Arguing on Software-Level Verification Techniques Appropriateness.

Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu

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

ExplicitCase: Integrated Model-Based Development of System and Safety Cases.

Carmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis, Sebastian Voss

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

Living Safety Arguments for Open Systems.

Carmen Cârlan

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

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern.

Mario Gleirscher, Carmen Cârlan

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

2016

On Using Results of Code-Level Bounded Model Checking in Assurance Cases.

Carmen Cârlan, Daniel Ratiu, Bernhard Schätz

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

Integrated Formal Methods for Constructing Assurance Cases.

Carmen Cârlan, Tewodros A. Beyene, Harald Ruess

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