Wissenschaftliche Publikationen
2025
- Komplexitätsbeherrschung und Aufwandsreduktion in der Avioniksystementwicklung Informatik Spektrum, ():, July 2025. Details BIB
2024
- Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion ’24), September 2024. ACM. Details DOI BIB
- Towards the Estimation of Quality Attributes on System Model Histories In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion '24), September 2024. ACM. Details DOI BIB
- A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design SN Computer Science, 5(5):, May 2024. Details DOI BIB
- Automated Model Quality Estimation and Change Impact Analysis on Model Histories 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
- A Toolchain for Synthesizing and Validating Safety Architectures SN Computer Science, 4(4):335, April 2023. Details DOI BIB
- Implementing a Model-based Engineering Tool as Web Application arXiv:2302.14091 [cs.SE], March 2023. Details DOI BIB
- Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform In 9th International Workshop on Automotive System/Software Architectures (WASA) co-located with ICSA 2023, March 2023. IEEE. Details DOI BIB
- Automating Vehicle SOA Threat Analysis using a Model-Based Methodology In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP), pages 180-191, February 2023. SciTePress. Details DOI BIB
2020
- A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control In IEEE Vehicular Networking Conference (VNC), pages 1-8, December 2020. IEEE. Details DOI BIB
- Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Software and Systems Modeling, 19():911–934, July 2020. Details DOI BIB
2019
- Combined Data Transfer Response Time and Mapping Exploration in MPSoCs 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
- Towards Machine Learning for Learnability of MDD Tools In Software Engineering and Knowledge Engineering (SEKE) Conference, Lisbon, Portugal, pages 1–6, July 2019. Details DOI BIB
- Model-based methodology for space vehicles In Proceedings of the Eurospace Annual Conference on Data Systems in Aerospace (DASIA), June 2019. Details BIB
- ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. Details DOI BIB
2018
- [T3] Develop your Own Car October 2018. Details URL BIB
- A modular approach to integrate verification tools in model based development 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
- Controlling a virtual rover using AutoFOCUS3 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
- Exploration of hardware topologies based on functions, variability and timing 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
- From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures 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