Travelled to:1 × Estonia
1 × USA
1 × United Kingdom
Collaborated with:T.Nipkow M.Eberl G.Arnold A.S.Köksal R.Bodík M.Sagiv
Talks about:verifi (3) function (1) specifi (1) probabl (1) densiti (1) matrix (1) compil (1) spars (1) model (1) check (1)
Person: Johannes Hölzl
DBLP: H=ouml=lzl:Johannes
Contributed to:
2015
2012
2010Wrote 3 papers:
- ESOP-2015-EberlHN #compilation #probability
- A Verified Compiler for Probability Density Functions (ME, JH, TN), pp. 80–104.
- TACAS-2012-HolzlN #model checking #verification
- Verifying pCTL Model Checking (JH, TN), pp. 347–361.
- ICFP-2010-ArnoldHKBS #matrix #specification #verification
- Specifying and verifying sparse matrix codes (GA, JH, ASK, RB, MS), pp. 249–260.