| 2014 | CONCUR | Robust Synchronization in Markov Decision Processes. | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |
| 2014 | FOSSACS | Limit Synchronization in Markov Decision Processes. | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |
| 2011 | FORTE | Global State Estimates for Distributed Systems. | Gabriel Kalyon, Tristan Le Gall, Herv Marchand, Thierry Massart |
| 2011 | MFCS | Infinite Synchronizing Words for Probabilistic Automata. | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |
| 2007 | ATVA | Efficient Approximate Verification of Promela Models Via Symmetry Markers. | Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart |
| 2007 | FORTE | Testing Distributed Systems Through Symbolic Model Checking. | Gabriel Kalyon, Thierry Massart, Cdric Meuter, Laurent Van Begin |
| 2006 | FM | Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. | Alexandre Genon, Thierry Massart, Cdric Meuter |
| 2003 | OPODIS | dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. | Bram De Wachter, Thierry Massart, Cdric Meuter |
| 2001 | FM | How to Make FDR Spin LTL Model Checking of CSP by Refinement. | Michael Leuschel, Thierry Massart, Andrew Currie |
| 1999 | LOPSTR | Infinite State Model Checking by Abstract Interpretation and Program Specialisation. | Michael Leuschel, Thierry Massart |
| 1991 | FORTE | A Calculus to Define Correct Tranformations of LOTOS Specifications. | Thierry Massart |
| 1988 | ICCC | The HELIOS project: OSI conformant, high speed data communication by satellite in Europe. | Atika Cohen, Thierry Massart, Bernard Sales, Paul van Binst |