fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: Synthesis

Liste als BibTeX-Datei exportieren

2018

  • Oktober 2018 From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures Johannes Eder, Andreas Bayha, Sebastian Voss, Alexandru Ipatiov und Maged Khalil In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Seiten 438–446, ACM, Details DOI BIB
  • August 2018 Algorithms and Tools Jörn Migge, Patricia Balbastre, Simon Barner, Franck Chauvel, Silviu S. Craciunas, Alexander Diewald, Guy Durrieu, Oystein Haugen, Ali Abbas Jaffari Syed, Claire Pagetti, Ramon Serna Oliver und Anatoly Vasilevskiy CRC Press, Details DOI BIB
  • Mai 2018 Handling system complexity in sCPS: usable design space exploration Sebastian Voss und Johannes Eder In 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), Seiten 2–5, IEEE, Details DOI BIB
  • März 2018 Architecture Exploration for Safety-Critical Systems Alexander Diewald, Simon Barner und Sebastian Voss In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), Details BIB
  • Februar 2018 Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation Systems Ben Schneider, Sebastian Voss, Monika Wenger und Alois Zoitl In 9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018), Details PDF BIB

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 und Alexandru Ipatiov In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 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 und Daniel Gracia Pérez In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), Seiten 259–269, IEEE. Details DOI BIB
  • September 2017 EARS-CTRL: Building and Verifying Controllers for Dummies Levi Lúcio, Salman Rahman, Saad bin Abid und Alistair Mavin In Tools and Demo Session track at MoDELS 2017, Seiten 1–6, Details URL BIB
  • Juni 2017 Software Deployment Analysis for Mixed Reliability Automotive Systems Klaus Becker TU München, Details URL BIB
  • Mai 2017 Just Formal Enough? Automated Analysis of EARS Requirements Levi Lúcio, Salman Rahman, Chih-Hong Cheng und Alistair Mavin In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, Seiten 427–434, Details URL DOI BIB