1
0
0
(1 - 26 von 29
)
Jochen Hoenicke | University of Freiburg | 59 PublicationsTypeset
typeset.io
Jochen Hoenicke is an academic researcher from University of Freiburg. The author has contributed to research in topic(s): Interpolation & Model checking.
AUTHORS - platform/external/grubGoogle Open Source
android.googlesource.com
Jochen Hoenicke rewrote stage2/fsys_fat.c and wrote. stage2/fsys_reiserfs.c and stage2/md5.c. Christoph Plattner added support for Net Boot Image Proposal.
FM 2005: Formal Methods: International Symposium of Formal ...google.com
books.google.com
... model the Object-Z state variables, Model Checking Model-Checking of Specifications Integrating Processes, Data and Time Jochen Hoenicke, Patrick Maier.
Tools and Algorithms for the Construction and Analysis of ...google.com
books.google.com
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, and Andreas Podelski ...
Verification, Model Checking, and Abstract Interpretation: ...google.com
books.google.com
Splitting via Interpolants⋆ Evren Ermis, Jochen Hoenicke, and Andreas Podelski University of Freiburg {ermis,hoenicke ...
authors - OpenPKG Download Repository
download.openpkg.org
Jochen Hoenicke &-Oldenburg.DE><p><div> Jochen Hoenicke &-Oldenburg.DE> ...
Verified Software. Theories, Tools, and Experiments: 10th ...google.com
books.google.com
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, and Andreas Podelski Loop Detection by Logically Constrained Term Rewriting .
ZB 2005: Formal Specification and Development in Z and B: ...google.com
books.google.com
We would like to thank Jochen Hoenicke for numerous discussions on the definition of a state- and event-based interval logic and for a careful reading of ...
Automated Technology for Verification and Analysis: 10th...
books.google.de
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012,...
Computer Aided Verification: 25th International Conference, CAV 2013,...
books.google.de
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV held in St. Petersburg,...
FM 2005: Formal Methods: International Symposium of Formal Methods...
books.google.de
448 Model Checking Model-Checking of Specifications Integrating Processes, Data and Time Jochen Hoenicke, Patrick Maier Automatic ...
Integrated Formal Methods: Third International Conference, IFM 2002,...
books.google.de
Berlin, Juli Shaker Verlag ... An Integration of Real-Time Object-Z and CSP for Specifying Concurrent 266 Jochen Hoenicke and Ernst-Rüdiger Olderog.
Model Checking Software: 19th International SPIN Workshop, Oxford,...
books.google.de
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in...
Tools and Algorithms for the Construction and Analysis of ...books.google.de › books
books.google.de
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, and Andreas ...
Verification, Model Checking, and Abstract Interpretation: ...books.google.de › books
books.google.de
... Giacobazzi Orna Grumberg Klaus Havelund Jochen Hoenicke Sebastian Hunt Limin Jia Andy King Arun Lakhotia Akash Lal Rupak Majumdar Matthieu Martel ...
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles,...
books.google.de
This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014,...
ZB 2005: Formal Specification and Development in Z and B: ...books.google.de › books
books.google.de
We would like to thank Jochen Hoenicke for numerous discussions on the definition of a state- and event-based interval logic and for a careful reading of the ...
Verification, Model Checking, and Abstract Interpretation: 13th
books.google.com.br
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012,...
Verified Software: Theories, Tools, Experiments: 4th International...
books.google.de
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in...
Automated Reasoning: 9th International Joint Conference, IJCAR ...books.google.com.br › books
books.google.com.br
Efficient Interpolation for the Theory of Arrays Jochen Hoenicke(B) and Tanja Schindler(B) University of Freiburg, Freiburg, Germany {hoenicke ...
Automated Reasoning: 9th International Joint Conference, IJCAR 2018,...
books.google.de
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in...
Verification, Model Checking, and Abstract Interpretation: 20th ...books.google.com › books
books.google.com
Solving and Interpolating Constant Arrays Based on Weak Equivalences Jochen Hoenicke(B) and Tanja Schindler(B) University of Freiburg, Freiburg im Breisgau, ...
Frontiers of Combining Systems: 10th International Symposium, FroCoS...
books.google.de
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September...
Verification, Model Checking, and Abstract Interpretation: ...
books.google.de
Solving and Interpolating Constant Arrays Based on Weak Equivalences Jochen Hoenicke(B) and Tanja Schindler(B) University of Freiburg, Freiburg im ...
sortiert nach Relevanz / Datum