Matthias Heizmann

Cited by

	All	Since 2019
Citations	1816	1172
h-index	21	19
i10-index	32	26

240

120

180

20102011201220132014201520162017201820192020202120222023202410 15 20 33 37 96 130 134 150 158 182 184 228 205 213

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Daniel DietschUniversity FreiburgVerified email at informatik.uni-freiburg.de
Christian SchillingAssociate Professor at Aalborg UniversityVerified email at cs.aau.dk
Jan LeikeOpenAIVerified email at openai.com
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Matthias DanglLudwig-Maximilians-Universität MünchenVerified email at sosy.ifi.lmu.de
Marius GreitschusUniversity of FreiburgVerified email at informatik.uni-freiburg.de
Dominik KlumppUniversity of FreiburgVerified email at informatik.uni-freiburg.de
Max BarthLMUVerified email at lmu.de
Yu-Fang ChenResearch Fellow/Professor, Academia SinicaVerified email at iis.sinica.edu.tw
Yong LiInstitue of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Ming-Hsien TsaiNational Taiwan University of Science and TechnologyVerified email at mail.ntust.edu.tw
Giles RegerAmazon and University of ManchesterVerified email at manchester.ac.uk
Andreas StahlbauerUniversity of PassauVerified email at uni-passau.de
Azadeh FarzanAssociate Professor, University of TorontoVerified email at cs.toronto.edu
Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
David DeharbeCLEARSYVerified email at clearsy.com
Alexander NutzUniversity of FreiburgVerified email at informatik.uni-freiburg.de
Mehdi NaouarUniversity of FreiburgVerified email at cs.uni-freiburg.de
Vincent LangenfeldAlbert-Ludwigs University FreiburgVerified email at informatik.uni-freiburg.de

Matthias Heizmann

University of Stuttgart, Germany

Verified email at heizmann.name - Homepage

software verification automata theory termination analysis satisfiability modulo theories (SMT)


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Software model checking for people who love automata M Heizmann, J Hoenicke, A Podelski Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	199	2013
Nested interpolants M Heizmann, J Hoenicke, A Podelski ACM Sigplan Notices 45 (1), 471-482, 2010	135	2010
Refinement of trace abstraction M Heizmann, J Hoenicke, A Podelski International Static Analysis Symposium, 69-85, 2009	135	2009
Witness validation and stepwise testification across software verifiers D Beyer, M Dangl, D Dietsch, M Heizmann, A Stahlbauer Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015	132	2015
Correctness witnesses: Exchanging verification results between verifiers D Beyer, M Dangl, D Dietsch, M Heizmann Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	112	2016
Ranking Templates for Linear Loops M Heizmann, J Leike Logical Methods in Computer Science 11, 2015	101*	2015
Termination Analysis by Learning Terminating Programs M Heizmann, J Hoenicke, A Podelski CAV, 797--813, 2014	99	2014
Ultimate Automizer and the Search for Perfect Interpolants: (Competition Contribution) M Heizmann, YF Chen, D Dietsch, M Greitschus, J Hoenicke, Y Li, A Nutz, ... Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018	93	2018
Linear ranking for linear lasso programs M Heizmann, J Hoenicke, J Leike, A Podelski International Symposium on Automated Technology for Verification and …, 2013	67	2013
The SMT competition 2015–2018 T Weber, S Conchon, D Déharbe, M Heizmann, A Niemetz, G Reger Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 221-259, 2019	66	2019
Ultimate automizer with SMTInterpol M Heizmann, J Christ, D Dietsch, E Ermis, J Hoenicke, M Lindenmann, ... International Conference on Tools and Algorithms for the Construction and …, 2013	64	2013
Fairness modulo theory: A new approach to LTL software model checking D Dietsch, M Heizmann, V Langenfeld, A Podelski Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	52	2015
Advanced automata-based algorithms for program termination checking YF Chen, M Heizmann, O Lengál, Y Li, MH Tsai, A Turrini, L Zhang Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018	49	2018
Geometric nontermination arguments J Leike, M Heizmann International Conference on Tools and Algorithms for the Construction and …, 2018	45	2018
Complementing semi-deterministic Büchi automata F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai International Conference on Tools and Algorithms for the Construction and …, 2016	41	2016
Size-change termination and transition invariants M Heizmann, ND Jones, A Podelski International Static Analysis Symposium, 22-50, 2010	40	2010
Verification Witnesses D Beyer, M Dangl, D Dietsch, M Heizmann, A Stahlbauer Software Engineering 2016, 2016	35*	2016
Ultimate Automizer with array interpolation M Heizmann, D Dietsch, J Leike, B Musa, A Podelski International Conference on Tools and Algorithms for the Construction and …, 2015	34	2015
Ultimate Automizer with Two-track Proofs: (Competition Contribution) M Heizmann, D Dietsch, M Greitschus, J Leike, B Musa, C Schätzle, ... International Conference on Tools and Algorithms for the Construction and …, 2016	31	2016
Incremental verification using trace abstraction BC Rothenberg, D Dietsch, M Heizmann Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018	27	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors