| Type classes and filters for mathematical analysis in Isabelle/HOL J Hölzl, F Immler, B Huffman Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013 | 110 | 2013 |
| Formalising and monitoring traffic rules for autonomous vehicles in Isabelle/HOL A Rizaldi, J Keinholz, M Huber, J Feldle, F Immler, M Althoff, E Hilgendorf, ... Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017 | 106 | 2017 |
| Numerical analysis of ordinary differential equations in Isabelle/HOL F Immler, J Hölzl Interactive Theorem Proving: Third International Conference, ITP 2012 …, 2012 | 65 | 2012 |
| Verified reachability analysis of continuous systems F Immler Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 64 | 2015 |
| A formally verified checker of the safe distance traffic rules for autonomous vehicles A Rizaldi, F Immler, M Althoff NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016 | 57 | 2016 |
| Formally verified computation of enclosures of solutions of ordinary differential equations F Immler NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014 | 46 | 2014 |
| A formally verified motion planner for autonomous vehicles A Rizaldi, F Immler, B Schürmann, M Althoff International Symposium on Automated Technology for Verification and …, 2018 | 37 | 2018 |
| A verified ODE solver and the Lorenz attractor F Immler Journal of automated reasoning 61 (1), 73-111, 2018 | 35 | 2018 |
| The flow of ODEs: Formalization of variational equation and Poincaré map F Immler, C Traut Journal of Automated Reasoning 62, 215-236, 2019 | 33 | 2019 |
| The flow of ODEs F Immler, C Traut Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016 | 30 | 2016 |
| ARCH-COMP18 category report: Continuous and hybrid systems with nonlinear dynamics F Immler, M Althoff, X Chen, C Fan, G Frehse, N Kochdumper, Y Li, ... Proc. of the 5th International Workshop on Applied Verification for …, 2018 | 25 | 2018 |
| ARCH-COMP20 category report: continuous and hybrid systems with nonlinear dynamics L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ... 7th International Workshop on Applied Verification of Continuous and Hybrid …, 2020 | 21 | 2020 |
| A verified algorithm for geometric zonotope/hyperplane intersection F Immler Proceedings of the 2015 Conference on Certified Programs and Proofs, 129-136, 2015 | 20 | 2015 |
| NHC-Metallosurfactants as active polymerization catalysts A Donner, B Trepka, S Theiss, F Immler, J Traber, S Polarz Langmuir 35 (50), 16514-16520, 2019 | 19 | 2019 |
| Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems. F Immler Arch@ cpsweek, 180-187, 2015 | 18 | 2015 |
| ARCH-COMP19 category report: Continuous and hybrid systems with nonlinear dynamics F Immler, M Althoff, L Benet, A Chapoutot, X Chen, M Forets, L Geretti, ... EPiC Series in Computing 61, 2019 | 16 | 2019 |
| {ARCH-COMP17} Category Report: Continuous Systems with Nonlinear Dynamics X Chen, M Althoff, F Immler Proc. of the 4th International Workshop on Applied Verification for …, 2017 | 10 | 2017 |
| A Verified ODE Solver and Smale's 14th Problem F Immler Technische Universität München, 2018 | 9 | 2018 |
| Executable multivariate polynomials. Archive of Formal Proofs (2010) C Sternagel, R Thiemann, A Maletzky, F Immler | 9 | |
| Smooth manifolds and types to sets for linear algebra in Isabelle/HOL F Immler, B Zhan Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019 | 7 | 2019 |
Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenVerified email at in.tum.de
