Carmen Cârlan

29 papers B 5C 2Journal 5Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	—	`—`	Checkable Safety Arguments - A Modeling Framework Supporting the Maintenance of Safety Arguments Consistent with System Development Artifacts. Carmen Cârlan
2025	J	`jnl`	Safety Factories - a Manifesto. CoRR Carmen Cârlan, Daniel Ratiu, Michael Wagner
2024	—	`conf`	Continuous Development and Safety Assurance Pipeline for ML-Based Systems in the Railway Domain. SAFECOMP (Workshops) 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
2024	—	`conf`	Defect-based Testing for Safety-critical ML Components. ISSRE (Workshops) Amit Sahu, Carmen Cârlan
2024	J	`jnl`	Dynamic safety cases for frontier AI. CoRR Carmen Cârlan, Francesca Gomez, Yohan Mathew, Ketana Krishna, René King, Peter Gebauer, Ben R. Smith
2024	J	`jnl`	The Open Autonomy Safety Case Framework. CoRR Michael Wagner, Carmen Cârlan
2024	—	`conf`	The SOTIF Meta-Algorithm: Quantitative Analyses of the Safety of Autonomous Behaviors. ISSRE (Workshops) Carmen Cârlan, Noah Carlson, Chris Dwyer, Manoja Hirannaiah, Michael Wagner
2023	J	`jnl`	A Toolchain for Synthesizing and Validating Safety Architectures. SN Comput. Sci. Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
2022	C	`conf`	A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. MODELSWARD Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
2022	B	`conf`	Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in Automotive. SAFECOMP Esra Acar-Celik, Carmen Cârlan, Asim Abdulkhaleq, Fridolin Bauer, Martin Schels, Henrik J. Putzer
2022	C	`conf`	Automating Safety Argument Change Impact Analysis for Machine Learning Components. PRDC Carmen Cârlan, Lydia Gauerhof, Barbara Gallina, Simon Burton
2021	—	`conf`	AI-Blueprint for Deep Neural Networks. SafeAI@AAAI Ernest Wozniak, Henrik J. Putzer, Carmen Cârlan
2021	—	`ch.`	Architectures for Flexible Collaborative Systems. Model-Based Engineering of Collaborative Embedded Systems Birthe Böhm, Carmen Cârlan, Annelie Sohr, Stephan Unverdorben, Jan Vollmar
2021	—	`conf`	CyberGSN: A Semi-formal Language for Specifying Safety Cases. DSN Workshops Tewodros A. Beyene, Carmen Cârlan
2021	—	`ch.`	FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems. Domain-Specific Languages in Practice Daniel Ratiu, Arne Nordmann, Peter Munk, Carmen Cârlan, Markus Voelter
2021	B	`conf`	Safety Case Maintenance: A Systematic Literature Review. SAFECOMP Carmen Cârlan, Barbara Gallina, Liana Soima
2020	—	`conf`	A Safety Case Pattern for Systems with Machine Learning Components. SAFECOMP Workshops Ernest Wozniak, Carmen Cârlan, Esra Acar-Celik, Henrik J. Putzer
2020	—	`conf`	Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products. ISSRE Workshops Carmen Cârlan, Daniel Petrisor, Barbara Gallina, Hannes Schoenhaar
2020	B	`conf`	FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases. SAFECOMP Carmen Cârlan, Daniel Ratiu
2019	—	`conf`	ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models. ISSRE Workshops Carmen Cârlan, Vivek Nigam, Sebastian Voss, Alexandros Tsalidis
2019	—	`conf`	On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. ISSRE Workshops Antoaneta Kondeva, Vivek Nigam, Harald Ruess, Carmen Cârlan
2018	B	`conf`	Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry. SAFECOMP Michael M. Huber, Michael Brunner, Clemens Sauerwein, Carmen Cârlan, Ruth Breu
2017	—	`conf`	Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. HASE Mario Gleirscher, Carmen Cârlan
2017	J	`jnl`	Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. CoRR Mario Gleirscher, Carmen Cârlan
2017	B	`conf`	Arguing on Software-Level Verification Techniques Appropriateness. SAFECOMP Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu
2017	—	`conf`	ExplicitCase: Integrated Model-Based Development of System and Safety Cases. SAFECOMP Workshops Carmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis, Sebastian Voss
2017	—	`conf`	Living Safety Arguments for Open Systems. ISSRE Workshops Carmen Cârlan
2016	—	`conf`	Integrated Formal Methods for Constructing Assurance Cases. ISSRE Workshops Carmen Cârlan, Tewodros A. Beyene, Harald Ruess
2016	—	`conf`	On Using Results of Code-Level Bounded Model Checking in Assurance Cases. SAFECOMP Workshops Carmen Cârlan, Daniel Ratiu, Bernhard Schätz