RIPEMD-160. - Fabian Immler (Arch. Formal Proofs, 2011)

Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL. - Fabian Immler; Johannes Hölzl (ITP, 2012)

Ordinary Differential Equations. - Fabian Immler; Johannes Hölzl (Arch. Formal Proofs, 2012)

Type Classes and Filters for Mathematical Analysis in Isabelle/HOL. - Johannes Hölzl; Fabian Immler; Brian Huffman (ITP, 2013)

Formal Verification of ODE-Solvers. - Fabian Immler (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations. - Fabian Immler (NASA Formal Methods, 2014)

Affine Arithmetic. - Fabian Immler (Arch. Formal Proofs, 2014)

A Verified Algorithm for Geometric Zonotope/Hyperplane Intersection. - Fabian Immler (CPP, 2015)

Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems. - Fabian Immler (ARCH@CPSWeek, 2015)

A Verified Enclosure for the Lorenz Attractor (Rough Diamond). - Fabian Immler (ITP, 2015)

Verified Reachability Analysis of Continuous Systems. - Fabian Immler (TACAS, 2015)

The Flow of ODEs. - Fabian Immler; Christoph Traut (ITP, 2016)

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. - Albert Rizaldi; Fabian Immler; Matthias Althoff (NFM, 2016)

Gröbner Bases Theory. - Fabian Immler; Alexander Maletzky (Arch. Formal Proofs, 2016)

ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. - Xin Chen 002; Matthias Althoff; Fabian Immler (ARCH@CPSWeek, 2017)

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. - Albert Rizaldi; Jonas Keinholz; Monika Huber 001; Jochen Feldle; Fabian Immler; Matthias Althoff; Eric Hilgendorf; Tobias Nipkow (IFM, 2017)

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Xin Chen 002; Chuchu Fan; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Mahendra Singh Tomar; Majid Zamani 001 (ARCH@ADHS, 2018)

A Formally Verified Motion Planner for Autonomous Vehicles. - Albert Rizaldi; Fabian Immler; Bastian Schürmann; Matthias Althoff (ATVA, 2018)

Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL. - Alexander Maletzky; Fabian Immler (CICM, 2018)

Smooth Manifolds. - Fabian Immler; Bohua Zhan (Arch. Formal Proofs, 2018)

Taylor Models. - Christoph Traut; Fabian Immler (Arch. Formal Proofs, 2018)

A Verified ODE Solver and the Lorenz Attractor. - Fabian Immler (J. Autom. Reason., 2018)

A Verified ODE Solver and Smale's 14th Problem (Ein Verifizierter GDGL-Löser und Smales 14. Problem) - Fabian Immler (2018)

A Verified ODE Solver and Smale's 14th Problem. - Fabian Immler (Ausgezeichnete Informatikdissertationen, 2018)

Smooth manifolds and types to sets for linear algebra in Isabelle/HOL. - Fabian Immler; Bohua Zhan (CPP, 2019)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Marcelo Forets; Luca Geretti; Niklas Kochdumper; David P. Sanders; Christian Schilling 001 (ARCH@CPSIoTWeek, 2019)

Virtualization of HOL4 in Isabelle. - Fabian Immler; Jonas Rädle; Makarius Wenzel (ITP, 2019)

Laplace Transform. - Fabian Immler (Arch. Formal Proofs, 2019)

The Poincaré-Bendixson Theorem. - Fabian Immler; Yong Kiam Tan (Arch. Formal Proofs, 2019)

The Flow of ODEs: Formalization of Variational Equation and Poincaré Map. - Fabian Immler; Christoph Traut (J. Autom. Reason., 2019)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Pieter Collins; Marcelo Forets; Daniel Freire; Fabian Immler; Niklas Kochdumper; David P. Sanders; et al. (ARCH, 2020)

The Poincaré-Bendixson theorem in Isabelle/HOL. - Fabian Immler; Yong Kiam Tan (CPP, 2020)

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. - Albert Rizaldi; Fabian Immler (Arch. Formal Proofs, 2020)

AutoCorres2. - Matthew Brecknell; David Greenaway; Johannes Hölzl; Fabian Immler; Gerwin Klein; Rafal Kolanski; Japheth Lim; Michael Norrish; Norbert Schirmer; Salomon Sickert; Thomas Sewell; Harvey Tuch; et al. (Arch. Formal Proofs, 2024)