Carmen Cârlan

dblp:185/0115 · DBLP profile ↗
← Back
8ranked-venue papers
4as first author
5since 2021 · last 2026
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 7 · 4 first-author · 4 since 2021Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021
YearPublicationVenuePosition
2026 Defeaters from Accidents and Incident Reports: Discovery, Extraction, Identification
Tihomir Rohlinger, Daniel Ratiu, Carmen Cârlan, Stefan Wagner 0001
SAFECOMP3
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
MODELSWARD3
2022 Automating Safety Argument Change Impact Analysis for Machine Learning Components
abstract
The need to make sense of complex input data within a vast variety of unpredictable scenarios has been a key driver for the use of machine learning (ML), for example in Automated Driving Systems (ADS). Such systems are usually safety-critical, and therefore they need to be safety assured. In order to consider the results of the safety assurance activities (scoping uncovering previously unknown hazardous scenarios), a continuous approach to arguing safety is required, whilst iteratively improving ML-specific safety-relevant properties, such as robustness and prediction certainty. Such a continuous safety life cycle will only be practical with an efficient and effective approach to analyzing the impact of system changes on the safety case. In this paper, we propose a semi-automated approach for accurately identifying the impact of changes on safety arguments. We focus on arguments that reason about the sufficiency of the data used for the development of ML components. The approach qualitatively and quantitatively analyses the impact of changes in the input space of the considered ML component on other artifacts created during the execution of the safety life cycle, such as datasets and performance requirements and makes recommendations to safety engineers for handling the identified impact. We implement the proposed approach in a model-based safety engineering environment called FASTEN, and we demonstrate its application for an ML-based pedestrian detection component of an ADS.
Carmen Cârlan, Lydia Gauerhof, Barbara Gallina, Simon Burton 0001
PRDC1
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
SAFECOMP2
2021 Safety Case Maintenance: A Systematic Literature Review
Carmen Cârlan, Barbara Gallina, Liana Soima
SAFECOMP1
2020 FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases
Carmen Cârlan, Daniel Ratiu
SAFECOMP1
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 0002, Clemens Sauerwein, Carmen Cârlan, Ruth Breu
SAFECOMP4
2017 Arguing on Software-Level Verification Techniques Appropriateness
Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu
SAFECOMP1