Personal information

No personal information available

Activities

Collapse all

Works (38)

Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching

VMCAI 2021
2021 | Conference paper | Author
DOI: 10.1007/978-3-030-67067-2_24
Part of ISBN: 9783030670665
Part of ISBN: 9783030670672
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Jochen Hoenicke; Tanja Schindler
Source: Self-asserted source
Jochen Hoenicke

Solving and Interpolating Constant Arrays Based on Weak Equivalences

VMCAI 2019
2019 | Conference paper
DOI: 10.1007/978-3-030-11245-5_14
Part of ISBN: 9783030112448
Part of ISBN: 9783030112455
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Jochen Hoenicke; Tanja Schindler
Source: Self-asserted source
Jochen Hoenicke

Scalable Analysis of Real-Time Requirements

2019 IEEE 27th International Requirements Engineering Conference (RE)
2019-09 | Conference paper
DOI: 10.1109/re.2019.00033
Contributors: Vincent Langenfeld; Daniel Dietsch; Bernd Westphal; Jochen Hoenicke; Amalinda Post
Source: Self-asserted source
Jochen Hoenicke

Ultimate TreeAutomizer (CHC-COMP Tool Description)

Electronic Proceedings in Theoretical Computer Science
2019-07-09 | Journal article
DOI: 10.4204/eptcs.296.7
Part of ISSN: 2075-2180
Contributors: Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Efficient Interpolation for the Theory of Arrays

Automated Reasoning
2018 | Other
DOI: 10.1007/978-3-319-94205-6_36
Part of ISBN: 9783319942049
Part of ISSN: 0302-9743
Contributors: Jochen Hoenicke; Tanja Schindler
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Ultimate Automizer and the Search for Perfect Interpolants

Tools and Algorithms for the Construction and Analysis of Systems
2018 | Other
DOI: 10.1007/978-3-319-89963-3_30
Part of ISBN: 9783319899626
Part of ISSN: 0302-9743
Contributors: Matthias Heizmann; Yu-Fang Chen; Daniel Dietsch; Marius Greitschus; Jochen Hoenicke; Yong Li; Alexander Nutz; Betim Musa; Christian Schilling; Tanja Schindler et al.
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Ultimate Taipan with Dynamic Block Encoding

Tools and Algorithms for the Construction and Analysis of Systems
2018 | Other
DOI: 10.1007/978-3-319-89963-3_31
Part of ISBN: 9783319899626
Part of ISSN: 0302-9743
Contributors: Daniel Dietsch; Marius Greitschus; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski; Christian Schilling; Tanja Schindler
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

2018 Formal Methods in Computer Aided Design (FMCAD)
2018-10 | Other
DOI: 10.23919/fmcad.2018.8603008
Contributors: Oded Padon; Jochen Hoenicke; Kenneth L. McMillan; Andreas Podelski; Mooly Sagiv; Sharon Shoham
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Reducing liveness to safety in first-order logic

Proceedings of the ACM on Programming Languages
2017 | Journal article
DOI: 10.1145/3158114
Part of ISSN: 2475-1421
Contributors: Oded Padon; Jochen Hoenicke; Giuliano Losa; Andreas Podelski; Mooly Sagiv; Sharon Shoham
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Thread modularity at many levels: a pearl in compositional verification

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017
2017 | Conference paper
DOI: 10.1145/3009837.3009893
Part of ISBN: 9781450346603
Contributors: Jochen Hoenicke; Rupak Majumdar; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Proof Tree Preserving Tree Interpolation

Journal of Automated Reasoning
2016-03-02 | Journal article
DOI: 10.1007/s10817-016-9365-5
Part of ISSN: 0168-7433
Contributors: Jürgen Christ; Jochen Hoenicke
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Automated Program Verification

Language and Automata Theory and Applications
2015 | Other
DOI: 10.1007/978-3-319-15579-1_2
Part of ISBN: 9783319155784
Part of ISSN: 0302-9743
Contributors: Azadeh Farzan; Matthias Heizmann; Jochen Hoenicke; Zachary Kincaid; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Cutting the Mix

