Carmen Cârlan

Publikationen

Liste als BibTeX-Datei exportieren

  • November 2020Enhancing State-of-the-art Safety Case Patterns to Support Change Impact AnalysisCarmen Cârlan und Barbara Gallina In Proceedings of the 30th European Safety and Reliability Conference (ESREL-2020), DetailsURLBIB
  • Oktober 2020Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work ProductsCarmen 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. DetailsURLBIB
  • September 2020FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance CasesCarmen Cârlan und Daniel Ratiu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 12234 von LNCS,Seiten 298–306, Springer. DetailsDOIBIB
  • September 2020A Safety Case Pattern for Systems with Machine Learning ComponentsErnest Wozniak, Carmen Cârlan, Esra Acar-Celik und Henrik J. Putzer In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 12235 von LNCS,Seiten 370–382, Springer. DetailsDOIBIB
  • 2019ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System ModelsVivek Nigam, Alexandros Tsalidis, Sebastian Voss und 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ß und 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 und Ruth Breu In Proceedings of the 37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2018), Band 11093 von Lecture Notes in Computer Science,Seiten 157–171, Springer. DetailsDOIBIB
  • September 2017ExplicitCase: Integrated Model-based Development of System and Safety CasesCarmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis und Sebastian Voss In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Band 10489 von LNCS,Seiten 52 – 63, Springer. DetailsDOIBIB
  • 2017Arguing from Hazard Analysis in Safety Cases: A Modular Argument PatternMario Gleirscher und Carmen Cârlan In 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), Seiten 53–60, IEEE. DetailsDOIBIB
  • 2017Arguing on Software-Level Verification Techniques AppropriatenessCarmen Cârlan, Barbara Gallina, Severin Kacianka und Ruth Breu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 10488 von LNCS,Seiten 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 und Harald Rueß In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Seiten 221–228, IEEE. DetailsDOIBIB
  • 2016On Using Results of Code-level Bounded Model Checking in AssuranceCarmen Cârlan, Daniel Ratiu und Bernhard Schätz In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 9923 von LNCS,Seiten 30-42, Springer. DetailsDOIBIB
  • April 2015Safety Case Driven Model-Based Systems ConstructionSebastian Voss, Carmen Cârlan, Bernhard Schätz und Tim Kelly In Proceedings of the 2nd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC 2015), DetailsURLBIB
  • Mai 2013Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration)Tim Kelly, Carmen Cârlan und 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 und Carmen Cârlan In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), Springer. DetailsURLBIB