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), September 2024. 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), September 2024. 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, April 2024. 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], March 2023. 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, March 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, February 2023. 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, December 2020. 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

2019

• July 2019 Combined Data Transfer Response Time and Mapping Exploration in MPSoCs Alexander Diewald , Simon Barner and Selma Saidi In 10th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) co-located with ECRTS, July 2019. Details URL BIB
• July 2019 Towards Machine Learning for Learnability of MDD Tools Saad bin Abid , Vishal Mahajan and Levi Lúcio In Software Engineering and Knowledge Engineering (SEKE) Conference, Lisbon, Portugal, pages 1–6, July 2019. Details DOI BIB
• June 2019 Model-based methodology for space vehicles Sergey Zverlov , Sebastian Voss , Thomas Böhm , Hans-Jürgen Herpel and Mladen Kerep In Proceedings of the Eurospace Annual Conference on Data Systems in Aerospace (DASIA), June 2019. Details BIB
• 2019 ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models Vivek Nigam , Alexandros Tsalidis , Sebastian Voss and Carmen Cârlan In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. Details DOI BIB

2018

• October 2018 [T3] Develop your Own Car Levi Lúcio , Sebastian Voss , Tatiana Chuprina , Andreas Bayha , Johannes Eder and Sudeep Kanav October 2018. Details URL BIB
• October 2018 A modular approach to integrate verification tools in model based development Sudeep Kanav In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pages 150–155, October 2018. ACM. Details DOI BIB
• October 2018 Controlling a virtual rover using AutoFOCUS3 Levi Lúcio , Sudeep Kanav , Andreas Bayha and Johannes Eder In Proceedings of the MDETools Workshop co-located with MODELS 2018, volume 2245 of CEUR Workshop Proceedings, pages 356–365, October 2018. Details URL BIB
• October 2018 Exploration of hardware topologies based on functions, variability and timing Johannes Eder In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pages 145–149, October 2018. ACM. Details DOI BIB
• October 2018 From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures Johannes Eder , Andreas Bayha , Sebastian Voss , Alexandru Ipatiov and Maged Khalil In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pages 438–446, October 2018. ACM, Details DOI BIB
• August 2018 Algorithms and Tools Jörn Migge , Patricia Balbastre , Simon Barner , Franck Chauvel , Silviu S. Craciunas , Alexander Diewald , Guy Durrieu , Oystein Haugen , Ali Abbas Jaffari Syed , Claire Pagetti , Ramon Serna Oliver and Anatoly Vasilevskiy CRC Press, August 2018. Details DOI BIB