Jochen Hoenicke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
14
Active years
2002–2023
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CADE | Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT. | Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler |
| 2023 | TACAS | Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). | Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schssele, Andreas Podelski |
| 2021 | VMCAI | Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching. | Jochen Hoenicke, Tanja Schindler |
| 2019 | RE | Scalable Analysis of Real-Time Requirements. | Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post |
| 2019 | VMCAI | Solving and Interpolating Constant Arrays Based on Weak Equivalences. | Jochen Hoenicke, Tanja Schindler |
| 2018 | CADE | Efficient Interpolation for the Theory of Arrays. | Jochen Hoenicke, Tanja Schindler |
| 2018 | FMCAD | Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems. | Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham |
| 2018 | TACAS | Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). | Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler |
| 2018 | TACAS | Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). | Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski |
| 2017 | POPL | Thread modularity at many levels: a pearl in compositional verification. | Jochen Hoenicke, Rupak Majumdar, Andreas Podelski |
| 2015 | CAV | Cutting the Mix. | Jrgen Christ, Jochen Hoenicke |
| 2015 | LATA | Automated Program Verification. | Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski |
| 2014 | CAV | Termination Analysis by Learning Terminating Programs. | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
| 2014 | TACAS | Ultimate Kojak - (Competition Contribution). | Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski |
| 2014 | TACAS | Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). | Matthias Heizmann, Jrgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski |
| 2013 | ATVA | Linear Ranking for Linear Lasso Programs. | Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski |
| 2013 | CAV | Software Model Checking for People Who Love Automata. | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
| 2013 | TACAS | Proof Tree Preserving Interpolation. | Jrgen Christ, Jochen Hoenicke, Alexander Nutz |
| 2013 | TACAS | Ultimate Automizer with SMTInterpol - (Competition Contribution). | Matthias Heizmann, Jrgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski |
| 2012 | VMCAI | Splitting via Interpolants. | Evren Ermis, Jochen Hoenicke, Andreas Podelski |
| 2011 | FASE | rt-Inconsistency: A New Property for Real-Time Requirements. | Amalinda Post, Jochen Hoenicke, Andreas Podelski |
| 2011 | RE | Vacuous real-time requirements. | Amalinda Post, Jochen Hoenicke, Andreas Podelski |
| 2010 | CONCUR | Kleene, Rabin, and Scott Are Available. | Jochen Hoenicke, Roland Meyer, Ernst-Rdiger Olderog |
| 2010 | POPL | Nested interpolants. | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
| 2010 | TACAS | Fairness for Dynamic Control. | Jochen Hoenicke, Ernst-Rdiger Olderog, Andreas Podelski |
| 2009 | FM | It's Doomed; We Can Prove It. | Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schf, Thomas Wies |
| 2009 | SAS | Refinement of Trace Abstraction. | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
| 2005 | FM | Model-Checking of Specifications Integrating Processes, Data and Time. | Jochen Hoenicke, Patrick Maier |
| 2002 | IFM | Combining Specification Techniques for Processes, Data and Time. | Jochen Hoenicke, Ernst-Rdiger Olderog |