The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jochen Hoenicke" ( http://dblp.L3S.de/Authors/Jochen_Hoenicke )

URL (Homepage):  http://swt.informatik.uni-freiburg.de/staff/hoenicke  Author page on DBLP  Author page in RDF  Community of Jochen Hoenicke in ASPL-2

Publication years (Num. hits)
2002-2012 (19) 2013-2015 (15) 2016-2019 (15)
Publication types (Num. hits)
article(14) inproceedings(34) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(8) TACAS(5) VSTTE(3) CAV(2) FM(2) POPL(2) TACAS (2)(2) VMCAI(2) ATVA(1) CAV (2)(1) CONCUR(1) Correct System Design(1) Decision Procedures in Softwar...(1) FASE(1) FMCAD(1) Formal Asp. Comput.(1) More (+10 of total 30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 17 keywords

Results
Found 50 publication records. Showing 49 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski Ultimate TreeAutomizer (CHC-COMP Tool Description). Search on Bibsonomy HCVS/PERR@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jochen Hoenicke, Tanja Schindler Interpolation and the Array Property Fragment. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jochen Hoenicke, Tanja Schindler Solving and Interpolating Constant Arrays Based on Weak Equivalences. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Oded Padon, Jochen Hoenicke, Giuliano Losa, Andreas Podelski, Mooly Sagiv, Sharon Shoham Reducing liveness to safety in first-order logic. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jochen Hoenicke, Tanja Schindler Efficient Interpolation for the Theory of Arrays. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jochen Hoenicke, Alexander Nutz, Andreas Podelski A Tree-Based Approach to Data Flow Proofs. Search on Bibsonomy VSTTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski The Map Equality Domain. Search on Bibsonomy VSTTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jochen Hoenicke, Tanja Schindler Efficient Interpolation for the Theory of Arrays. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li 0031, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke, Alexander Nutz Proof Tree Preserving Interpolation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jochen Hoenicke, Rupak Majumdar, Andreas Podelski Thread modularity at many levels: a pearl in compositional verification. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke Proof Tree Preserving Tree Interpolation. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke Cutting the Mix. Search on Bibsonomy CAV (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jochen Hoenicke, Andreas Podelski Fairness for Infinitary Control. Search on Bibsonomy Correct System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski Automated Program Verification. Search on Bibsonomy LATA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke Weakly Equivalent Arrays. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski Linear Ranking for Linear Lasso Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Matthias Heizmann, Jochen Hoenicke, Andreas Podelski Termination Analysis by Learning Terminating Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke Weakly Equivalent Arrays. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Matthias Heizmann, Jochen Hoenicke, Andreas Podelski Termination Analysis by Learning Terminating Programs. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski Ultimate Kojak - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias 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). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke Weakly Equivalent Arrays. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Matthias Heizmann, Jochen Hoenicke, Andreas Podelski Software Model Checking for People Who Love Automata. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski Linear Ranking for Linear Lasso Programs. Search on Bibsonomy ATVA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke, Alexander Nutz Proof Tree Preserving Interpolation. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski Ultimate Automizer with SMTInterpol - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Amalinda Post, Igor Menzel, Jochen Hoenicke, Andreas Podelski Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. Search on Bibsonomy Requir. Eng. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke, Martin Schäf Towards Bounded Infeasible Code Detection Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Amalinda Post, Jochen Hoenicke Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH. Search on Bibsonomy VSTTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke, Alexander Nutz SMTInterpol: An Interpolating SMT Solver. Search on Bibsonomy SPIN The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Evren Ermis, Jochen Hoenicke, Andreas Podelski Splitting via Interpolants. Search on Bibsonomy VMCAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Amalinda Post, Jochen Hoenicke, Andreas Podelski Vacuous real-time requirements. Search on Bibsonomy RE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Amalinda Post, Jochen Hoenicke, Andreas Podelski rt-Inconsistency: A New Property for Real-Time Requirements. Search on Bibsonomy FASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies Doomed program points. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke Instantiation-Based Interpolation for Quantified Formulae. Search on Bibsonomy Decision Procedures in Software, Hardware and Bioware The full citation details ... 2010 DBLP  BibTeX  RDF
1Matthias Heizmann, Jochen Hoenicke, Andreas Podelski Nested interpolants. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF floyd-hoare logic, nested words, static analysis, interpolants, abstract interpretation, recursion, software model checking, abstraction refinement
1Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski Fairness for Dynamic Control. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jochen Hoenicke, Roland Meyer 0001, Ernst-Rüdiger Olderog Kleene, Rabin, and Scott Are Available. Search on Bibsonomy CONCUR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies It's Doomed; We Can Prove It. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthias Heizmann, Jochen Hoenicke, Andreas Podelski Refinement of Trace Abstraction. Search on Bibsonomy SAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roland Meyer 0001, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko Model checking Duration Calculus: a practical approach. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus
1Jochen Hoenicke Combination of processes, data, and time. Search on Bibsonomy 2006   RDF
1Jochen Hoenicke, Patrick Maier 0001 Model-Checking of Specifications Integrating Processes, Data and Time. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jochen Hoenicke, Ernst-Rüdiger Olderog CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. Search on Bibsonomy Nord. J. Comput. The full citation details ... 2002 DBLP  BibTeX  RDF
1Jochen Hoenicke, Ernst-Rüdiger Olderog Combining Specification Techniques for Processes, Data and Time. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL
Displaying result #1 - #49 of 49 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license