Fabian Immler

According to our database, Fabian Immler authored at least 33 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.

Albert Rizaldi, Fabian Immler

Arch. Formal Proofs, 2020

The Poincaré-Bendixson theorem in Isabelle/HOL.

Fabian Immler, Yong Kiam Tan

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

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, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

The Flow of ODEs: Formalization of Variational Equation and Poincaré Map.

Fabian Immler, Christoph Traut

J. Autom. Reason., 2019

The Poincaré-Bendixson Theorem.

Fabian Immler, Yong Kiam Tan

Arch. Formal Proofs, 2019

Laplace Transform.

Fabian Immler

Arch. Formal Proofs, 2019

Virtualization of HOL4 in Isabelle.

Fabian Immler, Jonas Rädle, Makarius Wenzel

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Smooth manifolds and types to sets for linear algebra in Isabelle/HOL.

Fabian Immler, Bohua Zhan

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

A Verified ODE Solver and Smale's 14th Problem.

Fabian Immler

Proceedings of the Ausgezeichnete Informatikdissertationen 2018., 2018

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

Fabian Immler

PhD thesis, 2018

A Verified ODE Solver and the Lorenz Attractor.

Fabian Immler

J. Autom. Reason., 2018

Taylor Models.

Christoph Traut, Fabian Immler

Arch. Formal Proofs, 2018

Smooth Manifolds.

Fabian Immler, Bohua Zhan

Arch. Formal Proofs, 2018

Gröbner Bases of Modules and Faugère's F₄ Algorithm in Isabelle/HOL.

Alexander Maletzky, Fabian Immler

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

A Formally Verified Motion Planner for Autonomous Vehicles.

Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff

Proceedings of the Automated Technology for Verification and Analysis, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

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

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics.

Xin Chen, Matthias Althoff, Fabian Immler

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016

Gröbner Bases Theory.

Fabian Immler, Alexander Maletzky

Arch. Formal Proofs, 2016

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.

Albert Rizaldi, Fabian Immler, Matthias Althoff

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

The Flow of ODEs.

Fabian Immler, Christoph Traut

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2015

Verified Reachability Analysis of Continuous Systems.

Fabian Immler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

A Verified Enclosure for the Lorenz Attractor (Rough Diamond).

Fabian Immler

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems.

Fabian Immler

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

A Verified Algorithm for Geometric Zonotope/Hyperplane Intersection.

Fabian Immler

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

Affine Arithmetic.

Fabian Immler

Arch. Formal Proofs, 2014

Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations.

Fabian Immler

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Formal Verification of ODE-Solvers.

Fabian Immler

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2013

Type Classes and Filters for Mathematical Analysis in Isabelle/HOL.

Johannes Hölzl, Fabian Immler, Brian Huffman

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Ordinary Differential Equations.

Fabian Immler, Johannes Hölzl

Arch. Formal Proofs, 2012

Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL.

Fabian Immler, Johannes Hölzl

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2011

RIPEMD-160.

Fabian Immler

Arch. Formal Proofs, 2011