Jochen Hoenicke

According to our database1, Jochen Hoenicke authored at least 42 papers between 2002 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Reducing liveness to safety in first-order logic.
PACMPL, 2018

Efficient Interpolation for the Theory of Arrays.
CoRR, 2018

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Efficient Interpolation for the Theory of Arrays.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017
Proof Tree Preserving Interpolation.
CoRR, 2017

Thread modularity at many levels: a pearl in compositional verification.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
Proof Tree Preserving Tree Interpolation.
J. Autom. Reasoning, 2016

2015
Automated Program Verification.
Proceedings of the Language and Automata Theory and Applications, 2015

Weakly Equivalent Arrays.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Cutting the Mix.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Fairness for Infinitary Control.
Proceedings of the Correct System Design, 2015

2014
Termination Analysis by Learning Terminating Programs.
CoRR, 2014

Linear Ranking for Linear Lasso Programs.
CoRR, 2014

Weakly Equivalent Arrays.
CoRR, 2014

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Ultimate Kojak - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Weakly Equivalent Arrays.
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

Termination Analysis by Learning Terminating Programs.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Ultimate Automizer with SMTInterpol - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Proof Tree Preserving Interpolation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Software Model Checking for People Who Love Automata.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Linear Ranking for Linear Lasso Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH.
Requir. Eng., 2012

Towards Bounded Infeasible Code Detection
CoRR, 2012

Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Splitting via Interpolants.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

SMTInterpol: An Interpolating SMT Solver.
Proceedings of the Model Checking Software - 19th International Workshop, 2012

2011
Vacuous real-time requirements.
Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

rt-Inconsistency: A New Property for Real-Time Requirements.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010
Doomed program points.
Formal Methods in System Design, 2010

Fairness for Dynamic Control.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Nested interpolants.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Instantiation-Based Interpolation for Quantified Formulae.
Proceedings of the Decision Procedures in Software, Hardware and Bioware, 18.04., 2010

Kleene, Rabin, and Scott Are Available.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Refinement of Trace Abstraction.
Proceedings of the Static Analysis, 16th International Symposium, 2009

It's Doomed; We Can Prove It.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Model checking Duration Calculus: a practical approach.
Formal Asp. Comput., 2008

2006
Combination of processes, data, and time.
PhD thesis, 2006

2005
Model-Checking of Specifications Integrating Processes, Data and Time.
Proceedings of the FM 2005: Formal Methods, 2005

2002
CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time.
Nord. J. Comput., 2002

Combining Specification Techniques for Processes, Data and Time.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002


  Loading...