| Publication | Date of Publication | Type |
|---|
Preserving provability over GPU program optimizations with annotation-aware transformations
Formal Methods in System Design | 2025-12-09 | Paper |
Introduction to the special Section on FM 2021
Formal Aspects of Computing | 2024-09-25 | Paper |
| Practical abstractions for automated verification of message passing concurrency | 2024-04-19 | Paper |
| A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms | 2023-03-21 | Paper |
Automated verification of parallel nested DFS
Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
| Automated verification of the parallel Bellman-Ford algorithm | 2022-06-17 | Paper |
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA
Theoretical Computer Science | 2022-04-01 | Paper |
| Deductive software verification: from pen-and-paper proofs to industrial tools | 2022-02-16 | Paper |
| Formal verification of parallel stream compaction and summed-area table algorithms | 2021-07-08 | Paper |
Quantitative security analysis for multi-threaded programs
(available as arXiv preprint) | 2021-06-09 | Paper |
| Quantitative security analysis for multi-threaded programs | 2021-06-09 | Paper |
| Practical abstractions for automated verification of shared-memory concurrency | 2020-08-05 | Paper |
| An abstraction technique for describing concurrent program behaviour | 2018-12-07 | Paper |
Resource protection using atomics. Patterns and verification
Programming Languages and Systems | 2016-02-26 | Paper |
Permission-based separation logic for multithreaded Java programs
Logical Methods in Computer Science | 2015-03-11 | Paper |
Verification of concurrent systems with VerCors
Lecture Notes in Computer Science | 2015-02-25 | Paper |
Reducing behavioural to structural properties of programs with procedures
Theoretical Computer Science | 2013-11-29 | Paper |
ProMoVer: modular verification of temporal safety properties
Software Engineering and Formal Methods | 2011-10-28 | Paper |
CVPP: a tool set for compositional verification of control-flow safety properties
Formal Verification of Object-Oriented Software | 2011-01-21 | Paper |
Reducing Behavioural to Structural Properties of Programs with Procedures
Lecture Notes in Computer Science | 2009-02-10 | Paper |
Compositional verification of sequential programs with procedures
Information and Computation | 2008-08-14 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2007-11-28 | Paper |
Formal methods for smart cards: an experience report
Science of Computer Programming | 2005-05-12 | Paper |
| scientific article; zbMATH DE number 2090026 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090142 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2087509 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1953020 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1848374 (Why is no real title available?) | 2003-01-05 | Paper |
A case study in class library verification: Java's vector class
International Journal on Software Tools for Technology Transfer. STTT | 2002-01-23 | Paper |
| scientific article; zbMATH DE number 1670750 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1617288 (Why is no real title available?) | 2001-07-11 | Paper |
