Scientific publications

Keywords: DSE

2016

October 2016 Usable Design Space Exploration in AutoFOCUS3 Johannes Eder and Sebastian Voss 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, CEUR-WS. Details URL BIB
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
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 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

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

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

February 2012 Scheduling shared memory multicore architectures in AutoFOCUS3 using Satisfiability Modulo Theories Sebastian Voss and Bernhard Schätz In Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, MBEES 2012, Details URL BIB

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo