Seguir
Fabian Immler
Fabian Immler
Afiliación desconocida
No hay ninguna dirección de correo electrónico verificada. - Página principal
Título
Citado por
Citado por
Año
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
1102013
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
1062017
Numerical analysis of ordinary differential equations in Isabelle/HOL
F Immler, J Hölzl
Interactive Theorem Proving: Third International Conference, ITP 2012 …, 2012
652012
Verified reachability analysis of continuous systems
F Immler
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
642015
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
572016
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
462014
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
372018
A verified ODE solver and the Lorenz attractor
F Immler
Journal of automated reasoning 61 (1), 73-111, 2018
352018
The flow of ODEs: Formalization of variational equation and Poincaré map
F Immler, C Traut
Journal of Automated Reasoning 62, 215-236, 2019
332019
The flow of ODEs
F Immler, C Traut
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016
302016
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
252018
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
212020
A verified algorithm for geometric zonotope/hyperplane intersection
F Immler
Proceedings of the 2015 Conference on Certified Programs and Proofs, 129-136, 2015
202015
NHC-Metallosurfactants as active polymerization catalysts
A Donner, B Trepka, S Theiss, F Immler, J Traber, S Polarz
Langmuir 35 (50), 16514-16520, 2019
192019
Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems.
F Immler
Arch@ cpsweek, 180-187, 2015
182015
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
162019
{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
102017
A Verified ODE Solver and Smale's 14th Problem
F Immler
Technische Universität München, 2018
92018
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
72019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20