BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Finland
1 × Germany
1 × Russia
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × Austria
2 × France
2 × Italy
3 × USA
Collaborated with:
A.Podelski M.Heizmann J.Christ E.Olderog A.Post E.Ermis A.Nutz P.Maier T.Schindler D.Dietsch R.Majumdar M.Lindenmann C.Schilling A.Farzan Z.Kincaid K.R.M.Leino M.Schäf T.Wies O.Padon G.Losa M.Sagiv S.Shoham B.Musa S.Wissert
Talks about:
interpol (5) time (4) contribut (3) competit (3) ultim (3) autom (3) program (2) process (2) termin (2) specif (2)

Person: Jochen Hoenicke

DBLP DBLP: Hoenicke:Jochen

Contributed to:

CAV 20152015
LATA 20152015
CAV 20142014
SMT 20142014
TACAS 20142014
CAV 20132013
TACAS 20132013
VMCAI 20122012
FASE 20112011
RE 20112011
POPL 20102010
TACAS 20102010
FM 20092009
SAS 20092009
FM 20052005
IFM 20022002
IJCAR 20182018
POPL 20172017
POPL 20182018

Wrote 21 papers:

Cutting the Mix (JC, JH), pp. 37–52.
LATA-2015-FarzanHHKP #automation #verification
Automated Program Verification (AF, MH, JH, ZK, AP), pp. 25–46.
CAV-2014-HeizmannHP #analysis #learning #source code #termination
Termination Analysis by Learning Terminating Programs (MH, JH, AP), pp. 797–813.
SMT-2014-ChristH #array
Weakly Equivalent Arrays (JC, JH), pp. 39–49.
TACAS-2014-ErmisNDHP #contest
Ultimate Kojak — (Competition Contribution) (EE, AN, DD, JH, AP), pp. 421–423.
TACAS-2014-HeizmannCDHLMSWP #contest #satisfiability
Ultimate Automizer with Unsatisfiable Cores — (Competition Contribution) (MH, JC, DD, JH, ML, BM, CS, SW, AP), pp. 418–420.
CAV-2013-HeizmannHP #automaton #model checking #people
Software Model Checking for People Who Love Automata (MH, JH, AP), pp. 36–52.
TACAS-2013-ChristHN #proving
Proof Tree Preserving Interpolation (JC, JH, AN), pp. 124–138.
TACAS-2013-HeizmannCDEHLNSP #contest
Ultimate Automizer with SMTInterpol — (Competition Contribution) (MH, JC, DD, EE, JH, ML, AN, CS, AP), pp. 641–643.
Splitting via Interpolants (EE, JH, AP), pp. 186–201.
FASE-2011-PostHP #named #realtime #requirements
rt-Inconsistency: A New Property for Real-Time Requirements (AP, JH, AP), pp. 34–49.
RE-2011-PostHP #realtime #requirements
Vacuous real-time requirements (AP, JH, AP), pp. 153–162.
Nested interpolants (MH, JH, AP), pp. 471–482.
Fairness for Dynamic Control (JH, ERO, AP), pp. 251–265.
It’s Doomed; We Can Prove It (JH, KRML, AP, MS, TW), pp. 338–353.
SAS-2009-HeizmannHP #abstraction #refinement
Refinement of Trace Abstraction (MH, JH, AP), pp. 69–85.
FM-2005-HoenickeM #model checking #process #specification
Model-Checking of Specifications Integrating Processes, Data and Time (JH, PM), pp. 465–480.
IFM-2002-HoenickeO #process #specification
Combining Specification Techniques for Processes, Data and Time (JH, ERO), pp. 245–266.
IJCAR-2018-HoenickeS #array #formal method #performance
Efficient Interpolation for the Theory of Arrays (JH, TS), pp. 549–565.
POPL-2017-HoenickeMP #composition #concurrent #thread #verification
Thread modularity at many levels: a pearl in compositional verification (JH, RM, AP), pp. 473–485.
POPL-2018-PadonHLPSS #first-order #liveness #logic #safety
Reducing liveness to safety in first-order logic (OP, JH, GL, AP, MS, SS), p. 33.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.