Fabian Immler

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 22

Top Topics

Autonomous Vehicles

Nonlinear Dynamics

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications

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, Simon Wimmer
AutoCorres2. Arch. Formal Proofs 2024 (2024)
Albert Rizaldi, Fabian Immler
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. Arch. Formal Proofs 2020 (2020)
Fabian Immler, Yong Kiam Tan
The Poincaré-Bendixson theorem in Isabelle/HOL. CPP (2020)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2020)
Fabian Immler, Christoph Traut
The Flow of ODEs: Formalization of Variational Equation and Poincaré Map. J. Autom. Reason. 62 (2) (2019)
Fabian Immler, Yong Kiam Tan
The Poincaré-Bendixson Theorem. Arch. Formal Proofs 2019 (2019)
Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek (2019)
Fabian Immler, Jonas Rädle, Makarius Wenzel
Virtualization of HOL4 in Isabelle. ITP (2019)
Fabian Immler
Laplace Transform. Arch. Formal Proofs 2019 (2019)
Fabian Immler, Bohua Zhan
Smooth manifolds and types to sets for linear algebra in Isabelle/HOL. CPP (2019)
Alexander Maletzky, Fabian Immler
Algorithm in Isabelle/HOL. CoRR (2018)
Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2018)
Fabian Immler
A Verified ODE Solver and the Lorenz Attractor. J. Autom. Reason. 61 (1-4) (2018)
Fabian Immler, Bohua Zhan
Smooth Manifolds. Arch. Formal Proofs 2018 (2018)
Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff
A Formally Verified Motion Planner for Autonomous Vehicles. ATVA (2018)
Christoph Traut, Fabian Immler
Taylor Models. Arch. Formal Proofs 2018 (2018)
Alexander Maletzky, Fabian Immler
Algorithm in Isabelle/HOL. CICM (2018)
Xin Chen, Matthias Althoff, Fabian Immler
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. ARCH@CPSWeek (2017)
Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. IFM (2017)
Fabian Immler, Alexander Maletzky
Gröbner Bases Theory. Arch. Formal Proofs 2016 (2016)
Fabian Immler, Christoph Traut
The Flow of ODEs. ITP (2016)
Albert Rizaldi, Fabian Immler, Matthias Althoff
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. NFM (2016)
Fabian Immler
A Verified Enclosure for the Lorenz Attractor (Rough Diamond). ITP (2015)
Fabian Immler
Verified Reachability Analysis of Continuous Systems. TACAS (2015)
Fabian Immler
A Verified Algorithm for Geometric Zonotope/Hyperplane Intersection. CPP (2015)
Fabian Immler
Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems. ARCH@CPSWeek (2015)
Fabian Immler
Affine Arithmetic. Arch. Formal Proofs 2014 (2014)
Fabian Immler
Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations. NASA Formal Methods (2014)
Fabian Immler
Formal Verification of ODE-Solvers. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Johannes Hölzl, Fabian Immler, Brian Huffman
Type Classes and Filters for Mathematical Analysis in Isabelle/HOL. ITP (2013)
Fabian Immler, Johannes Hölzl
Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL. ITP (2012)
Fabian Immler, Johannes Hölzl
Ordinary Differential Equations. Arch. Formal Proofs 2012 (2012)
Fabian Immler
RIPEMD-160. Arch. Formal Proofs 2011 (2011)