fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: model-based systems engineering

Liste als BibTeX-Datei exportieren

2016

  • Oktober 2016 Decomposition of Design Space Exploration Problems in the Context of model-based Development Sergey Zverlov In Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems (MODELS 2016), CEUR. Details URL BIB
  • Oktober 2016 Usable Design Space Exploration in AutoFOCUS3 Johannes Eder und 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, Seiten 51–58, CEUR-WS. Details URL BIB
  • September 2016 Building Product-lines of Mixed-Criticality Systems Simon Barner, Alexander Diewald, Fernando Eizaguirre, Anatoly Vasilevskiy und 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 und Bernhard Schätz In SAE 2016 World Congress and Exhibition, SAE International. Details DOI BIB
  • Januar 2016 A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems Klaus Becker und Sebastian Voss In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, Details DOI BIB
  • Januar 2016 Factory Product Lines: Tackling the Compatibility Problem Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto und Georgeta Igna In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), ACM. Details DOI BIB
  • Januar 2016 Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development Sergey Zverlov, Maged Khalil und 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 und Simon Barner In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), Seiten 190–193, New York, NY, USA, ACM. Details DOI BIB
  • 2016 Integrated Formal Methods for Constructing Assurance Cases Carmen Cârlan, Tewodros Beyene und Harald Rueß In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Seiten 221–228, IEEE. Details DOI BIB
  • 2016 On Using Results of Code-level Bounded Model Checking in Assurance Carmen Cârlan, Daniel Ratiu und Bernhard Schätz In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 9923 von LNCS, Seiten 30-42, Springer. Details DOI BIB