Computer Aided Verification
2015 | Other
DOI: 10.1007/978-3-319-21668-3_3
Part of ISBN: 9783319216676
Part of ISSN: 0302-9743
Contributors: Jürgen Christ; Jochen Hoenicke
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Fairness for Infinitary Control

Correct System Design
2015 | Other
DOI: 10.1007/978-3-319-23506-6_5
Part of ISBN: 9783319235059
Part of ISSN: 0302-9743
Contributors: Jochen Hoenicke; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Weakly Equivalent Arrays

Frontiers of Combining Systems
2015 | Other
DOI: 10.1007/978-3-319-24246-0_8
Part of ISBN: 9783319242453
Part of ISSN: 0302-9743
Contributors: Jürgen Christ; Jochen Hoenicke
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Termination Analysis by Learning Terminating Programs

Computer Aided Verification
2014 | Other
DOI: 10.1007/978-3-319-08867-9_53
Part of ISBN: 9783319088662
Part of ISSN: 0302-9743
Contributors: Matthias Heizmann; Jochen Hoenicke; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Ultimate Automizer with Unsatisfiable Cores

Tools and Algorithms for the Construction and Analysis of Systems
2014 | Other
DOI: 10.1007/978-3-642-54862-8_35
Part of ISBN: 9783642548611
Part of ISSN: 0302-9743
Contributors: Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Jochen Hoenicke; Markus Lindenmann; Betim Musa; Christian Schilling; Stefan Wissert; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Ultimate Kojak

Tools and Algorithms for the Construction and Analysis of Systems
2014 | Other
DOI: 10.1007/978-3-642-54862-8_36
Part of ISBN: 9783642548611
Part of ISSN: 0302-9743
Contributors: Evren Ermis; Alexander Nutz; Daniel Dietsch; Jochen Hoenicke; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Linear Ranking for Linear Lasso Programs

Automated Technology for Verification and Analysis
2013 | Other
DOI: 10.1007/978-3-319-02444-8_26
Part of ISBN: 9783319024431
Part of ISSN: 0302-9743
Contributors: Matthias Heizmann; Jochen Hoenicke; Jan Leike; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Proof Tree Preserving Interpolation

Tools and Algorithms for the Construction and Analysis of Systems
2013 | Other
DOI: 10.1007/978-3-642-36742-7_9
Part of ISBN: 9783642367410
Part of ISSN: 0302-9743
Contributors: Jürgen Christ; Jochen Hoenicke; Alexander Nutz
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Software Model Checking for People Who Love Automata

Computer Aided Verification
2013 | Other
DOI: 10.1007/978-3-642-39799-8_2
Part of ISBN: 9783642397981
Part of ISSN: 0302-9743
Contributors: Matthias Heizmann; Jochen Hoenicke; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Ultimate Automizer with SMTInterpol

Tools and Algorithms for the Construction and Analysis of Systems
2013 | Other
DOI: 10.1007/978-3-642-36742-7_53
Part of ISBN: 9783642367410
Part of ISSN: 0302-9743
Contributors: Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Evren Ermis; Jochen Hoenicke; Markus Lindenmann; Alexander Nutz; Christian Schilling; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH

Verified Software: Theories, Tools, Experiments
2012 | Other
DOI: 10.1007/978-3-642-27705-4_18
Part of ISBN: 9783642277047
Part of ISSN: 0302-9743
Contributors: Amalinda Post; Jochen Hoenicke
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

SMTInterpol: An Interpolating SMT Solver

Model Checking Software
2012 | Other
DOI: 10.1007/978-3-642-31759-0_19
Part of ISBN: 9783642317583
Part of ISSN: 0302-9743
Contributors: Jürgen Christ; Jochen Hoenicke; Alexander Nutz
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Splitting via Interpolants

Verification, Model Checking, and Abstract Interpretation
2012 | Other
DOI: 10.1007/978-3-642-27940-9_13
Part of ISBN: 9783642279393
Part of ISSN: 0302-9743
Contributors: Evren Ermis; Jochen Hoenicke; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH

