fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: systems

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
  • Oktober 2018 Optimization and Reconfiguration of IEC 61499-based Software Architectures Tarik Terzimehić In ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) - Doctoral Symposium, Details DOI BIB
  • September 2018 Alternatives for Flexible Deployment Architectures in Industrial Automation Systems Sten Grüner, Somayeh Malakuti, Johannes Schmitt, Tarik Terzimehić, Monika Wenger und Haitham Elfham In 23rd International Conference on Emerging Technologies And Factory Automation (ETFA), 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
  • August 2018 Formalizing EARS – First Impressions Levi Lúcio und Tahira Iqbal In 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS), Seiten 11-13, Details DOI BIB
  • August 2018 Modeling and Development Process Simon Barner, Franck Chauvel, Alexander Diewald, Fernando Eizaguirre, Oystein Haugen, Jörn Migge und Anatoly Vasilevskiy CRC Press, Details DOI BIB
  • August 2018 Using Design Space Exploration to Calculate Deployment Configurations of IEC 61499-based Systems Tarik Terzimehić, Sebastian Voss und Monika Wenger In 14th IEEE International Conference on Automation Science and Engineering (IEEE CASE 2018), IEEE. Details DOI BIB
  • Juni 2018 ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification Moussa Amrani, Levi Lúcio und Adrian Bibal Details URL 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
  • April 2018 Applying DSE for Solving the Deployment Problem in Industry 4.0 Tarik Terzimehić, Sebastian Voss, Monika Wenger und Vincent Aravantinos In 14th Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES), fortiss GmbH. Details BIB