default search action

combined dblp search
author search
venue search
publication search

ask others

Fabian Immler

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2018
[b1]
- view
- export record
  dblp key:
  - phd/de/Immler18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Immler18
Fabian Immler:
A Verified ODE Solver and Smale's 14th Problem (Ein Verifizierter GDGL-Löser und Smales 14. Problem). Technical University of Munich, Germany, 2018

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j12]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/BrecknellGHIKKLNSSSTW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/BrecknellGHIKKLNSSSTW24
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)
2020
[j11]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/RizaldiI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/RizaldiI20
Albert Rizaldi, Fabian Immler:
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. Arch. Formal Proofs 2020 (2020)
2019
[j10]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/Immler19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Immler19
Fabian Immler:
Laplace Transform. Arch. Formal Proofs 2019 (2019)
[j9]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/ImmlerT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ImmlerT19
Fabian Immler, Yong Kiam Tan:
The Poincaré-Bendixson Theorem. Arch. Formal Proofs 2019 (2019)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ImmlerT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ImmlerT19
Fabian Immler, Christoph Traut:
The Flow of ODEs: Formalization of Variational Equation and Poincaré Map. J. Autom. Reason. 62(2): 215-236 (2019)
2018
[j7]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/ImmlerZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ImmlerZ18
Fabian Immler, Bohua Zhan:
Smooth Manifolds. Arch. Formal Proofs 2018 (2018)
[j6]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/TrautI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/TrautI18
Christoph Traut, Fabian Immler:
Taylor Models. Arch. Formal Proofs 2018 (2018)
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/Immler18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Immler18
Fabian Immler:
A Verified ODE Solver and the Lorenz Attractor. J. Autom. Reason. 61(1-4): 73-111 (2018)
2016
[j4]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/ImmlerM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ImmlerM16
Fabian Immler, Alexander Maletzky:
Gröbner Bases Theory. Arch. Formal Proofs 2016 (2016)
2014
[j3]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/Immler14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Immler14
Fabian Immler:
Affine Arithmetic. Arch. Formal Proofs 2014 (2014)
2012
[j2]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/ImmlerH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ImmlerH12
Fabian Immler, Johannes Hölzl:
Ordinary Differential Equations. Arch. Formal Proofs 2012 (2012)
2011
[j1]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/Immler11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Immler11
Fabian Immler:
RIPEMD-160. Arch. Formal Proofs 2011 (2011)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/arch/GerettiSABCCCFF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/GerettiSABCCCFF20
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: 49-75
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/ImmlerT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/ImmlerT20
Fabian Immler, Yong Kiam Tan:
The Poincaré-Bendixson theorem in Isabelle/HOL. CPP 2020: 338-352
2019
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/ImmlerZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/ImmlerZ19
Fabian Immler, Bohua Zhan:
Smooth manifolds and types to sets for linear algebra in Isabelle/HOL. CPP 2019: 65-77
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/ImmlerABC0FGKSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/ImmlerABC0FGKSS19
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: 41-61
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/itp/ImmlerRW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/ImmlerRW19
Fabian Immler, Jonas Rädle, Makarius Wenzel:
Virtualization of HOL4 in Isabelle. ITP 2019: 21:1-21:18
2018
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/adhs/ImmlerA0FFKLMTZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/ImmlerA0FFKLMTZ18
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: 53-70
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/RizaldiISA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/RizaldiISA18
Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff:
A Formally Verified Motion Planner for Autonomous Vehicles. ATVA 2018: 75-90
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/MaletzkyI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/MaletzkyI18
Alexander Maletzky, Fabian Immler:
Gröbner Bases of Modules and Faugère's F₄ Algorithm in Isabelle/HOL. CICM 2018: 178-193
2017
[c12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/ChenAI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/ChenAI17
Xin Chen, Matthias Althoff, Fabian Immler:
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. ARCH@CPSWeek 2017: 160-169
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/RizaldiKHFIAHN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/RizaldiKHFIAHN17
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: 50-66
2016
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/ImmlerT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/ImmlerT16
Fabian Immler, Christoph Traut:
The Flow of ODEs. ITP 2016: 184-199
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/RizaldiIA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/RizaldiIA16
Albert Rizaldi, Fabian Immler, Matthias Althoff:
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. NFM 2016: 175-190
2015
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Immler15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Immler15
Fabian Immler:
A Verified Algorithm for Geometric Zonotope/Hyperplane Intersection. CPP 2015: 129-136
[c7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/Immler15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/Immler15
Fabian Immler:
Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems. ARCH@CPSWeek 2015: 180-187
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/Immler15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/Immler15
Fabian Immler:
A Verified Enclosure for the Lorenz Attractor (Rough Diamond). ITP 2015: 221-226
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/Immler15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Immler15
Fabian Immler:
Verified Reachability Analysis of Continuous Systems. TACAS 2015: 37-51
2014
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dfg/Immler14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/Immler14
Fabian Immler:
Formal Verification of ODE-Solvers. Joint Workshop of the German Research Training Groups in Computer Science 2014: 105
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/Immler14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/Immler14
Fabian Immler:
Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations. NASA Formal Methods 2014: 113-127
2013
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/HolzlIH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/HolzlIH13
Johannes Hölzl, Fabian Immler, Brian Huffman:
Type Classes and Filters for Mathematical Analysis in Isabelle/HOL. ITP 2013: 279-294
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/ImmlerH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/ImmlerH12
Fabian Immler, Johannes Hölzl:
Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL. ITP 2012: 377-392

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2018
[p1]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - series/gidiss/Immler18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/gidiss/Immler18
Fabian Immler:
A Verified ODE Solver and Smale's 14th Problem. Ausgezeichnete Informatikdissertationen 2018: 121-130

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1805-00304
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-00304
Alexander Maletzky, Fabian Immler:
Gröbner Bases of Modules and Faugère's F₄ Algorithm in Isabelle/HOL. CoRR abs/1805.00304 (2018)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.