Travelled to:1 × Hungary
2 × Portugal
Collaborated with:S.Kupferschmid K.G.Larsen C.P.Gomes A.Sabharwal B.Selman K.Dräger B.Finkbeiner H.Dierks A.Podelski G.Behrmann
Talks about:model (3) abstract (2) direct (2) check (2) russian (1) practic (1) heurist (1) uppaal (1) theori (1) short (1)
Person: Jörg Hoffmann
DBLP: Hoffmann:J=ouml=rg
Contributed to:
2008
20072007Wrote 3 papers:
- TACAS-2008-KupferschmidHL #abstraction #model checking #performance
- Fast Directed Model Checking Via Russian Doll Abstraction (SK, JH, KGL), pp. 203–217.
- SAT-2007-GomesHSS #theory and practice
- Short XORs for Model Counting: From Theory to Practice (CPG, JH, AS, BS), pp. 100–106.
- TACAS-2007-KupferschmidDHFDPB #heuristic #model checking
- Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking (SK, KD, JH, BF, HD, AP, GB), pp. 679–682.