Travelled to:1 × USA
1 × United Kingdom
Collaborated with:R.Rajkumar J.P.Hansen L.Wrage S.Chaki M.H.Klein
Talks about:model (2) time (2) framework (1) statist (1) softwar (1) weaver (1) system (1) semant (1) import (1) sampl (1)
Person: Dionisio de Niz
DBLP: Niz:Dionisio_de
Contributed to:
2015
2003Wrote 2 papers:
- TACAS-2015-HansenWCNK #model checking #semantics #statistics
- Semantic Importance Sampling for Statistical Model Checking (JPH, LW, SC, DdN, MHK), pp. 241–255.
- LCTES-2003-NizR #embedded #framework #realtime
- Time weaver: a software-through-models framework for embedded real-time systems (DdN, RR), pp. 133–143.