Export list as BibTeX file

2018

• August 2018 Algorithms and Tools Jörn Migge, Patricia Balbastre, Simon Barner, Franck Chauvel, Silviu S. Craciunas, Alexander Diewald, Guy Durrieu, Oystein Haugen, Ali Abbas Jaffari Syed, Claire Pagetti, Ramon Serna Oliver and Anatoly Vasilevskiy CRC Press, Details DOI BIB
• 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
• March 2018 Architecture Exploration for Safety-Critical Systems Alexander Diewald, Simon Barner and Sebastian Voss In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), Details BIB
• February 2018 Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation Systems Ben Schneider, Sebastian Voss, Monika Wenger and Alois Zoitl In 9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018), Details PDF 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
• September 2017 DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems Simon Barner, Alexander Diewald, Jörn Migge, Ali Abbas Jaffari Syed, Gerhard Fohler, Madeleine Faugère and Daniel Gracia Pérez In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), pages 259–269, IEEE. Details DOI BIB
• September 2017 EARS-CTRL: Building and Verifying Controllers for Dummies Levi Lúcio, Salman Rahman, Saad bin Abid and Alistair Mavin In Tools and Demo Session track at MoDELS 2017, pages 1–6, Details URL BIB
• June 2017 Software Deployment Analysis for Mixed Reliability Automotive Systems Klaus Becker TU München, Details URL BIB
• May 2017 Just Formal Enough? Automated Analysis of EARS Requirements Levi Lúcio, Salman Rahman, Chih-Hong Cheng and Alistair Mavin In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, pages 427–434, Details URL DOI BIB

2016

• September 2016 Building Product-lines of Mixed-Criticality Systems Simon Barner, Alexander Diewald, Fernando Eizaguirre, Anatoly Vasilevskiy and Franck Chauvel In Proceedings of the Forum on Specification and Design Languages (FDL 2016), Bremen, Germany, IEEE. Details DOI BIB