Export list as BibTeX file

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
• April 2016 Schedule synthesis for multi-period SW components Sebastian Voss, Johannes Eder and Bernhard Schätz In SAE 2016 World Congress and Exhibition, SAE International. 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
• 2016 A Lightweight Design Space Exploration and Optimization Language Alexander Diewald, Sebastian Voss and Simon Barner In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), pages 190–193, New York, NY, USA, ACM. Details DOI BIB

2015

• 2015 AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl and Bernhard Schätz In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 edition, Details URL 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

• February 2014 Design Space Exploration and its Visualization in AutoFOCUS3 Sebastian Voss, Johannes Eder and Florian Hölzl In Software Engineering (Workshops), pages 57–66, Details URL BIB
• 2014 Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems Sergey Zverlov and Sebastian Voss In Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International, Details DOI BIB

2013

• May 2013 Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration) Tim Kelly, Carmen Cârlan and Sebastian Voss In Proceedings of the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013), Details URL BIB
• 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