Jochen Hoenicke

Available identifiers

Publication	Date of Publication	Type
Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT	2024-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q5016383	2021-12-13	Paper
Temporal prophecy for proving temporal properties of infinite-state systems	2021-12-08	Paper
Incremental search for conflict and unit instances of quantified formulas with E-matching	2021-10-18	Paper
Solving and interpolating constant arrays based on weak equivalences	2020-01-23	Paper
A tree-based approach to data flow proofs	2018-12-07	Paper
The map equality domain	2018-12-07	Paper
Efficient interpolation for the theory of arrays	2018-10-18	Paper
Cutting the mix	2018-03-01	Paper
Thread modularity at many levels: a pearl in compositional verification	2017-10-20	Paper
Weakly Equivalent Arrays	2017-02-27	Paper
Proof tree preserving tree interpolation	2016-05-25	Paper
Automated Program Verification	2016-04-08	Paper
Fairness for Infinitary Control	2015-11-04	Paper
Nested interpolants	2015-06-11	Paper
Linear Ranking for Linear Lasso Programs	2014-07-08	Paper
Proof Tree Preserving Interpolation	2013-08-05	Paper
Splitting via Interpolants	2012-06-15	Paper
Doomed program points	2011-03-31	Paper
Kleene, Rabin, and Scott Are Available	2010-08-31	Paper
Fairness for Dynamic Control	2010-04-27	Paper
Refinement of Trace Abstraction	2009-08-18	Paper
Model checking duration calculus: a practical approach	2008-08-21	Paper
FM 2005: Formal Methods	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4654725	2005-03-08	Paper
https://portal.mardi4nfdi.de/entity/Q4737563	2004-08-11	Paper

This page was built for person: Jochen Hoenicke