Thierry Massart

30 papers B 6C 4Journal 14Unranked 6
YearRankTypeTitle / Venue / Authors
2019 J jnl
The complexity of synchronizing Markov decision processes.
J. Comput. Syst. Sci.
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2016 J jnl
The Complexity of Synchronizing Markov Decision Processes.
CoRR
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2014 B conf
Limit Synchronization in Markov Decision Processes.
FoSSaCS
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2014 B conf
Robust Synchronization in Markov Decision Processes.
CONCUR
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2014 J jnl
Robust Synchronization in Markov Decision Processes.
CoRR
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2014 J jnl
Symbolic Supervisory Control of Distributed Systems With Communications.
IEEE Trans. Autom. Control.
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
2013 J jnl
Limit Synchronization in Markov Decision Processes.
CoRR
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2012 J jnl
Infinite Synchronizing Words for Probabilistic Automata (Erratum)
CoRR
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2012 J jnl
Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation.
Discret. Event Dyn. Syst.
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
2011 J jnl
Decentralized Control of Infinite Systems.
Discret. Event Dyn. Syst.
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
2011 — conf
Global State Estimates for Distributed Systems.
FMOODS/FORTE
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
2011 B conf
Infinite Synchronizing Words for Probabilistic Automata.
MFCS
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2011 — conf
Synchronizing Objectives for Markov Decision Processes
iWIGP
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2011 — conf
Synthesis of communicating controllers for distributed systems.
CDC/ECC
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
2010 J jnl
Efficient approximate verification of B and Z models via symmetry markers.
Ann. Math. Artif. Intell.
Michael Leuschel, Thierry Massart
2009 — conf
Control of infinite Symbolic Transition Systems under partial observation.
ECC
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
2008 J jnl
On the complexity of partial order trace model checking.
Inf. Process. Lett.
Thierry Massart, Cédric Meuter, Laurent Van Begin
2007 B conf
Efficient Approximate Verification of Promela Models Via Symmetry Markers.
ATVA
Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart
2007 C conf
Testing Distributed Systems Through Symbolic Model Checking.
FORTE
Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin
2006 B conf
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces.
FM
Alexandre Genon, Thierry Massart, Cédric Meuter
2005 — conf
From Static Code Distribution to More Shrinkage for the Multiterminal Cut.
WEA
Bram De Wachter, Alexandre Genon, Thierry Massart
2005 J jnl
The formal design of distributed controllers with
Formal Aspects Comput.
Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter
2003 B conf
dSL: An Environment with Automatic Code Distribution for Industrial Control Systems.
OPODIS
Bram De Wachter, Thierry Massart, Cédric Meuter
2001 — conf
How to Make FDR Spin LTL Model Checking of CSP by Refinement.
FME
Michael Leuschel, Thierry Massart, Andrew Currie
1999 C conf
Infinite State Model Checking by Abstract Interpretation and Program Specialisation.
LOPSTR
Michael Leuschel, Thierry Massart
1993 J jnl
A Collision Problem in OSI Standard Formal Specifications.
Comput. Networks ISDN Syst.
Thierry Massart
1993 J jnl
Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions.
Formal Aspects Comput.
Thierry Massart, Raymond Devillers
1991 C conf
A Calculus to Define Correct Tranformations of LOTOS Specifications.
FORTE
Thierry Massart
1991 J jnl
An Agent Calculus with Simple Actions Where the Enabling and Disabling are Derived Operators.
Inf. Process. Lett.
Thierry Massart
1988 C conf
The HELIOS project: OSI conformant, high speed data communication by satellite in Europe.
ICCC
Atika Cohen, Thierry Massart, Bernard Sales, Paul van Binst