Fabian Immler

Fabian Immler

Carnegie Mellon University - Pittsburgh / United States
Others
AD Scientific Index ID: 903470
person_outline Fabian Immler's MOST POPULAR ARTICLES
1-) Type classes and filters for mathematical analysis in Isabelle/HOLJ Hölzl, F Immler, B HuffmanInteractive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 20131162013
2-) Formalising and monitoring traffic rules for autonomous vehicles in Isabelle/HOLA Rizaldi, J Keinholz, M Huber, J Feldle, F Immler, M Althoff, E Hilgendorf, ...Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 20171152017
3-) Numerical analysis of ordinary differential equations in Isabelle/HOLF Immler, J HölzlInteractive Theorem Proving: Third International Conference, ITP 2012 …, 2012642012
4-) Verified reachability analysis of continuous systemsF ImmlerTools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015652015
5-) A formally verified checker of the safe distance traffic rules for autonomous vehiclesA Rizaldi, F Immler, M AlthoffNASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016622016