Thierry Massart

2008
14	EE	Thierry 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
13	EE	Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart: Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA 2007: 300-315
12	EE	Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin: Testing Distributed Systems Through Symbolic Model Checking. FORTE 2007: 263-279
2006
11	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
2005
10	EE	Bram De Wachter, Alexandre Genon, Thierry Massart: From Static Code Distribution to More Shrinkage for the Multiterminal Cut. WEA 2005: 177-188
9	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
8	EE	Bram De Wachter, Thierry Massart, Cédric Meuter: dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. OPODIS 2003: 132-145
2001
7	EE	Michael 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

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

Colors in the list of coauthors