Travelled to:1 × Austria
1 × South Africa
1 × Spain
Collaborated with:J.Geldenhuys S.Lin Y.Liu T.K.Nguyen J.Sun H.Virtanen A.Valmari J.Nieminen T.Erkkilä J.S.0001 H.Xiao Y.L.0003 D.Sanán
Talks about:counterexampl (1) transform (1) interpol (1) backward (1) automata (1) abstract (1) partial (1) forward (1) diamond (1) between (1)
Person: Henri Hansen
DBLP: Hansen:Henri
Contributed to:
2014
2008
2004
2017Wrote 4 papers:
- CAV-2014-HansenLLN0 #abstraction #automaton #partial order #reduction #women
- Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions (HH, SWL, YL, TKN, JS), pp. 391–406.
- SEFM-2008-HansenG
- Cheap and Small Counterexamples (HH, JG), pp. 53–62.
- TACAS-2004-VirtanenHVNE #verification
- Tampere Verification Tool (HV, HH, AV, JN, TE), pp. 153–157.
- ASE-2017-LinSXLSH #invariant #named
- FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers (SWL, JS0, HX, YL0, DS, HH), pp. 793–803.