dblp.uni-trier.dewww.uni-trier.de

Thierry Massart

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
14EEThierry Massart, Cédric Meuter, Laurent Van Begin: On the complexity of partial order trace model checking. Inf. Process. Lett. 106(3): 120-126 (2008)
2007
13EEDragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart: Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA 2007: 300-315
12EEGabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin: Testing Distributed Systems Through Symbolic Model Checking. FORTE 2007: 263-279
2006
11EEAlexandre 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
2005
10EEBram De Wachter, Alexandre Genon, Thierry Massart: From Static Code Distribution to More Shrinkage for the Multiterminal Cut. WEA 2005: 177-188
9EEBram 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
8EEBram De Wachter, Thierry Massart, Cédric Meuter: dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. OPODIS 2003: 132-145
2001
7EEMichael Leuschel, Thierry Massart, Andrew Currie: How to Make FDR Spin LTL Model Checking of CSP by Refinement. FME 2001: 99-118
1999
6 Michael Leuschel, Thierry Massart: Infinite State Model Checking by Abstract Interpretation and Program Specialisation. LOPSTR 1999: 62-81
1993
5 Thierry Massart: A Collision Problem in OSI Standard Formal Specifications. Computer Networks and ISDN Systems 26(2): 233-238 (1993)
4 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
3 Thierry Massart: A Calculus to Define Correct Tranformations of LOTOS Specifications. FORTE 1991: 281-296
2 Thierry Massart: An Agent Calculus with Simple Actions Where the Enabling and Disabling are Derived Operators. Inf. Process. Lett. 40(4): 213-218 (1991)
1988
1 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

Coauthor Index

1Laurent Van Begin [12] [14]
2Paul van Binst [1]
3Dragan Bosnacki [13]
4A. Cohen [1]
5Andrew Currie [7]
6Raymond R. Devillers [4]
7Alastair F. Donaldson [13]
8Alexandre Genon [9] [10] [11]
9Gabriel Kalyon [12]
10Michael Leuschel [6] [7] [13]
11Cédric Meuter [8] [9] [11] [12] [14]
12Bernard Sales [1]
13Bram De Wachter [8] [9] [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)