fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: MbSE

Liste als BibTeX-Datei exportieren


  • Juni 2021 CyberGSN: A Semi-formal Language for Specifying Safety Cases Tewodros Beyene und Carmen Cârlan In Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), IEEE. Details DOI BIB
  • April 2021 FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems Daniel Ratiu, Arne Nordmann, Peter Munk, Carmen Cârlan und Markus Voelter Domain-Specific Languages in Practice, ():131–164, April 2021. Details DOI BIB
  • April 2021 Smart Self-Adaptive Cyber-Physical Systems: How can Exploration and Learning Improve Performance in a Partially Observable Multi-Agent Context? Ana Petrovska, Malte Neuss, Sebastian Bergemann, Martin Büchner und Ansab Shohab In ADAPTIVE 2021: The Thirteenth International Conference on Adaptive and Self-Adaptive Systems and Applications, Details URL BIB
  • Februar 2021 AI-Blueprint for Deep Neural Networks Ernest Wozniak, Henrik J. Putzer und Carmen Cârlan In Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI '21), Band 2808, CEUR. Details URL BIB
  • Februar 2021 RMC Factory: A New Approach for Avionics Software Reuse Laurent Dieudonne, Andreas Bayha und Benedikt Müller In 3rd Workshop on Avionics Systems and Software Engineering (AvioSE21, SE 2021 Satellite Events), Band 2814, CEUR-WS. Details URL BIB
  • Januar 2021 Handling Concurrency in Embedded Software System from Architectural Point of View Jasmin Jahić und Alexander Diewald In HiPEAC conference, Tutorials, Details URL BIB


  • Dezember 2020 Architectures for Flexible Collaborative Systems Birthe Böhm, Carmen Cârlan, Annelie Sohr, Stephan Unverdorben und Jan Vollmar Springer International Publishing, Details DOI BIB
  • November 2020 Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis Carmen Cârlan und Barbara Gallina In Proceedings of the 30th European Safety and Reliability Conference (ESREL-2020), Details DOI BIB
  • Oktober 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. Details URL BIB
  • September 2020 FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases Carmen 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. Details DOI BIB