Liste als BibTeX-Datei exportieren

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 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
• März 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 und Pei Ke In 9th International Workshop on Automotive System/Software Architectures (WASA) co-located with ICSA 2023, IEEE. Details DOI BIB
• Februar 2023 Automating Vehicle SOA Threat Analysis using a Model-Based Methodology Yuri Gil Dantas, Vivek Nigam, Ulrich Schöpp, Simon Barner und Pei Ke In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP), Seiten 180-191, SciTePress. Details DOI BIB

2020

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

2019

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