Carmen Cârlan

According to our database1, Carmen Cârlan authored at least 16 papers between 2016 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Safety Case Maintenance: A Systematic Literature Review.
Proceedings of the Computer Safety, Reliability, and Security, 2021

CyberGSN: A Semi-formal Language for Specifying Safety Cases.
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

AI-Blueprint for Deep Neural Networks.
Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) co-located with the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), 2021

Architectures for Flexible Collaborative Systems.
Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

2020
A Safety Case Pattern for Systems with Machine Learning Components.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security, 2020

Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019
On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

2018
Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry.
Proceedings of the Computer Safety, Reliability, and Security, 2018

2017
Arguing on Software-Level Verification Techniques Appropriateness.
Proceedings of the Computer Safety, Reliability, and Security, 2017

ExplicitCase: Integrated Model-Based Development of System and Safety Cases.
Proceedings of the Computer Safety, Reliability, and Security, 2017

Living Safety Arguments for Open Systems.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern.
Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

2016
On Using Results of Code-Level Bounded Model Checking in Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security, 2016

Integrated Formal Methods for Constructing Assurance Cases.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016


  Loading...