Liste als BibTeX-Datei exportieren

2018

• 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
• 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
• März 2018 Formal analysis of feature degradation in fault-tolerant automotive systems Klaus Becker, Sebastian Voss und Bernhard Schätz Science of Computer Programming, 154(1):89–133, März 2018. Details DOI BIB