Thierry Massart - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2019

The complexity of synchronizing Markov decision processesLaurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi. jcss, 100:96-129, 2019. [doi]

2014

Robust Synchronization in Markov Decision ProcessesLaurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi. concur 2014: 234-248 [doi]

Limit Synchronization in Markov Decision ProcessesLaurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi. fossacs 2014: 58-72 [doi]

Symbolic Supervisory Control of Distributed Systems With CommunicationsGabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. tac, 59(2):396-408, 2014. [doi]

2012

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract InterpretationGabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. deds, 22(2):121-161, 2012. [doi]

2011

2010

Efficient approximate verification of B and Z models via symmetry markersMichael Leuschel, Thierry Massart. AMAI, 59(1):81-106, 2010. [doi]

2009

Control of infinite Symbolic Transition Systems under partial observationGabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. eucc 2009: 1456-1462 [doi]

2008

On the complexity of partial order trace model checkingThierry Massart, Cédric Meuter, Laurent Van Begin. ipl, 106(3):120-126, 2008. [doi]

2007

Efficient Approximate Verification of Promela Models Via Symmetry MarkersDragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart. ATVA 2007: 300-315 [doi]

Testing Distributed Systems Through Symbolic Model CheckingGabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin. forte 2007: 263-279 [doi]

2006

Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check TracesAlexandre Genon, Thierry Massart, Cédric Meuter. FM 2006: 557-572 [doi]

2005

From Static Code Distribution to More Shrinkage for the Multiterminal CutBram De Wachter, Alexandre Genon, Thierry Massart. wea 2005: 177-188 [doi]

The formal design of distributed controllers with ::d::SL and SpinBram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter. fac, 17(2):177-200, 2005. [doi]

2003

dSL: An Environment with Automatic Code Distribution for Industrial Control SystemsBram De Wachter, Thierry Massart, Cédric Meuter. opodis 2004: 132-145 [doi]

2001

How to Make FDR Spin LTL Model Checking of CSP by RefinementMichael Leuschel, Thierry Massart, Andrew Currie. FM 2001: 99-118 [doi]

1999

Infinite State Model Checking by Abstract Interpretation and Program SpecialisationMichael Leuschel, Thierry Massart. LOPSTR 2000: 62-81

1993

A Collision Problem in OSI Standard Formal SpecificationsThierry Massart. cn, 26(2):233-238, 1993.

Equality of Agent Expressions is preserved Under an Extension of the Universe of ActionsThierry Massart, Raymond R. Devillers. fac, 5(1):79-88, 1993.

1991

An Agent Calculus with Simple Actions Where the Enabling and Disabling are Derived OperatorsThierry Massart. ipl, 40(4):213-218, 1991.

A Calculus to Define Correct Tranformations of LOTOS SpecificationsThierry Massart. forte 1992: 281-296

1988

The HELIOS project: OSI conformant, high speed data communication by satellite in EuropeA. Cohen, Thierry Massart, Bernard Sales, Paul van Binst. iccc 1988: 94-98

Sign in or sign up to see more results.

runs on WebDSL