Requirements Engineering
2012-01 | Journal article
DOI: 10.1007/s00766-011-0145-9
Part of ISSN: 0947-3602
Contributors: Amalinda Post; Igor Menzel; Jochen Hoenicke; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

rt-Inconsistency: A New Property for Real-Time Requirements

Fundamental Approaches to Software Engineering
2011 | Other
DOI: 10.1007/978-3-642-19811-3_4
Part of ISBN: 9783642198106
Part of ISSN: 0302-9743
Contributors: Amalinda Post; Jochen Hoenicke; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Vacuous real-time requirements

2011 IEEE 19th International Requirements Engineering Conference
2011-08 | Conference paper
DOI: 10.1109/re.2011.6051657
Part of ISBN: 9781457709210
Contributors: Amalinda Post; Jochen Hoenicke; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Fairness for Dynamic Control

Tools and Algorithms for the Construction and Analysis of Systems
2010 | Other
DOI: 10.1007/978-3-642-12002-2_20
Part of ISBN: 9783642120015
Part of ISSN: 0302-9743
Contributors: Jochen Hoenicke; Ernst-Rüdiger Olderog; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Kleene, Rabin, and Scott Are Available

CONCUR 2010 - Concurrency Theory
2010 | Other
DOI: 10.1007/978-3-642-15375-4_32
Part of ISBN: 9783642153747
Part of ISSN: 0302-9743
Contributors: Jochen Hoenicke; Roland Meyer; Ernst-Rüdiger Olderog
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Nested interpolants

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10
2010 | Conference paper
DOI: 10.1145/1706299.1706353
Part of ISBN: 9781605584799
Contributors: Matthias Heizmann; Jochen Hoenicke; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Doomed program points

Formal Methods in System Design
2010-11 | Journal article
DOI: 10.1007/s10703-010-0102-0
Part of ISSN: 0925-9856
Contributors: Jochen Hoenicke; K. Rustan M. Leino; Andreas Podelski; Martin Schäf; Thomas Wies
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Nested interpolants

ACM SIGPLAN Notices
2010-01 | Journal article
DOI: 10.1145/1707801.1706353
Part of ISSN: 0362-1340
Contributors: Matthias Heizmann; Jochen Hoenicke; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

It’s Doomed; We Can Prove It

FM 2009: Formal Methods
2009 | Other
DOI: 10.1007/978-3-642-05089-3_22
Part of ISBN: 9783642050886
Part of ISSN: 0302-9743
Contributors: Jochen Hoenicke; K. Rustan M. Leino; Andreas Podelski; Martin Schäf; Thomas Wies
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Refinement of Trace Abstraction

Static Analysis
2009 | Other
DOI: 10.1007/978-3-642-03237-0_7
Part of ISBN: 9783642032363
Part of ISSN: 0302-9743
Contributors: Matthias Heizmann; Jochen Hoenicke; Andreas Podelski
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Model checking Duration Calculus: a practical approach

Formal Aspects of Computing
2008-05-06 | Journal article
DOI: 10.1007/s00165-008-0082-7
Part of ISSN: 0934-5043
Contributors: Roland Meyer; Johannes Faber; Jochen Hoenicke; Andrey Rybalchenko
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Model-Checking of Specifications Integrating Processes, Data and Time

FM 2005: Formal Methods
2005 | Other
DOI: 10.1007/11526841_31
Part of ISBN: 9783540278825
Part of ISSN: 0302-9743
Contributors: Jochen Hoenicke; Patrick Maier
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search

Combining Specification Techniques for Processes, Data and Time

Integrated Formal Methods
2002 | Other
DOI: 10.1007/3-540-47884-1_14
Part of ISBN: 9783540437031
Part of ISSN: 0302-9743
Contributors: Jochen Hoenicke; Ernst-Rüdiger Olderog
Source: Self-asserted source
Jochen Hoenicke via Crossref Metadata Search
How many people are using ORCID?