fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: MBSE

Export list as BibTeX file

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
  • 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 Factory Product Lines: Tackling the Compatibility Problem Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto and Georgeta Igna In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), ACM. 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
  • 2016 Integrated Formal Methods for Constructing Assurance Cases Carmen Cârlan, Tewodros Beyene and Harald Rueß In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 221–228, IEEE. Details DOI BIB
  • 2016 On Using Results of Code-level Bounded Model Checking in Assurance Carmen Cârlan, Daniel Ratiu and Bernhard Schätz In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 9923 of LNCS, pages 30-42, Springer. Details DOI BIB

2015