Export list as BibTeX file

2024

• September 2024 A Failure Model Library for Simulation-based Validation of Functional Safety Tiziano Munaro, Irina Muntean and Alexander Pretschner In Proceedings of the 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), To Appear. Details BIB
• September 2024 Mitigating Conflicts in Architectural Design Decisions for Evolving Manufacturing Systems: Evaluation and Recommendations for Practitioners Tarik Terzimehić and Alois Zoitl In 29th International Conference on Emerging Technologies and Factory Automation (ETFA), To Appear. Details BIB
• May 2024 A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design Yuri Gil Dantas, Vivek Nigam and Ulrich Schöpp SN Computer Science, 5(5):, May 2024. Details DOI BIB
• April 2024 OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems Lev Sorokin, Tiziano Munaro, Safin Damir, Brian Hsuan-Cheng Liao and Adam Molin volume , , , edition, April 2024. , . Details URL DOI BIB
• April 2024 Automated Model Quality Estimation and Change Impact Analysis on Model Histories Konstantin Rupert Blaschke In IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion ’24), pages 153–155, New York, NY, USA, ACM. Details DOI BIB
• 2024 Schlüssel zur erfolgreichen Digitalisierung in Industrie 4.0 – Entwicklung, Implementierung und Nutzen digitaler Zwillinge Sönke Knoch, Dirk Schöttke and Andreas Bayha Industry 4.0 Science, 40(4):40–45, 2024. Details BIB

2023

• October 2023 Towards Confidentiality in Multi-Model Inconsistency Detection for Systems Engineering Sebastian Bergemann In 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), IEEE. Details DOI BIB
• September 2023 Composing Services with SMT-Based Deployment Optimization and Service Merging Heuristic Tarik Terzimehić, Eddie Groh and Alois Zoitl In 28th International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE. Details DOI BIB
• April 2023 A Toolchain for Synthesizing and Validating Safety Architectures Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp and Sergey Tverdyshev SN Computer Science, 4(4):335, April 2023. Details DOI BIB
• March 2023 Implementing a Model-based Engineering Tool as Web Application Florian Hölzl and Simon Barner arXiv:2302.14091 [cs.SE], Details DOI BIB