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


  • 2017 Modular Transformation from AF3 to nuXmv Sudeep Kanav und 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, Seiten 300–306, Details URL BIB
  • 2017 Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models Hernán Ponce de León, Florian Furbach, Keijo Heljanko und Roland Meyer In SAS, Band 10422 von Lecture Notes in Computer Science, Seiten 299–320, Springer. Details URL DOI BIB
  • 2017 Tool Support for Live Formal Verification Vincent Aravantinos und Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, Details DOI BIB
  • 2017 Towards a Model-driven Performance Prediction Approach for Internet of Things Architectures Johannes Kroß, Sebastian Voss und Helmut Krcmar Open Journal of Internet Of Things, 3(1):136-141, 2017. Details URL BIB
  • 2017 Towards an Industry 4.0 Compliant Control Software Architecture Using IEC 61499 & OPC UA Tarik Terzimehić, Monika Wenger, Alois Zoitl, Andreas Bayha, Klaus Becker, Thorsten Müller und Hubertus Schauerte In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Details DOI BIB


  • 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