Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2025
- Komplexitätsbeherrschung und Aufwandsreduktion in der Avioniksystementwicklung Informatik Spektrum, ():, Juli 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):, Mai 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), Seiten 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], März 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, März 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), Seiten 180-191, Februar 2023. SciTePress. Details DOI BIB
2020
- A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control In IEEE Vehicular Networking Conference (VNC), Seiten 1-8, Dezember 2020. IEEE. Details DOI BIB
- Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Software and Systems Modeling, 19():911–934, Juli 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, Juli 2019. Details URL BIB
- Towards Machine Learning for Learnability of MDD Tools In Software Engineering and Knowledge Engineering (SEKE) Conference, Lisbon, Portugal, Seiten 1–6, Juli 2019. Details DOI BIB
- Model-based methodology for space vehicles In Proceedings of the Eurospace Annual Conference on Data Systems in Aerospace (DASIA), Juni 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 Oktober 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, Seiten 150–155, Oktober 2018. ACM. Details DOI BIB
- Controlling a virtual rover using AutoFOCUS3 In Proceedings of the MDETools Workshop co-located with MODELS 2018, Band 2245 von CEUR Workshop Proceedings, Seiten 356–365, Oktober 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, Seiten 145–149, Oktober 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, Seiten 438–446, Oktober 2018. ACM, Details DOI BIB