Folgen
Carmen Carlan
Carmen Carlan
Director of Safety Products @ Edge Case Research
Bestätigte E-Mail-Adresse bei ecr.ai - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Arguing from hazard analysis in safety cases: a modular argument pattern
M Gleirscher, C Carlan
2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017
212017
Towards modular certification using integrated model-based safety cases
S Voss, B Schätz, M Khalil, C Carlan
proc. VeriSure: Verification and Assurance Workshop, 2013
162013
A safety case pattern for systems with machine learning components
E Wozniak, C Cârlan, E Acar-Celik, HJ Putzer
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS …, 2020
152020
On using results of code-level bounded model checking in assurance cases
C Cârlan, D Ratiu, B Schätz
Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE …, 2016
142016
Roadblocks on the highway to secure cars: An exploratory survey on the current safety and security practice of the automotive industry
M Huber, M Brunner, C Sauerwein, C Carlan, R Breu
Computer Safety, Reliability, and Security: 37th International Conference …, 2018
132018
FASTEN: an extensible platform to experiment with rigorous modeling of safety-critical systems
D Ratiu, A Nordmann, P Munk, C Carlan, M Voelter
Domain-Specific Languages in Practice: with JetBrains MPS, 131-164, 2021
102021
On computer-aided techniques for supporting safety and security co-engineering
A Kondeva, V Nigam, H Ruess, C Carlan
2019 IEEE International Symposium on Software Reliability Engineering …, 2019
102019
ExplicitCase: integrated model-based development of system and safety cases
C Cârlan, S Barner, A Diewald, A Tsalidis, S Voss
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017
102017
Explicitcase: tool-support for creating and maintaining assurance arguments integrated with system models
C Cârlan, V Nigam, S Voss, A Tsalidis
2019 IEEE International Symposium on Software Reliability Engineering …, 2019
92019
Arguing on software-level verification techniques appropriateness
C Cârlan, B Gallina, S Kacianka, R Breu
Computer Safety, Reliability, and Security: 36th International Conference …, 2017
92017
Integrated formal methods for constructing assurance cases
C Cârlan, TA Beyene, H Ruess
2016 IEEE International Symposium on Software Reliability Engineering …, 2016
82016
Safety case maintenance: a systematic literature review
C Cârlan, B Gallina, L Soima
Computer Safety, Reliability, and Security: 40th International Conference …, 2021
62021
Checkable safety cases: Enabling automated consistency checks between safety work products
C Cârlan, D PetriŞor, B Gallina, H Schoenhaar
2020 IEEE International Symposium on Software Reliability Engineering …, 2020
62020
FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases
C Cârlan, D Ratiu
Computer Safety, Reliability, and Security: 39th International Conference …, 2020
62020
A step towards Modular Certification using integrated model-based Safety Cases
S Voss, B Schätz, M Khalil, C Carlan
VeriSure, 2013
62013
Enhancing state-of-the-art safety case patterns to support change impact analysis
C Carlan, B Gallina
30th European Safety and Reliability Conference, 2020
52020
Application of stpa for the elicitation of safety requirements for a machine learning-based perception component in automotive
E Acar Celik, C Cârlan, A Abdulkhaleq, F Bauer, M Schels, HJ Putzer
International Conference on Computer Safety, Reliability, and Security, 319-332, 2022
42022
CyberGSN: a semi-formal language for specifying safety cases
TA Beyene, C Carlan
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021
42021
A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis.
YG Dantas, T Munaro, C Carlan, V Nigam, S Barner, S Fan, A Pretschner, ...
MODELSWARD, 36-47, 2022
32022
AI-Blueprint for Deep Neural Networks.
E Wozniak, HJ Putzer, C Cârlan
SafeAI@ AAAI, 2021
32021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20