Liste als BibTeX-Datei exportieren

2024

• September 2024 A Failure Model Library for Simulation-based Validation of Functional Safety Tiziano Munaro, Irina Muntean und 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ć und Alois Zoitl In 29th International Conference on Emerging Technologies and Factory Automation (ETFA), To Appear. Details BIB
• Mai 2024 A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design Yuri Gil Dantas, Vivek Nigam und Ulrich Schöpp SN Computer Science, 5(5):, Mai 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 und Adam Molin Band , , , Ausgabe, 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), Seiten 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 und Andreas Bayha Industry 4.0 Science, 40(4):40–45, 2024. Details BIB

2023

• Oktober 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 und 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 und Sergey Tverdyshev SN Computer Science, 4(4):335, April 2023. Details DOI BIB
• März 2023 Implementing a Model-based Engineering Tool as Web Application Florian Hölzl und Simon Barner arXiv:2302.14091 [cs.SE], Details DOI BIB