| 2011 |
|---|
| bib | EE | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Synthesis of Communicating Controllers for Distributed Systems. 50th IEEE Conference on Decision and Control and European Control Conference
IEEE CDC - ECC 2011: To appear (2011) |
| bib | EE | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Global State Estimates for Distributed Systems. FMOODS/FORTE 2011: 198-212 (2011) |
| bib | EE | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi: Infinite Synchronizing Words for Probabilistic Automata. MFCS 2011: 278-289 (2011) |
| bib | EE | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi: Synchronizing Objectives for Markov Decision Processes iWIGP 2011: 61-75 (2011) |
| bib | EE | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Decentralized Control of Infinite Systems. Discrete Event Dynamic Systems 21(3): 359-393 (2011) |
| bib | EE | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Symbolic Supervisory Control of Infinite Transition Systems under Partial
Observation using Abstract Interpretation. Discrete Event Dynamical Systems - Online First (2011) |
| 2010 |
|---|
| bib | EE | Michael Leuschel and Thierry Massart:
Efficient approximate verification of B and Z models via symmetry markers.
Annals of Mathematics and Artificial Intelligence, Volume 59, Number 1, 81-106, DOI: 10.1007/s10472-010-9208-8 (2010) |
| 2009 |
|---|
| bib | EE | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Control of Infinite Symbolic Transition Systems under Partial Observation. European Control Conference ECC 2009: 1456-1462 (2009) |
| bib | EE | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Computational Complexity for State-Feedback Controllers with Partial Observation. 7th International Conference on Control and Automation, ICCA'09: 436-441 (2009) |
| bib | EE | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Contrôle décentralisé de systèmes symboliques infinis sous observation partielle. 7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs. Journal européen des systèmes automatisés: 43(7-9): 805-819 Lavoisier (2009) |
| 2008 |
|---|
| bib | EE | Thierry Massart, Cédric Meuter, Laurent Van Begin: On the Complexity of Partial Order Trace Model Checking. Information Processing Letters 106(3): 120-126 (2008) |
| 2007 |
|---|
| bib | EE | Dragan Bosnacki, Alastair Donaldson, Michael Leuschel, Thierry Massart:
Efficient Approximate Verification of Promela Models via Symmetry Markers. ATVA 2007: 300-315 (2007) |
| bib | EE | Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin:
Testing Distributed Systems through Symbolic Model Checking of
Traces. FORTE 2007: 263-279 (2007) |
| bib | EE | Michael Leuschel and Thierry Massart: Efficient Approximate Verification of B via Symmetry Markers.
Proc. of the International Symmetry Conference,
Edinburgh, UK, (January 2007) |
| 2006 |
|---|
| bib | EE | Alexandre Genon, Thierry Massart,Cédric Meuter:
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. FM 2006: 557-572 (2006) |
| 2005 |
|---|
| bib | EE | Bram De Wachter, Alexandre Genon, Thierry Massart: From Static Code Distribution to More Shrinkage for the Multiterminal Cut.
WEA 2005: 177-188 (2005) |
| bib | EE | Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter:
The formal design of distributed controllers with dSL and Spin.
Formal Asp. Comput. 17(2): 177-200 (2005) |
| 2003 |
|---|
| bib | EE | Bram De Wachter, Thierry Massart, Cédric Meuter:
dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. OPODIS 2003: 132-145 (2003) |
| 2001 |
|---|
| bib | EE | Michael Leuschel, Thierry Massart, Andrew Currie: How to Make FDR Spin LTL Model Checking of CSP by Refinement. FME 2001: 99-118 (2001) |
| 1999 |
|---|
| bib | EE | Michael Leuschel, Thierry Massart: Infinite State Model Checking by Abstract Interpretation and Program Specialisation. LOPSTR 1999: 62-81 (1999) |
| 1998 |
|---|
| bib | EE | Christian Hernalsteen, Antony de Jacquier and Thierry Massart: A Toolset for the analysis of ET-LOTOS Specifications. FMICS 1998: 231-255 (1998) |
| 1993 |
|---|
| bib | EE | Thierry Massart: A Collision Problem in OSI Standard Formal Specifications.
Computer Networks and ISDN Systems 26(2): 233-238 (1993) |
| bib | EE | Thierry Massart,
Raymond R. Devillers:
Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions.
Formal Asp. Comput. 5(1): 79-88 (1993) |
| 1991 |
|---|
| bib | EE | Thierry Massart:
A Calculus to Define Correct Tranformations of LOTOS Specifications.
FORTE 1991: 281-296 (1991) |
| bib | EE | Thierry Massart:
An Agent Calculus with Simple Actions Where the Enabling and Disabling are Derived Operators.
Inf. Process. Lett. 40(4): 213-218 (1991) |
| bib | EE | Thierry Massart:
Un calcul algébrique pour définir des raffinements corrects de spécifications LOTOS. CFIP 1991: 465-478 (1991) |
| 1988 |
|---|
| bib | EE | A. Cohen, Thierry Massart, Bernard Sales, Paul van Binst:
The HELIOS project: OSI conformant, high speed data communication by satellite in Europe. ICCC 1988: 94-98 (1988) |
| bib | EE | A. Cohen, Thierry Massart, Paul van Binst:
Etude et description d'un protocole de liaison de données pour liaison satellite. CFIP 1988: 203-218 (1988) |