Export list as BibTeX file

2021

• February 2021 RMC Factory: A New Approach for Avionics Software Reuse Laurent Dieudonne, Andreas Bayha and Benedikt Müller In 3rd Workshop on Avionics Systems and Software Engineering (AvioSE21, SE 2021 Satellite Events), volume 2814, CEUR-WS. Details URL BIB
• January 2021 Handling Concurrency in Embedded Software System from Architectural Point of View Jasmin Jahić and Alexander Diewald In HiPEAC conference, Tutorials, Details URL BIB

2020

• December 2020 Architectures for Flexible Collaborative Systems Birthe Böhm, Carmen Cârlan, Annelie Sohr, Stephan Unverdorben and 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 and Barbara Gallina In Proceedings of the 30th European Safety and Reliability Conference (ESREL-2020), Details DOI BIB
• October 2020 Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products Carmen 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. Details URL BIB
• September 2020 FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases Carmen 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. Details DOI BIB
• September 2020 A Safety Case Pattern for Systems with Machine Learning Components Ernest 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. Details DOI BIB
• September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe and Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), volume 12226 of LNCS, Springer, Cham. Details DOI BIB
• August 2020 Generic Analysis of Model Product Lines via Constraint Lifting Andreas Bayha and Vincent Aravantinos arXiv:2008.11427 [cs.SE], Details DOI BIB
• July 2020 Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Johannes Eder, Sebastian Voss, Andreas Bayha, Alexandru Ipatiov and Maged Khalil Software and Systems Modeling, 19():911–934, July 2020. Details DOI BIB