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 × 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 DBLP: Hansen:Henri

Contributed to:

CAV 20142014
SEFM 20082008
TACAS 20042004
ASE 20172017

Wrote 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.
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.

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.