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: Massart:Thierry
Facilitated 1 volumes:
TuChContributed to:
2014
20062001
1999Wrote 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.