Travelled to:1 × USA
1 × United Kingdom
Collaborated with:M.Sekine L.Wrage S.Chaki D.d.Niz M.H.Klein
Talks about:translat (1) synthesi (1) spectral (1) statist (1) diagram (1) boolean (1) semant (1) import (1) sampl (1) model (1)
Person: Jeffery P. Hansen
DBLP: Hansen:Jeffery_P=
Contributed to:
2015
1996Wrote 2 papers:
- TACAS-2015-HansenWCNK #model checking #semantics #statistics
- Semantic Importance Sampling for Statistical Model Checking (JPH, LW, SC, DdN, MHK), pp. 241–255.
- DAC-1996-HansenS #diagrams #synthesis #using
- Synthesis by Spectral Translation Using Boolean Decision Diagrams (JPH, MS), pp. 248–253.