Combining Specification Techniques for Processes, Data and Time. - Jochen Hoenicke; Ernst-Rüdiger Olderog (IFM, 2002)

CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. - Jochen Hoenicke; Ernst-Rüdiger Olderog (Nord. J. Comput., 2002)

Model-Checking of Specifications Integrating Processes, Data and Time. - Jochen Hoenicke; Patrick Maier 001 (FM, 2005)

Combination of processes, data, and time. - Jochen Hoenicke (2006)

Model checking Duration Calculus: a practical approach. - Roland Meyer 001; Johannes Faber; Jochen Hoenicke; Andrey Rybalchenko (Formal Aspects Comput., 2008)

It's Doomed; We Can Prove It. - Jochen Hoenicke; K. Rustan M. Leino; Andreas Podelski; Martin Schäf; Thomas Wies (FM, 2009)

Refinement of Trace Abstraction. - Matthias Heizmann; Jochen Hoenicke; Andreas Podelski (SAS, 2009)

Kleene, Rabin, and Scott Are Available. - Jochen Hoenicke; Roland Meyer 001; Ernst-Rüdiger Olderog (CONCUR, 2010)

Instantiation-Based Interpolation for Quantified Formulae. - Jürgen Christ; Jochen Hoenicke (Decision Procedures in Software, Hardware and Bioware, 2010)

Nested interpolants. - Matthias Heizmann; Jochen Hoenicke; Andreas Podelski (POPL, 2010)

Fairness for Dynamic Control. - Jochen Hoenicke; Ernst-Rüdiger Olderog; Andreas Podelski (TACAS, 2010)

Doomed program points. - Jochen Hoenicke; K. Rustan M. Leino; Andreas Podelski; Martin Schäf; Thomas Wies (Formal Methods Syst. Des., 2010)

rt-Inconsistency: A New Property for Real-Time Requirements. - Amalinda Post; Jochen Hoenicke; Andreas Podelski (FASE, 2011)

Vacuous real-time requirements. - Amalinda Post; Jochen Hoenicke; Andreas Podelski (RE, 2011)

SMTInterpol: An Interpolating SMT Solver. - Jürgen Christ; Jochen Hoenicke; Alexander Nutz (SPIN, 2012)

Splitting via Interpolants. - Evren Ermis; Jochen Hoenicke; Andreas Podelski (VMCAI, 2012)

Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH. - Amalinda Post; Jochen Hoenicke (VSTTE, 2012)

Towards Bounded Infeasible Code Detection - Jürgen Christ; Jochen Hoenicke; Martin Schäf (CoRR, 2012)

Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. - Amalinda Post; Igor Menzel; Jochen Hoenicke; Andreas Podelski (Requir. Eng., 2012)

Linear Ranking for Linear Lasso Programs. - Matthias Heizmann; Jochen Hoenicke; Jan Leike; Andreas Podelski (ATVA, 2013)

Software Model Checking for People Who Love Automata. - Matthias Heizmann; Jochen Hoenicke; Andreas Podelski (CAV, 2013)

Proof Tree Preserving Interpolation. - Jürgen Christ; Jochen Hoenicke; Alexander Nutz (TACAS, 2013)

Ultimate Automizer with SMTInterpol - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Evren Ermis; Jochen Hoenicke; Markus Lindenmann; Alexander Nutz; Christian Schilling 001; Andreas Podelski (TACAS, 2013)

Termination Analysis by Learning Terminating Programs. - Matthias Heizmann; Jochen Hoenicke; Andreas Podelski (CAV, 2014)

Ultimate Kojak - (Competition Contribution). - Evren Ermis; Alexander Nutz; Daniel Dietsch; Jochen Hoenicke; Andreas Podelski (TACAS, 2014)

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Jochen Hoenicke; Markus Lindenmann; Betim Musa; Christian Schilling 001; Stefan Wissert; Andreas Podelski (TACAS, 2014)

Fairness for Infinitary Control. - Jochen Hoenicke; Andreas Podelski (Correct System Design, 2015)

Cutting the Mix. - Jürgen Christ; Jochen Hoenicke (CAV (2), 2015)

Weakly Equivalent Arrays. - Jürgen Christ; Jochen Hoenicke (FroCos, 2015)

Automated Program Verification. - Azadeh Farzan; Matthias Heizmann; Jochen Hoenicke; Zachary Kincaid; Andreas Podelski (LATA, 2015)

Proof Tree Preserving Tree Interpolation. - Jürgen Christ; Jochen Hoenicke (J. Autom. Reason., 2016)

Thread modularity at many levels: a pearl in compositional verification. - Jochen Hoenicke; Rupak Majumdar; Andreas Podelski (POPL, 2017)

Efficient Interpolation for the Theory of Arrays. - Jochen Hoenicke; Tanja Schindler (SMT, 2017)

Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). - Daniel Dietsch; Marius Greitschus; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski; Christian Schilling 001; Tanja Schindler (TACAS (2), 2018)

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). - Matthias Heizmann; Yu-Fang Chen 001; Daniel Dietsch; Marius Greitschus; Jochen Hoenicke; Yong Li 031; Alexander Nutz; Betim Musa; Christian Schilling 001; Tanja Schindler; Andreas Podelski (TACAS (2), 2018)

The Map Equality Domain. - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (VSTTE, 2018)

A Tree-Based Approach to Data Flow Proofs. - Jochen Hoenicke; Alexander Nutz; Andreas Podelski (VSTTE, 2018)

Reducing liveness to safety in first-order logic. - Oded Padon; Jochen Hoenicke; Giuliano Losa; Andreas Podelski; Mooly Sagiv; Sharon Shoham (Proc. ACM Program. Lang., 2018)

Scalable Analysis of Real-Time Requirements. - Vincent Langenfeld; Daniel Dietsch; Bernd Westphal; Jochen Hoenicke; Amalinda Post (RE, 2019)

Solving and Interpolating Constant Arrays Based on Weak Equivalences. - Jochen Hoenicke; Tanja Schindler (VMCAI, 2019)

Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages. - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (CoRR, 2019)

Interpolation and the Array Property Fragment. - Jochen Hoenicke; Tanja Schindler (CoRR, 2019)

Ultimate TreeAutomizer (CHC-COMP Tool Description). - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (HCVS/PERR@ETAPS, 2019)

Separating Map Variables in a Logic-Based Intermediate Verification Language. - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (NETYS, 2021)

Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality. - Elisabeth Henkel; Jochen Hoenicke; Tanja Schindler (SMT, 2021)

Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching. - Jochen Hoenicke; Tanja Schindler (VMCAI, 2021)

Temporal prophecy for proving temporal properties of infinite-state systems. - Oded Padon; Jochen Hoenicke; Kenneth L. McMillan; Andreas Podelski; Mooly Sagiv; Sharon Shoham (Formal Methods Syst. Des., 2021)

A Simple Proof Format for SMT. - Jochen Hoenicke; Tanja Schindler (SMT, 2022)

Ultimate Automizer (SV-COMP 2022 - Modified). - Matthias Heizmann; Max Barth; Daniel Dietsch; Leonard Fichtner; Jochen Hoenicke; Dominik Klumpp; Mehdi Naouar; Tanja Schindler; Frank Schüssele; Andreas Podelski (Zenodo, 2022)

Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT. - Elisabeth Henkel; Jochen Hoenicke; Tanja Schindler (CADE, 2023)

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 Schüssele; Andreas Podelski (TACAS (2), 2023)