Thierry Massart

According to our database, Thierry Massart authored at least 27 papers between 1988 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

The complexity of synchronizing Markov decision processes.

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

J. Comput. Syst. Sci., 2019

2014

Symbolic Supervisory Control of Distributed Systems With Communications.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

IEEE Trans. Autom. Control., 2014

Limit Synchronization in Markov Decision Processes.

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Robust Synchronization in Markov Decision Processes.

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

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

Infinite Synchronizing Words for Probabilistic Automata (Erratum)

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

CoRR, 2012

2011

Decentralized Control of Infinite Systems.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Discret. Event Dyn. Syst., 2011

Synchronizing Objectives for Markov Decision Processes

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

Proceedings of the Proceedings International Workshop on Interactions, Games and Protocols, 2011

Infinite Synchronizing Words for Probabilistic Automata.

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

Global State Estimates for Distributed Systems.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Proceedings of the Formal Techniques for Distributed Systems, 2011

Synthesis of communicating controllers for distributed systems.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Efficient approximate verification of B and Z models via symmetry markers.

Michael Leuschel, Thierry Massart

Ann. Math. Artif. Intell., 2010

2009

Control of infinite Symbolic Transition Systems under partial observation.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Proceedings of the 10th European Control Conference, 2009

2008

On the complexity of partial order trace model checking.

Thierry Massart, Cédric Meuter, Laurent Van Begin

Inf. Process. Lett., 2008

2007

Testing Distributed Systems Through Symbolic Model Checking.

Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Efficient Approximate Verification of Promela Models Via Symmetry Markers.

Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces.

Alexandre Genon, Thierry Massart, Cédric Meuter

Proceedings of the FM 2006: Formal Methods, 2006

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

From Static Code Distribution to More Shrinkage for the Multiterminal Cut.

Bram De Wachter, Alexandre Genon, Thierry Massart

Proceedings of the Experimental and Efficient Algorithms, 4th InternationalWorkshop, 2005

2003

dSL: An Environment with Automatic Code Distribution for Industrial Control Systems.

Bram De Wachter, Thierry Massart, Cédric Meuter

Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003

2001

How to Make FDR Spin LTL Model Checking of CSP by Refinement.

Michael Leuschel, Thierry Massart, Andrew Currie

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

1999

Infinite State Model Checking by Abstract Interpretation and Program Specialisation.

Michael Leuschel, Thierry Massart

Proceedings of the Logic Programming Synthesis and Transformation, 1999

1993

Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions.

Thierry Massart, Raymond R. Devillers

Formal Aspects Comput., 1993

A Collision Problem in OSI Standard Formal Specifications.

Thierry Massart

Comput. Networks ISDN Syst., 1993

1991

An Agent Calculus with Simple Actions Where the Enabling and Disabling are Derived Operators.

Thierry Massart

Inf. Process. Lett., 1991

A Calculus to Define Correct Tranformations of LOTOS Specifications.

Thierry Massart

Proceedings of the Formal Description Techniques, 1991

1988

The HELIOS project: OSI conformant, high speed data communication by satellite in Europe.

Atika Cohen, Thierry Massart, Bernard Sales, Paul van Binst

Proceedings of the Computer Communication Technologies for the 90's, Proceedings of the Ninth International Conference on Computer Communication, Tel Aviv, Israel, October 30, 1988