Carmen Cârlan

Publications

Export list as BibTeX file

  • November 2020Enhancing State-of-the-art Safety Case Patterns to Support Change Impact AnalysisCarmen Cârlan and Barbara Gallina In Proceedings of the 30th European Safety and Reliability Conference (ESREL-2020), DetailsURLBIB
  • October 2020Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work ProductsCarmen Cârlan, Daniel Petrișor, Barbara Gallina and Hannes Schoenhaar In Proceedings of the 10th IEEE International Workshop on Software Certification (WoSoCer) co-located with ISSRE, IEEE. DetailsURLBIB
  • September 2020FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance CasesCarmen Cârlan and Daniel Ratiu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12234 of LNCS,pages 298–306, Springer. DetailsDOIBIB
  • September 2020A Safety Case Pattern for Systems with Machine Learning ComponentsErnest Wozniak, Carmen Cârlan, Esra Acar-Celik and Henrik J. Putzer In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12235 of LNCS,pages 370–382, Springer. DetailsDOIBIB
  • 2019ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System ModelsVivek Nigam, Alexandros Tsalidis, Sebastian Voss and Carmen Cârlan In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), DetailsDOIBIB
  • 2019On Computer-Aided Techniques for Supporting Safety and Security Co-EngineeringAntoaneta Kondeva, Carmen Cârlan, Harald Rueß and Vivek Nigam In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE. DetailsDOIBIB
  • 2018Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive IndustryMichael M. Huber, Michael Brunner, Clemens Sauerwein, Carmen Cârlan and Ruth Breu In Proceedings of the 37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2018), volume 11093 of Lecture Notes in Computer Science,pages 157–171, Springer. DetailsDOIBIB
  • September 2017ExplicitCase: Integrated Model-based Development of System and Safety CasesCarmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis and Sebastian Voss In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, volume 10489 of LNCS,pages 52 – 63, Springer. DetailsDOIBIB
  • 2017Arguing from Hazard Analysis in Safety Cases: A Modular Argument PatternMario Gleirscher and Carmen Cârlan In 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), pages 53–60, IEEE. DetailsDOIBIB
  • 2017Arguing on Software-Level Verification Techniques AppropriatenessCarmen Cârlan, Barbara Gallina, Severin Kacianka and Ruth Breu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 10488 of LNCS,pages 39–54, Cham, Springer International Publishing. DetailsDOIBIB
  • 2017Living Safety Arguments for Open SystemsCarmen Cârlan In Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE. DetailsDOIBIB
  • 2016Integrated Formal Methods for Constructing Assurance CasesCarmen Cârlan, Tewodros Beyene and Harald Rueß In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 221–228, IEEE. DetailsDOIBIB
  • 2016On Using Results of Code-level Bounded Model Checking in AssuranceCarmen Cârlan, Daniel Ratiu and Bernhard Schätz In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 9923 of LNCS,pages 30-42, Springer. DetailsDOIBIB
  • April 2015Safety Case Driven Model-Based Systems ConstructionSebastian Voss, Carmen Cârlan, Bernhard Schätz and Tim Kelly In Proceedings of the 2nd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC 2015), DetailsURLBIB
  • May 2013Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration)Tim Kelly, Carmen Cârlan and Sebastian Voss In Proceedings of the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013), DetailsURLBIB
  • 2013Towards Modular Certification using Integrated Model-Based Safety CasesSebastian Voss, Bernhard Schätz, Maged Khalil and Carmen Cârlan In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), Springer. DetailsURLBIB