Jochen Hoenicke

ORCID

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 26

Top Venues

Carl von Ossietzky University of Oldenburg (PHD)

Education History

Carl von Ossietzky University of Oldenburg

PHD

Publications

Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
Choose your Colour: Tree Interpolation for Quantified Formulas in SMT. CoRR (2023)
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). TACAS (2) (2023)
Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT. CADE (2023)
Jochen Hoenicke, Tanja Schindler
A Simple Proof Format for SMT. SMT (2022)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
Separating Map Variables in a Logic-Based Intermediate Verification Language. NETYS (2021)
Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality. SMT (2021)
Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham
Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems. CoRR (2021)
Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham
Temporal prophecy for proving temporal properties of infinite-state systems. Formal Methods Syst. Des. 57 (2) (2021)
Jochen Hoenicke, Tanja Schindler
Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching. VMCAI (2021)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
Ultimate TreeAutomizer (CHC-COMP Tool Description). HCVS/PERR@ETAPS (2019)
Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post
Scalable Analysis of Real-Time Requirements. RE (2019)
Jochen Hoenicke, Tanja Schindler
Interpolation and the Array Property Fragment. CoRR (2019)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages. CoRR (2019)
Jochen Hoenicke, Tanja Schindler
Solving and Interpolating Constant Arrays Based on Weak Equivalences. VMCAI (2019)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
The Map Equality Domain. VSTTE (2018)
Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham
Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems. FMCAD (2018)
Jochen Hoenicke, Tanja Schindler
Efficient Interpolation for the Theory of Arrays. CoRR (2018)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). TACAS (2) (2018)
Jochen Hoenicke, Alexander Nutz, Andreas Podelski
A Tree-Based Approach to Data Flow Proofs. VSTTE (2018)
Oded Padon, Jochen Hoenicke, Giuliano Losa, Andreas Podelski, Mooly Sagiv, Sharon Shoham
Reducing liveness to safety in first-order logic. Proc. ACM Program. Lang. 2 (POPL) (2018)
Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler
Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). TACAS (2) (2018)
Jochen Hoenicke, Tanja Schindler
Efficient Interpolation for the Theory of Arrays. IJCAR (2018)
Jochen Hoenicke, Rupak Majumdar, Andreas Podelski
Thread modularity at many levels: a pearl in compositional verification. POPL (2017)
Jochen Hoenicke, Tanja Schindler
Efficient Interpolation for the Theory of Arrays. SMT (2017)
Jürgen Christ, Jochen Hoenicke, Alexander Nutz
Proof Tree Preserving Interpolation. CoRR (2017)
Jürgen Christ, Jochen Hoenicke
Proof Tree Preserving Tree Interpolation. J. Autom. Reason. 57 (1) (2016)
Jürgen Christ, Jochen Hoenicke
Weakly Equivalent Arrays. FroCos (2015)
Jürgen Christ, Jochen Hoenicke
Cutting the Mix. CAV (2) (2015)
Jochen Hoenicke, Andreas Podelski
Fairness for Infinitary Control. Correct System Design (2015)
Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski
Automated Program Verification. LATA (2015)
Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski
Linear Ranking for Linear Lasso Programs. CoRR (2014)
Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski
Ultimate Kojak - (Competition Contribution). TACAS (2014)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). TACAS (2014)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Termination Analysis by Learning Terminating Programs. CAV (2014)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Termination Analysis by Learning Terminating Programs. CoRR (2014)
Jürgen Christ, Jochen Hoenicke
Weakly Equivalent Arrays. SMT (2014)
Jürgen Christ, Jochen Hoenicke
Weakly Equivalent Arrays. CoRR (2014)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Software Model Checking for People Who Love Automata. CAV (2013)
Jürgen Christ, Jochen Hoenicke, Alexander Nutz
Proof Tree Preserving Interpolation. TACAS (2013)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski
Ultimate Automizer with SMTInterpol - (Competition Contribution). TACAS (2013)
Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski
Linear Ranking for Linear Lasso Programs. ATVA (2013)
Jürgen Christ, Jochen Hoenicke, Alexander Nutz
SMTInterpol: An Interpolating SMT Solver. SPIN (2012)
Amalinda Post, Jochen Hoenicke
Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH. VSTTE (2012)
Evren Ermis, Jochen Hoenicke, Andreas Podelski
Splitting via Interpolants. VMCAI (2012)
Jürgen Christ, Jochen Hoenicke, Martin Schäf
Towards Bounded Infeasible Code Detection CoRR (2012)
Amalinda Post, Igor Menzel, Jochen Hoenicke, Andreas Podelski
Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. Requir. Eng. 17 (1) (2012)
Amalinda Post, Jochen Hoenicke, Andreas Podelski
rt-Inconsistency: A New Property for Real-Time Requirements. FASE (2011)
Amalinda Post, Jochen Hoenicke, Andreas Podelski
Vacuous real-time requirements. RE (2011)
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies
Doomed program points. Formal Methods Syst. Des. 37 (2-3) (2010)
Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski
Fairness for Dynamic Control. TACAS (2010)
Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog
Kleene, Rabin, and Scott Are Available. CONCUR (2010)
Jürgen Christ, Jochen Hoenicke
Instantiation-Based Interpolation for Quantified Formulae. Decision Procedures in Software, Hardware and Bioware (2010)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Nested interpolants. POPL (2010)
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies
It's Doomed; We Can Prove It. FM (2009)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Refinement of Trace Abstraction. SAS (2009)
Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko
Model checking Duration Calculus: a practical approach. Formal Aspects Comput. 20 (4-5) (2008)
Jochen Hoenicke, Patrick Maier
Model-Checking of Specifications Integrating Processes, Data and Time. FM (2005)
Jochen Hoenicke, Ernst-Rüdiger Olderog
CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. Nord. J. Comput. 9 (4) (2002)
Jochen Hoenicke, Ernst-Rüdiger Olderog
Combining Specification Techniques for Processes, Data and Time. IFM (2002)

Jochen Hoenicke.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jochen Hoenicke