| 2020 | CPP | The Poincar-Bendixson theorem in Isabelle/HOL. | Fabian Immler, Yong Kiam Tan |
| 2019 | CPP | Smooth manifolds and types to sets for linear algebra in Isabelle/HOL. | Fabian Immler, Bohua Zhan |
| 2019 | ITP | Virtualization of HOL4 in Isabelle. | Fabian Immler, Jonas Rdle, Makarius Wenzel |
| 2018 | ATVA | A Formally Verified Motion Planner for Autonomous Vehicles. | Albert Rizaldi, Fabian Immler, Bastian Schrmann, Matthias Althoff |
| 2017 | IFM | Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. | Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow |
| 2016 | ITP | The Flow of ODEs. | Fabian Immler, Christoph Traut |
| 2015 | CPP | A Verified Algorithm for Geometric Zonotope/Hyperplane Intersection. | Fabian Immler |
| 2015 | ITP | A Verified Enclosure for the Lorenz Attractor (Rough Diamond). | Fabian Immler |
| 2015 | TACAS | Verified Reachability Analysis of Continuous Systems. | Fabian Immler |
| 2013 | ITP | Type Classes and Filters for Mathematical Analysis in Isabelle/HOL. | Johannes Hlzl, Fabian Immler, Brian Huffman |
| 2012 | ITP | Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL. | Fabian Immler, Johannes Hlzl |