Jochen Hoenicke

Jürgen Christ, Jochen Hoenicke, Alexander Nutz: Proof Tree Preserving Interpolation. TACAS 2013: 124-138

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: 641-643

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): 19-33 (2012)

Jürgen Christ, Jochen Hoenicke, Alexander Nutz: SMTInterpol: An Interpolating SMT Solver. SPIN 2012: 248-254

Evren Ermis, Jochen Hoenicke, Andreas Podelski: Splitting via Interpolants. VMCAI 2012: 186-201

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

Jürgen Christ, Jochen Hoenicke, Martin Schäf: Towards Bounded Infeasible Code Detection. CoRR abs/1205.6527 (2012)

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

Amalinda Post, Jochen Hoenicke, Andreas Podelski: Vacuous real-time requirements. RE 2011: 153-162

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies: Doomed program points. Formal Methods in System Design 37(2-3): 171-199 (2010)

Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog: Kleene, Rabin, and Scott Are Available. CONCUR 2010: 462-477

Matthias Heizmann, Jochen Hoenicke, Andreas Podelski: Nested interpolants. POPL 2010: 471-482

Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski: Fairness for Dynamic Control. TACAS 2010: 251-265

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

Matthias Heizmann, Jochen Hoenicke, Andreas Podelski: Refinement of Trace Abstraction. SAS 2009: 69-85

Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko: Model checking Duration Calculus: a practical approach. Formal Asp. Comput. 20(4-5): 481-505 (2008)

Jochen Hoenicke: Combination of processes, data, and time. Carl von Ossietzky University of Oldenburg 2006, isbn kart., pp. 1-203

Jochen Hoenicke, Patrick Maier: Model-Checking of Specifications Integrating Processes, Data and Time. FM 2005: 465-480

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

Jochen Hoenicke, Ernst-Rüdiger Olderog: Combining Specification Techniques for Processes, Data and Time. IFM 2002: 245-266