Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Carmen Cârlan
Observed names:
Carmen Carlan,
Cârlan, Carmen
Institution:
TÜV SÜD (Germany)
Observed institutions:
TÜV SÜD (Germany),
Fortiss,
Edge Case Research (United States),
Technical University of Munich
OpenAlex ID:
A5029004748
A Safety Case Pattern for Systems with Machine Learning Components
2020
·
Ernest Wozniak
, Carmen Cârlan
, et al.
·
Lecture notes in computer science
·
25
Automating Safety Argument Change Impact Analysis for Machine Learning Components
2022
·
Carmen Carlan
, Lydia Gauerhof
, et al.
·
IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)
·
14
Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in Automotive
2022
·
Esra Acar Celik
, Carmen Cârlan
, et al.
·
Lecture notes in computer science
·
13
The Open Autonomy Safety Case Framework
2024
·
Carmen Cârlan
, Michael Wagner
·
Safety-Critical Systems eJournal
·
12
PDF
FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems
2021
·
Daniel Ratiu
, Arne Nordmann
, et al.
·
Springer eBooks
·
12
On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering
2019
·
Antoaneta Kondeva
, Vivek Nigam
, et al.
·
IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
·
12
Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry
2018
·
Michael Huber
, Michael Brunner
, et al.
·
Lecture notes in computer science
·
11
Dynamic safety cases for frontier AI
2024
·
Cârlan, Carmen
, Gomez, Francesca
, et al.
·
arXiv (Cornell University)
·
10
PDF
Safety Case Maintenance: A Systematic Literature Review
2021
·
Carmen Cârlan
, Barbara Gallina
, et al.
·
Lecture notes in computer science
·
9
Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products
2020
·
Carmen Carlan
, Daniel PetriSor
, et al.
·
IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
·
8
ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models
2019
·
Carmen Cârlan
, Vivek Nigam
, et al.
·
IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
·
8
On Using Results of Code-Level Bounded Model Checking in Assurance Cases
2016
·
Carmen Cârlan
, Daniel Ratiu
, et al.
·
Lecture notes in computer science
·
8
FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases
2020
·
Carmen Cârlan
, Daniel Ratiu
·
Lecture notes in computer science
·
7
ExplicitCase: Integrated Model-Based Development of System and Safety Cases
2017
·
Carmen Cârlan
, Simon Barner
, et al.
·
Lecture notes in computer science
·
7
Integrated Formal Methods for Constructing Assurance Cases
2016
·
Carmen Cârlan
, Tewodros A. Beyene
, et al.
·
IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
·
7
A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis
2022
·
Yuri Dantas
, Tiziano Munaro
, et al.
·
International Conference on Model-Driven Engineering and Software Development
·
6
Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis
2020
·
Carmen Cârlan
, Barbara Gallina
·
European Safety and Reliability Conference (ESREL)
·
6
Arguing on Software-Level Verification Techniques Appropriateness
2017
·
Carmen Cârlan
, Barbara Gallina
, et al.
·
Lecture notes in computer science
·
6
CyberGSN: A Semi-formal Language for Specifying Safety Cases
2021
·
Tewodros A. Beyene
, Carmen Carlan
·
International Conference on Dependable Systems and Networks workshops
·
5
The SOTIF Meta-Algorithm: Quantitative Analyses of the Safety of Autonomous Behaviors
2024
·
Carmen Cârlan
, Noah Carlson
, et al.
·
IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
·
4
Continuous Development and Safety Assurance Pipeline for ML-Based Systems in the Railway Domain
2024
·
Marc Zeller
, Thomas Waschulzik
, et al.
·
Lecture notes in computer science
·
3
AI-Blueprint for Deep Neural Networks.
2021
·
Ernest Woźniak
, Henrik J. Putzer
, et al.
·
National Conference on Artificial Intelligence
·
2
Safety Factories - a Manifesto
2025
·
Cârlan, Carmen
, Ratiu, Daniel
, et al.
·
arXiv (Cornell University)
·
1
PDF
A Toolchain for Synthesizing and Validating Safety Architectures
2023
·
Yuri Gil Dantas
, Tiziano Munaro
, et al.
·
SN Computer Science
·
1
Architectures for Flexible Collaborative Systems
2020
·
Birthe Böhm
, Carmen Cârlan
, et al.
·
Springer eBooks
·
1
PDF
Show more works
View as search
Works count:
34
Citation count:
199
H-index:
9
I10-index:
8
Year
Topic
Type
