Export list as BibTeX file

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 ExplicitCase: Integrated Model-based Development of System and Safety Cases Carmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis and Sebastian Voss In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, volume 10489 of LNCS, pages 52 – 63, Springer. Details DOI BIB
• May 2017 Seamless Model-based Requirements Engineering: Models, Guidelines, Tools Sabine Teufl Dissertation, Technische Universität München, Details URL BIB
• 2017 Modular Transformation from AF3 to nuXmv Sudeep Kanav and Vincent Aravantinos In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, pages 300–306, Details URL BIB
• 2017 Tool Support for Live Formal Verification Vincent Aravantinos and Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 145-155, Details DOI BIB

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