Jochen Hoenicke
发表
Jochen Hoenicke,
Ernst-Rüdiger Olderog,
E. Olderog,
1998,
ZUM.
Jochen Hoenicke,
Ernst-Rüdiger Olderog,
E. Olderog,
2002,
Nord. J. Comput..
Jochen Hoenicke,
Andreas Podelski,
Zachary Kincaid,
2015,
Lecture Notes in Computer Science.
Jochen Hoenicke,
Tanja Schindler,
2019,
VMCAI.
Jochen Hoenicke,
Andreas Podelski,
Shmuel Sagiv,
2017,
Proc. ACM Program. Lang..
Jochen Hoenicke,
Jürgen Christ,
Jochen Hoenicke,
2015,
CAV.
Jochen Hoenicke,
Tanja Schindler,
Tanja I. Schindler,
2019,
ArXiv.
Jochen Hoenicke,
Andreas Podelski,
Amalinda Post,
2011,
2011 IEEE 19th International Requirements Engineering Conference.
Jochen Hoenicke,
Andreas Podelski,
Matthias Heizmann,
2018,
VSTTE.
Jochen Hoenicke,
Tanja Schindler,
Tanja I. Schindler,
2021,
VMCAI.
Jochen Hoenicke,
Jürgen Christ,
2010,
Decision Procedures in Software, Hardware and Bioware.
Jochen Hoenicke,
Andreas Podelski,
Evren Ermis,
2012,
VMCAI.
Jochen Hoenicke,
Jochen Hoenicke,
2006
.
Jochen Hoenicke,
2007
.
Jochen Hoenicke,
Andreas Podelski,
Matthias Heizmann,
2013,
CAV.
Jochen Hoenicke,
Alexander Nutz,
Jürgen Christ,
2013,
TACAS.
Jochen Hoenicke,
Alexander Nutz,
Jürgen Christ,
2012,
SPIN.
Jochen Hoenicke,
Andreas Podelski,
Rupak Majumdar,
2017,
POPL.
Jochen Hoenicke,
Andreas Podelski,
Amalinda Post,
2011,
Requirements Engineering.
Jochen Hoenicke,
Andreas Podelski,
Kenneth L. McMillan,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Jochen Hoenicke,
Christian Schilling,
Andreas Podelski,
2014,
TACAS.
Jochen Hoenicke,
Martin Schäf,
Jürgen Christ,
2012,
ArXiv.
Jochen Hoenicke,
2007
.
Jochen Hoenicke,
Amalinda Post,
2012,
VSTTE.
Jochen Hoenicke,
Andreas Podelski,
Alexander Nutz,
2014,
TACAS.
Jochen Hoenicke,
Andreas Podelski,
Thomas Wies,
2009,
FM.
Jochen Hoenicke,
Andreas Podelski,
Matthias Heizmann,
2013,
ATVA.
Jochen Hoenicke,
Andreas Podelski,
Matthias Heizmann,
2014,
CAV.
Jochen Hoenicke,
Andreas Podelski,
2015,
Correct System Design.
Jochen Hoenicke,
Jochen Hoenicke,
2007
.
Jochen Hoenicke,
Andreas Podelski,
Matthias Heizmann,
2010,
POPL '10.
Jochen Hoenicke,
Roland Meyer,
Johannes Faber,
2006,
Formal Aspects of Computing.
Jochen Hoenicke,
Andreas Podelski,
Amalinda Post,
2011,
FASE.
Jochen Hoenicke,
Andreas Podelski,
Zachary Kincaid,
2015,
LATA.
Jochen Hoenicke,
Jürgen Christ,
2016,
Journal of Automated Reasoning.
Jochen Hoenicke,
Daniel Dietsch,
Amalinda Post,
2019,
2019 IEEE 27th International Requirements Engineering Conference (RE).
Jochen Hoenicke,
Christian Schilling,
Andreas Podelski,
2018,
TACAS.
Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages
pdf
Jochen Hoenicke,
Andreas Podelski,
Matthias Heizmann,
2019,
ArXiv.
Jochen Hoenicke,
Andreas Podelski,
Matthias Heizmann,
2009,
SAS.
Jochen Hoenicke,
Ernst-Rüdiger Olderog,
Andreas Podelski,
2010,
TACAS.
Jochen Hoenicke,
Ernst-Rüdiger Olderog,
Roland Meyer,
2010,
CONCUR.
Jochen Hoenicke,
Andreas Podelski,
Matthias Heizmann,
2019,
HCVS/PERR@ETAPS.
Jochen Hoenicke,
Christian Schilling,
Andreas Podelski,
2018,
TACAS.
Jochen Hoenicke,
Christian Schilling,
Andreas Podelski,
2013,
TACAS.
Jochen Hoenicke,
Andreas Podelski,
Alexander Nutz,
2018,
VSTTE.
Jochen Hoenicke,
Tanja Schindler,
Tanja I. Schindler,
2018,
SMT.
Jochen Hoenicke,
Jürgen Christ,
Jochen Hoenicke,
2014,
SMT.
Jochen Hoenicke,
Andreas Podelski,
Thomas Wies,
2010,
Formal Methods Syst. Des..
Jochen Hoenicke,
Patrick Maier,
Jochen Hoenicke,
2005,
FM.
Jochen Hoenicke,
Andreas Podelski,
Kenneth L. McMillan,
2021,
Formal Methods Syst. Des..
Jochen Hoenicke,
Tanja Schindler,
Elisabeth Henkel,
2021,
SMT.
Jochen Hoenicke,
Andreas Podelski,
Matthias Heizmann,
2021,
NETYS.
Jochen Hoenicke,
Andreas Podelski,
Rupak Majumdar,
2017,
POPL.