Carmen Cârlan

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 21

Top Topics

Impact Analysis

Hypothetical Reasoning

Formal Language

Top Venues

ISSRE Workshops

SAFECOMP Workshops

Publications

Michael Wagner, Carmen Cârlan
The Open Autonomy Safety Case Framework. CoRR (2024)
Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
A Toolchain for Synthesizing and Validating Safety Architectures. SN Comput. Sci. 4 (4) (2023)
Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. MODELSWARD (2022)
Esra Acar-Celik, Carmen Cârlan, Asim Abdulkhaleq, Fridolin Bauer, Martin Schels, Henrik J. Putzer
Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in Automotive. SAFECOMP (2022)
Carmen Cârlan, Lydia Gauerhof, Barbara Gallina, Simon Burton
Automating Safety Argument Change Impact Analysis for Machine Learning Components. PRDC (2022)
Ernest Wozniak, Henrik J. Putzer, Carmen Cârlan
AI-Blueprint for Deep Neural Networks. SafeAI@AAAI (2021)
Tewodros A. Beyene, Carmen Cârlan
CyberGSN: A Semi-formal Language for Specifying Safety Cases. DSN Workshops (2021)
Carmen Cârlan, Barbara Gallina, Liana Soima
Safety Case Maintenance: A Systematic Literature Review. SAFECOMP (2021)
Carmen Cârlan, Daniel Petrisor, Barbara Gallina, Hannes Schoenhaar
Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products. ISSRE Workshops (2020)
Ernest Wozniak, Carmen Cârlan, Esra Acar-Celik, Henrik J. Putzer
A Safety Case Pattern for Systems with Machine Learning Components. SAFECOMP Workshops (2020)
Carmen Cârlan, Daniel Ratiu
FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases. SAFECOMP (2020)
Antoaneta Kondeva, Vivek Nigam, Harald Ruess, Carmen Cârlan
On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. ISSRE Workshops (2019)
Carmen Cârlan, Vivek Nigam, Sebastian Voss, Alexandros Tsalidis
ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models. ISSRE Workshops (2019)
Michael M. Huber, Michael Brunner, Clemens Sauerwein, Carmen Cârlan, Ruth Breu
Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry. SAFECOMP (2018)
Carmen Cârlan
Living Safety Arguments for Open Systems. ISSRE Workshops (2017)
Carmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis, Sebastian Voss
ExplicitCase: Integrated Model-Based Development of System and Safety Cases. SAFECOMP Workshops (2017)
Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu
Arguing on Software-Level Verification Techniques Appropriateness. SAFECOMP (2017)
Mario Gleirscher, Carmen Cârlan
Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. HASE (2017)
Mario Gleirscher, Carmen Cârlan
Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. CoRR (2017)
Carmen Cârlan, Tewodros A. Beyene, Harald Ruess
Integrated Formal Methods for Constructing Assurance Cases. ISSRE Workshops (2016)
Carmen Cârlan, Daniel Ratiu, Bernhard Schätz
On Using Results of Code-Level Bounded Model Checking in Assurance Cases. SAFECOMP Workshops (2016)