1. Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems;Lecture Notes in Computer Science;2024-09-13
2. Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines;Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems;2024-02-07
3. GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers;2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE);2021-05
4. Proof Repositories for Compositional Verification of Evolving Software Systems;Transactions on Foundations for Mastering Change I;2016
5. A pluralist approach to the formalisation of mathematics;Mathematical Structures in Computer Science;2011-07-01