VLDB 2026 Research / reviewers in the wild / expert
Carmen Cârlan
dblp:185/0115
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Defeaters from Accidents and Incident Reports: Discovery, Extraction, Identification
Tihomir Rohlinger, Daniel Ratiu, Carmen Cârlan, Stefan Wagner 0001 |
SAFECOMP | 3 |
| 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 |
MODELSWARD | 3 |
| 2022 | Automating Safety Argument Change Impact Analysis for Machine Learning ComponentsabstractThe 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 |
PRDC | 1 |
| 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 | 2 |
| 2021 | Safety Case Maintenance: A Systematic Literature Review
Carmen Cârlan, Barbara Gallina, Liana Soima |
SAFECOMP | 1 |
| 2020 | FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases
Carmen Cârlan, Daniel Ratiu |
SAFECOMP | 1 |
| 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 |
SAFECOMP | 4 |
| 2017 | Arguing on Software-Level Verification Techniques Appropriateness
Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu |
SAFECOMP | 1 |