Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2024
- Mitigating Conflicts in Architectural Design Decisions for Evolving Manufacturing Systems: Evaluation and Recommendations for Practitioners In 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, September 2024. IEEE. Details BIB
- Multidimensional Design Space Exploration for Evolving Manufacturing Systems: Interplay of Deployment, Topology, and Production Planning Architectural Decisions IEEE Transactions on Industrial Informatics, (Early Access):1-12, August 2024. Details DOI BIB
2023
- Composing Services with SMT-Based Deployment Optimization and Service Merging Heuristic In 28th International Conference on Emerging Technologies and Factory Automation (ETFA), September 2023. IEEE. Details DOI BIB
2022
- Architecture Synthesis for Optimized and Flexible Production In 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), Mai 2022. IEEE. Details DOI BIB
- Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy In Software Engineering 2022 - Fachtagung des GI-Fachbereichs Softwaretechnik, Februar 2022. Gesellschaft für Informatik (GI). Details DOI BIB
2021
- Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy In ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), Oktober 2021. IEEE. Details DOI BIB
- Towards Service Deployment and Composition in Industry 4.0 In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), September 2021. IEEE. Details DOI BIB
2020
- 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
2018
- 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
- Distributed Real-Time Architecture for Mixed-Criticality Systems: Algorithms and Tools CRC Press, August 2018. Details DOI BIB
- Handling system complexity in sCPS: usable design space exploration In 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), Seiten 2–5, Mai 2018. IEEE, Details DOI BIB
- Architecture Exploration for Safety-Critical Systems In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), März 2018. Details BIB
- Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation Systems In 9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018), Februar 2018. Details PDF BIB
2017
- Bringing DSE to life: exploring the design space of an industrial automotive use case In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 270–280, September 2017. IEEE, Details DOI BIB
- DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), Seiten 259–269, September 2017. IEEE. Details DOI BIB
- EARS-CTRL: Building and Verifying Controllers for Dummies In Tools and Demo Session track at MoDELS 2017, Seiten 1–6, September 2017. Details URL BIB
- Software Deployment Analysis for Mixed Reliability Automotive Systems TU München, Juni 2017. Details URL BIB
- Just Formal Enough? Automated Analysis of EARS Requirements In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, Seiten 427–434, Mai 2017. Details URL DOI BIB