The HELIOS project: OSI conformant, high speed data communication by satellite in Europe. - Atika Cohen; Thierry Massart; Bernard Sales; Paul van Binst (ICCC, 1988)

A Calculus to Define Correct Tranformations of LOTOS Specifications. - Thierry Massart (FORTE, 1991)

An Agent Calculus with Simple Actions Where the Enabling and Disabling are Derived Operators. - Thierry Massart (Inf. Process. Lett., 1991)

A Collision Problem in OSI Standard Formal Specifications. - Thierry Massart (Comput. Networks ISDN Syst., 1993)

Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions. - Thierry Massart; Raymond Devillers (Formal Aspects Comput., 1993)

Infinite State Model Checking by Abstract Interpretation and Program Specialisation. - Michael Leuschel; Thierry Massart (LOPSTR, 1999)

How to Make FDR Spin LTL Model Checking of CSP by Refinement. - Michael Leuschel; Thierry Massart; Andrew Currie (FME, 2001)

dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. - Bram De Wachter; Thierry Massart; Cédric Meuter (OPODIS, 2003)

From Static Code Distribution to More Shrinkage for the Multiterminal Cut. - Bram De Wachter; Alexandre Genon; Thierry Massart (WEA, 2005)

The formal design of distributed controllers with dSL and Spin. - Bram De Wachter; Alexandre Genon; Thierry Massart; Cédric Meuter (Formal Aspects Comput., 2005)

Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. - Alexandre Genon; Thierry Massart; Cédric Meuter (FM, 2006)

Efficient Approximate Verification of Promela Models Via Symmetry Markers. - Dragan Bosnacki; Alastair F. Donaldson; Michael Leuschel; Thierry Massart (ATVA, 2007)

Testing Distributed Systems Through Symbolic Model Checking. - Gabriel Kalyon; Thierry Massart; Cédric Meuter; Laurent Van Begin (FORTE, 2007)

On the complexity of partial order trace model checking. - Thierry Massart; Cédric Meuter; Laurent Van Begin (Inf. Process. Lett., 2008)

Control of infinite Symbolic Transition Systems under partial observation. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (ECC, 2009)

Efficient approximate verification of B and Z models via symmetry markers. - Michael Leuschel; Thierry Massart (Ann. Math. Artif. Intell., 2010)

Synthesis of communicating controllers for distributed systems. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (CDC/ECC, 2011)

Global State Estimates for Distributed Systems. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (FMOODS/FORTE, 2011)

Infinite Synchronizing Words for Probabilistic Automata. - Laurent Doyen 001; Thierry Massart; Mahsa Shirmohammadi (MFCS, 2011)

Synchronizing Objectives for Markov Decision Processes - Laurent Doyen 001; Thierry Massart; Mahsa Shirmohammadi (iWIGP, 2011)

Decentralized Control of Infinite Systems. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (Discret. Event Dyn. Syst., 2011)

Infinite Synchronizing Words for Probabilistic Automata (Erratum) - Laurent Doyen 001; Thierry Massart; Mahsa Shirmohammadi (CoRR, 2012)

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (Discret. Event Dyn. Syst., 2012)

Robust Synchronization in Markov Decision Processes. - Laurent Doyen 001; Thierry Massart; Mahsa Shirmohammadi (CONCUR, 2014)

Limit Synchronization in Markov Decision Processes. - Laurent Doyen 001; Thierry Massart; Mahsa Shirmohammadi (FoSSaCS, 2014)

Symbolic Supervisory Control of Distributed Systems With Communications. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (IEEE Trans. Autom. Control., 2014)

The complexity of synchronizing Markov decision processes. - Laurent Doyen 001; Thierry Massart; Mahsa Shirmohammadi (J. Comput. Syst. Sci., 2019)