Carmen Carlan
Carmen Carlan
Scientific Staff
Bestätigte E-Mail-Adresse bei fortiss.org
Titel
Zitiert von
Zitiert von
Jahr
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
132013
On using results of code-level bounded model checking in assurance cases
C Cârlan, D Ratiu, B Schätz
International Conference on Computer Safety, Reliability, and Security, 30-42, 2016
92016
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
82017
Arguing on software-level verification techniques appropriateness
C Cârlan, B Gallina, S Kacianka, R Breu
International Conference on Computer Safety, Reliability, and Security, 39-54, 2017
72017
A step towards Modular Certification using integrated model-based Safety Cases
S Voss, B Schätz, M Khalil, C Carlan
VeriSure, 2013
62013
ExplicitCase: integrated model-based development of system and safety cases
C Cârlan, S Barner, A Diewald, A Tsalidis, S Voss
International Conference on Computer Safety, Reliability, and Security, 52-63, 2017
52017
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 Cârlan, R Breu
International Conference on Computer Safety, Reliability, and Security, 157-171, 2018
42018
Integrated formal methods for constructing assurance cases
C Cârlan, TA Beyene, H Ruess
2016 IEEE International Symposium on Software Reliability Engineering …, 2016
42016
Safety case driven model-based systems construction
S Voss, C Cârlan, B Schätz, T Kelly
2nd International Workshop on Emerging Ideas and Trends in Engineering of …, 2013
22013
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
2019
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
2019
Living Safety Arguments for Open Systems
C Cârlan
2017 IEEE International Symposium on Software Reliability Engineering …, 2017
2017
Implementation of different concepts of redundancy for the automatic generation of logical architectures supporting a safer mixed-critical system behaviour in the CASE-Tool …
C Carlan
2012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13