Export list as BibTeX file

2018

• October 2018 From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures Johannes Eder, Andreas Bayha, Sebastian Voss, Alexandru Ipatiov and Maged Khalil In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pages 438–446, ACM, Details DOI BIB
• October 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 and 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 and Anatoly Vasilevskiy CRC Press, Details DOI BIB
• August 2018 Formalizing EARS – First Impressions Levi Lúcio and Tahira Iqbal In 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS), pages 11-13, Details DOI BIB
• August 2018 Modeling and Development Process Simon Barner, Franck Chauvel, Alexander Diewald, Fernando Eizaguirre, Oystein Haugen, Jörn Migge and 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 and Monika Wenger In 14th IEEE International Conference on Automation Science and Engineering (IEEE CASE 2018), IEEE. Details DOI BIB
• June 2018 ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification Moussa Amrani, Levi Lúcio and Adrian Bibal Details URL BIB
• May 2018 Handling system complexity in sCPS: usable design space exploration Sebastian Voss and Johannes Eder In 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), pages 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 and Vincent Aravantinos In 14th Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES), fortiss GmbH. Details BIB