Publications

Publications

See dblp | google.scholar | researchgate

2020

Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products. Carmen Cârlan, Daniel Petrișor, Barbara Gallina und Hannes Schoenhaar In Proceedings of the 10th IEEE International Workshop on Software Certification (WoSoCer) co-located with ISSRE, IEEE, 2020.

FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases. Cârlan C., Ratiu D. in Computer Safety, Reliability, and Security. SAFECOMP 2020. Lecture Notes in Computer Science, vol 12234. Springer, Cham.

A Safety Case Pattern for Systems with Machine Learning Components. Wozniak E., Cârlan C., Acar-Celik E., Putzer H.J. in Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops. SAFECOMP 2020. Lecture Notes in Computer Science, vol 12235. Springer, Cham.

Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis. C. Cârlan and B. Gallina in the 30th European Safety and Reliability Conference ESREL, 2020.

2019

ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models. Carmen Cârlan, Vivek Nigam, Sebastian Voss, Alexandros Tsalidis in IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Berlin, Germany, 2019, pp. 330-337.

On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. Antoaneta Kondeva, Vivek Nigam, Harald Ruess, Carmen Cârlan in IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Berlin, Germany, 2019, pp. 346-353.

2018

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 Cârlan, Ruth Breu in Computer Safety, Reliability, and Security. SAFECOMP 2018. Lecture Notes in Computer Science, vol 11093. Springer, Cham, pp. 157-17.

2017

Living Safety Arguments for Open Systems. Carmen Cârlan, in IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Toulouse, France, 2017 pp. 120-123.

Arguing on Software-Level Verification Techniques Appropriateness. Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu in Computer Safety, Reliability, and Security. SAFECOMP 2017. Lecture Notes in Computer Science, vol 10488. Springer, Cham.

ExplicitCase: Integrated Model-Based Development of System and Safety Cases. Carmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis, Sebastian Voss in Computer Safety, Reliability, and Security. SAFECOMP 2017. Lecture Notes in Computer Science, vol 10489. Springer, Cham.

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. Mario Gleirscher and Carmen Cârlan in Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering (HASE 2017), January 2017, Singapore.

2016

Integrated Formal Methods for Constructing Assurance Cases. Carmen Cârlan, Tewodros A. Beyene and Harald Ruess in IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Ottawa, ON, 2016, pp. 221-228.

On Using Results of Code-level Bounded Model Checking in Assurance. Carmen Cârlan, Daniel Ratiu, Bernhard Schätz in Computer Safety, Reliability, and Security. SAFECOMP 2016. Lecture Notes in Computer Science, vol 9923. Springer, Cham.

2015

Safety Case Driven Model-Based Systems Construction. Sebastian Voss, Carmen Cârlan, Bernhard Schätz, Tim Kelly in Proceedings of the 2nd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC 2015), CPS Week, April 2015, Seattle, USA.

2013

Towards Modular Certification using Integrated Model-Based Safety Cases. Sebastian Voss, Bernhard Schätz, Maged Khalil, Carmen Carlan in VeriSure: Verification and Assurance Workshop 2013.

Tool Demo: Model-based Safety Cases in AutoFOCUS3. Tim Kelly, Carmen Carlan, Sebastian Voss at Tool demonstration on the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013), May 2013, San Francisco, USA.