| 2026 | SAFECOMP | Defeaters from Accidents and Incident Reports: Discovery, Extraction, Identification. | Tihomir Rohlinger, Daniel Ratiu, Carmen Crlan, Stefan Wagner |
| 2024 | ISSRE | The SOTIF Meta-Algorithm: Quantitative Analyses of the Safety of Autonomous Behaviors. | Carmen Crlan, Noah Carlson, Chris Dwyer, Manoja Hirannaiah, Michael Wagner |
| 2024 | ISSRE | Defect-based Testing for Safety-critical ML Components. | Amit Sahu, Carmen Crlan |
| 2024 | SAFECOMP | Continuous Development and Safety Assurance Pipeline for ML-Based Systems in the Railway Domain. | Marc Zeller, Thomas Waschulzik, Carmen Crlan, Marat Serahlazau, Claus Bahlmann, Zhiliang Wu, Sigurd Spieckermann, Denis Krompass, Simon Geerkens, Christian Sieberichs, Konstantin Kirchheim, Batu Kaan zen, Lucia Diez Robles |
| 2022 | MODELSWARD | A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. | Yuri Gil Dantas, Tiziano Munaro, Carmen Crlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schpp, Sergey Tverdyshev |
| 2022 | PRDC | Automating Safety Argument Change Impact Analysis for Machine Learning Components. | Carmen Crlan, Lydia Gauerhof, Barbara Gallina, Simon Burton |
| 2022 | SAFECOMP | Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in Automotive. | Esra Acar-Celik, Carmen Crlan, Asim Abdulkhaleq, Fridolin Bauer, Martin Schels, Henrik J. Putzer |
| 2021 | AAAI | AI-Blueprint for Deep Neural Networks. | Ernest Wozniak, Henrik J. Putzer, Carmen Crlan |
| 2021 | DSN | CyberGSN: A Semi-formal Language for Specifying Safety Cases. | Tewodros A. Beyene, Carmen Crlan |
| 2021 | SAFECOMP | Safety Case Maintenance: A Systematic Literature Review. | Carmen Crlan, Barbara Gallina, Liana Soima |
| 2020 | ISSRE | Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products. | Carmen Crlan, Daniel Petrisor, Barbara Gallina, Hannes Schoenhaar |
| 2020 | SAFECOMP | FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases. | Carmen Crlan, Daniel Ratiu |
| 2020 | SAFECOMP | A Safety Case Pattern for Systems with Machine Learning Components. | Ernest Wozniak, Carmen Crlan, Esra Acar-Celik, Henrik J. Putzer |
| 2019 | ISSRE | ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models. | Carmen Crlan, Vivek Nigam, Sebastian Voss, Alexandros Tsalidis |
| 2019 | ISSRE | On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. | Antoaneta Kondeva, Vivek Nigam, Harald Ruess, Carmen Crlan |
| 2018 | SAFECOMP | 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 Crlan, Ruth Breu |
| 2017 | ISSRE | Living Safety Arguments for Open Systems. | Carmen Crlan |
| 2017 | SAFECOMP | ExplicitCase: Integrated Model-Based Development of System and Safety Cases. | Carmen Crlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis, Sebastian Voss |
| 2017 | SAFECOMP | Arguing on Software-Level Verification Techniques Appropriateness. | Carmen Crlan, Barbara Gallina, Severin Kacianka, Ruth Breu |
| 2016 | ISSRE | Integrated Formal Methods for Constructing Assurance Cases. | Carmen Crlan, Tewodros A. Beyene, Harald Ruess |
| 2016 | SAFECOMP | On Using Results of Code-Level Bounded Model Checking in Assurance Cases. | Carmen Crlan, Daniel Ratiu, Bernhard Schtz |