Export list as BibTeX file

2018

• May 2018 Handling system complexity in sCPS: usable design space exploration Sebastian Voss and Johannes Eder In 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), pages 2–5, IEEE, Details DOI BIB

2017

• September 2017 Bringing DSE to life: exploring the design space of an industrial automotive use case Johannes Eder, Sergey Zverlov, Sebastian Voss, Maged Khalil and Alexandru Ipatiov In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 270–280, IEEE, Details DOI BIB
• June 2017 Software Deployment Analysis for Mixed Reliability Automotive Systems Klaus Becker TU München, Details URL BIB

2016

• January 2016 A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems Klaus Becker and Sebastian Voss In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, Details DOI BIB
• January 2016 Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development Sergey Zverlov, Maged Khalil and Mayank Chaudhary In Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Details URL BIB

2015

• March 2015 Deployment Calculation and Analysis for a Fault-Tolerant System Platform Klaus Becker and Bernhard Schätz In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), pages 100-109, Details URL BIB
• 2015 Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems Klaus Becker and Sebastian Voss In 18th IEEE Symposium on Real-Time Distributed Computing (ISORC), IEEE. Details DOI BIB
• 2015 Automating Design-Space Exploration: Optimal Deployment of Automotive SW-Components in an ISO26262 Context Bernhard Schätz, Sergey Zverlov and Sebastian Voss In Design Automation Conference (DAC), 2015 52st ACM/EDAC/IEEE, Details DOI BIB

2014

• 2014 A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems Klaus Becker, Bernhard Schätz, Michael Armbruster and Christian Buckl In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), Details DOI BIB

2013

• April 2013 Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications Sebastian Voss and Bernhard Schätz In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), pages 100–109, Phoenix, AZ, USA, IEEE. Details DOI BIB