Export list as BibTeX file

2024

• September 2024 Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators Sebastian Bergemann and Nina Benkendorf In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion ’24), ACM. Details DOI BIB
• September 2024 Towards the Estimation of Quality Attributes on System Model Histories Konstantin Rupert Blaschke and Simon Barner In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion '24), ACM. Details DOI 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 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

2023

• 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
• March 2023 Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform Tarik Terzimehić, Simon Barner, Yuri Gil Dantas, Ulrich Schöpp, Vivek Nigam and Pei Ke In 9th International Workshop on Automotive System/Software Architectures (WASA) co-located with ICSA 2023, IEEE. Details DOI BIB
• February 2023 Automating Vehicle SOA Threat Analysis using a Model-Based Methodology Yuri Gil Dantas, Vivek Nigam, Ulrich Schöpp, Simon Barner and Pei Ke In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP), pages 180-191, SciTePress. Details DOI BIB

2020

• December 2020 A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control Yuri Gil Dantas, Vivek Nigam and Carolyn Talcott In IEEE Vehicular Networking Conference (VNC), pages 1-8, IEEE. 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