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 × Canada
1 × France
1 × Germany
1 × Italy
Collaborated with:
M.Leuschel L.Doyen M.Shirmohammadi A.Genon C.Meuter A.Currie
Talks about:
model (3) check (3) ltl (2) specialis (1) interpret (1) distribut (1) algorithm (1) synchron (1) abstract (1) sequenc (1)

♂ Person: Thierry Massart

DBLP DBLP: Massart:Thierry

Facilitated 1 volumes:

ASE 2010TuCh

Contributed to:

FoSSaCS 20142014
FM 20062006
FME 20012001
LOPSTR 19991999

Wrote 4 papers:

FoSSaCS-2014-0001MS #markov #process
Limit Synchronization in Markov Decision Processes (LD, TM, MS), pp. 58–72.
FM-2006-GenonMM #algorithm #distributed #ltl #monitoring #performance #sequence
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces (AG, TM, CM), pp. 557–572.
FME-2001-LeuschelMC #csp #how #ltl #model checking #refinement
How to Make FDR Spin LTL Model Checking of CSP by Refinement (ML, TM, AC), pp. 99–118.
LOPSTR-1999-LeuschelM #abstract interpretation #infinity #model checking
Infinite State Model Checking by Abstract Interpretation and Program Specialisation (ML, TM), pp. 62–81.

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.