![[Translate to English:]](/fileadmin/_processed_/a/e/csm_fortiss-publikationen-header_1e9ee64f16.png)
Publications
- Komplexitätsbeherrschung und Aufwandsreduktion in der Avioniksystementwicklung Informatik Spektrum, ():, July 2025. Details BIB
- Model-Based Systems Engineering with the SPES Modeling Language: Usage of the Language Constructs in the SPES Methodology GfSE Verlag, January 2025. Details URL BIB
- Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy In Software Engineering 2022 - Fachtagung des GI-Fachbereichs Softwaretechnik, February 2022. Gesellschaft für Informatik (GI). Details DOI BIB
- 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), October 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
- Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Software and Systems Modeling, 19():911–934, July 2020. Details DOI BIB
- SMT-Based Deployment Calculation in Industrial Automation Domain In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), September 2019. IEEE. Details DOI BIB
- Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report SIGSOFT Softw. Eng. Notes, 44(4):11–13, September 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
- [T3] Develop your Own Car October 2018. Details URL 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
- Using Design Space Exploration to Calculate Deployment Configurations of IEC 61499-based Systems In 14th IEEE International Conference on Automation Science and Engineering (IEEE CASE 2018), August 2018. IEEE. 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), pages 2–5, May 2018. IEEE, Details DOI BIB
- Applying DSE for Solving the Deployment Problem in Industry 4.0 In 14th Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES), April 2018. fortiss GmbH. Details BIB
- Architecture Exploration for Safety-Critical Systems In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), March 2018. Details BIB
- Formal analysis of feature degradation in fault-tolerant automotive systems Science of Computer Programming, 154(1):89–133, March 2018. Details DOI BIB
- Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation Systems In 9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018), February 2018. Details PDF BIB
- 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), pages 270–280, September 2017. IEEE, Details DOI BIB
- ExplicitCase: Integrated Model-based Development of System and Safety Cases In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, volume 10489 of LNCS, pages 52 – 63, September 2017. Springer. Details DOI BIB
- Towards a Model-driven Performance Prediction Approach for Internet of Things Architectures Open Journal of Internet Of Things, 3(1):136-141, 2017. Details URL BIB
- Usable Design Space Exploration in AutoFOCUS3 In Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with MODELS 2016, pages 51–58, October 2016. CEUR-WS. Details URL BIB
- Schedule synthesis for multi-period SW components In SAE 2016 World Congress and Exhibition, April 2016. SAE International. Details DOI BIB
- A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, January 2016. Details DOI BIB
- A Lightweight Design Space Exploration and Optimization Language In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), pages 190–193, New York, NY, USA, 2016. ACM. Details DOI BIB
- Safety Case Driven Model-Based Systems Construction In Proceedings of the 2nd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC 2015), April 2015. Details URL BIB
- Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems In 18th IEEE Symposium on Real-Time Distributed Computing (ISORC), 2015. IEEE. Details DOI BIB
- AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 edition, 2015. Details URL BIB
- Automating Design-Space Exploration: Optimal Deployment of Automotive SW-Components in an ISO26262 Context In Design Automation Conference (DAC), 2015 52st ACM/EDAC/IEEE, 2015. Details DOI BIB
- Design Space Exploration and its Visualization in AutoFOCUS3 In Software Engineering (Workshops), pages 57–66, February 2014. Details URL BIB
- A Pattern-based Approach towards Modular Safety Analysis and Argumentation In Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France, 2014. Details BIB
- Design Space Exploration in AutoFOCUS3 - An Overview In Vladimír Mařík , JoseL. Martinez Lastra and Petr Skobelev , editor, IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems, 2014. Springer, Details BIB
- Practitioners' and Researchers' Expectations on Design Space Exploration for Multicore Systems in the Automotive and Avionics Domains: A Survey In Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, pages 1:1–1:10, New York, NY, USA, 2014. ACM. Details DOI BIB
- Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems In Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International, 2014. Details DOI BIB
- Sicher steuern mit Multicore-Prozessoren Computer & Automation, ():24-29, June 2013. Details URL BIB
- Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration) In Proceedings of the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013), May 2013. Details URL BIB
- Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), pages 100–109, Phoenix, AZ, USA, April 2013. IEEE. Details DOI BIB
- Seamless Model-based Development of Embedded Systems with AF3 Phoenix In Tool demonstration on the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), pages 212, April 2013. Details DOI BIB
- Emergency Shutdown System Demonstrator using AutoFOCUS3 In Proceedings of the W8 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT) (co-located with DATE), 2013. Details BIB
- Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach In Proceedings of the W8 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT) (co-located with DATE), 2013. Details URL BIB
- Towards Modular Certification using Integrated Model-Based Safety Cases In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), 2013. Springer. Details URL BIB
- Scheduling shared memory multicore architectures in AutoFOCUS3 using Satisfiability Modulo Theories In Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, MBEES 2012, February 2012. Details URL BIB