Fabian Immler

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