Scientific publications
2018
- A modular approach to integrate verification tools in model based development In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pages 150–155, October 2018. ACM. Details DOI BIB
- Controlling a virtual rover using AutoFOCUS3 In Proceedings of the MDETools Workshop co-located with MODELS 2018, volume 2245 of CEUR Workshop Proceedings, pages 356–365, October 2018. Details URL BIB
- Exploration of hardware topologies based on functions, variability and timing In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pages 145–149, October 2018. ACM. Details DOI BIB
- From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pages 438–446, October 2018. ACM, Details DOI BIB
- Optimization and Reconfiguration of IEC 61499-based Software Architectures In ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) - Doctoral Symposium, October 2018. Details DOI BIB
- Alternatives for Flexible Deployment Architectures in Industrial Automation Systems In 23rd International Conference on Emerging Technologies And Factory Automation (ETFA), September 2018. Details DOI BIB
- Distributed Real-Time Architecture for Mixed-Criticality Systems: Algorithms and Tools CRC Press, August 2018. Details DOI BIB
- Distributed Real-Time Architecture for Mixed-Criticality Systems: Modeling and Development Process CRC Press, August 2018. Details DOI BIB
- Formalizing EARS – First Impressions In 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS), pages 11-13, August 2018. Details DOI BIB
- Using Design Space Exploration to Calculate Deployment Configurations of IEC 61499-based Systems In 14th IEEE International Conference on Automation Science and Engineering (IEEE CASE 2018), August 2018. IEEE. Details DOI BIB
- ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification June 2018. Details URL BIB
- Handling system complexity in sCPS: usable design space exploration In 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), pages 2–5, May 2018. IEEE, Details DOI BIB
- Applying DSE for Solving the Deployment Problem in Industry 4.0 In 14th Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES), April 2018. fortiss GmbH. Details BIB
- Architecture Exploration for Safety-Critical Systems In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), March 2018. Details BIB
- Formal analysis of feature degradation in fault-tolerant automotive systems Science of Computer Programming, 154(1):89–133, March 2018. Details DOI BIB
- Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation Systems In 9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018), February 2018. Details PDF BIB
- BMC with Memory Models as Modules In FMCAD, pages 1–9, 2018. IEEE. Details DOI BIB
- Compact and efficiently verifiable models for concurrent systems Formal Methods in System Design, 53():407–431, 2018. Details DOI BIB
- Full contract verification for ATL using symbolic execution Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB
- Incorporating negative information to process discovery of complex systems Inf. Sci., 422():480–496, 2018. Details DOI BIB