
views: 2
Fabian Immler
Sign in to view more

Ego Network
D-Core
Research Interests
Author Statistics
Experience
Sign in to view more
Education
Sign in to view more
Bio
None
Papers18 papers
Sort
By YearBy Citation
Fabian Immler,Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH@CPSIoTWeek, pp.41-61, (2019)
Fabian Immler, Bohua Zhan
CPP '19: 8th ACM SIGPLAN International Conference on Certified Programs and Proofs
Cascais
..., pp.65-77, (2019)
arXiv: Logic in Computer Science, (2018)
Bibtex
ATVA, pp.75-90, (2018)
J. Autom. Reasoning, no. 1-4 (2018): 73-111
Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle,Fabian Immler,Matthias Althoff,Eric Hilgendorf,Tobias Nipkow
IFM, pp.50-66, (2017)
Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle,Fabian Immler,Matthias Althoff,Eric Hilgendorf,Tobias Nipkow
integrated formal methods, (2017)
Cited by1Bibtex
NFM, pp.175-190, (2016)
conference on Interactive Theorem Proving, (2015)
NASA Formal Methods, pp.113-127, (2014)
ITP, pp.279-294, (2013)
ITP, pp.377-392, (2012)
View All