1. Safe adaptation of cobotic cells based on petri nets;Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems;2022-05-18
2. Industrial Perspective on Reuse of Safety Artifacts in Software Product Lines;Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A;2019-09-09
3. The Assurance Recipe: Facilitating Assurance Patterns;Developments in Language Theory;2018
4. The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward;2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing;2014-11
5. Automated Specification and Verification of Functional Safety in Heavy-Vehicles;Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14;2014