Travelled to:1 × Estonia
1 × Germany
Collaborated with:S.Haddad C.Picaronny T.Chen T.Han J.Katoen A.Mereacre
Talks about:model (2) check (2) statist (1) object (1) linear (1) import (1) effici (1) sampl (1) coupl (1) time (1)
Person: Benoît Barbot
DBLP: Barbot:Beno=icirc=t
Contributed to:
20122011Wrote 2 papers:
- TACAS-2012-BarbotHP #model checking #statistics
- Coupling and Importance Sampling for Statistical Model Checking (BB, SH, CP), pp. 331–346.
- TACAS-2011-BarbotCHKM #linear #model checking #performance #realtime
- Efficient CTMC Model Checking of Linear Real-Time Objectives (BB, TC, TH, JPK, AM), pp. 128–142.