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 × 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 DBLP: Barbot:Beno=icirc=t

Contributed to:

TACAS 20122012
TACAS 20112011

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

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.