Liste als BibTeX-Datei exportieren

2020

• 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
• September 2020 A Safety Case Pattern for Systems with Machine Learning Components Ernest 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. Details DOI BIB
• September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe und Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), Band 12226 von LNCS, Springer, Cham. Details DOI BIB
• August 2020 Generic Analysis of Model Product Lines via Constraint Lifting Andreas Bayha und Vincent Aravantinos arXiv:2008.11427 [cs.SE], Details DOI BIB
• Juli 2020 Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Johannes Eder, Sebastian Voss, Andreas Bayha, Alexandru Ipatiov und Maged Khalil Software and Systems Modeling, 19():911–934, Juli 2020. Details DOI BIB
• 2020 Describing Capabilities of Industrie 4.0 Components Andreas Bayha, Jürgen Bock, Birgit Boss, Christian Diedrich und Somayeh Malakuti German Electrical and Electronics Manufacturers Association, Frankfurt am Main, Germany, ():, 2020. Details URL BIB

2019

• Dezember 2019 Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective Alexander Perzylo, Julian Grothoff, Levi Lúcio, Michael Weser, Somayeh Malakuti, Pierre Venet, Vincent Aravantinos und Torben Deppe IFAC-PapersOnLine, 52(13):1590–1596, Dezember 2019. Details DOI BIB