Export list as BibTeX file

2018

• 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
• March 2018 Architecture Exploration for Safety-Critical Systems Alexander Diewald, Simon Barner and Sebastian Voss In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), Details BIB
• March 2018 Formal analysis of feature degradation in fault-tolerant automotive systems Klaus Becker, Sebastian Voss and Bernhard Schätz Science of Computer Programming, 154(1):89–133, March 2018. Details DOI BIB
• February 2018 Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation Systems Ben Schneider, Sebastian Voss, Monika Wenger and Alois Zoitl In 9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018), Details PDF BIB
• 2018 BMC with Memory Models as Modules Hernán Ponce de León, Florian Furbach, Keijo Heljanko and Roland Meyer In FMCAD, pages 1–9, IEEE. Details DOI BIB
• 2018 Compact and efficiently verifiable models for concurrent systems Hernán Ponce de León and Andrey Mokhov Formal Methods in System Design, 53():407–431, 2018. Details DOI BIB