Thierry Massart

	2012
21		Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. Discrete Event Dynamic Systems 22(2): 121-161 (2012)
	2011
20		Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Synthesis of communicating controllers for distributed systems. CDC-ECE 2011: 1803-1810
19		Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Global State Estimates for Distributed Systems. FMOODS/FORTE 2011: 198-212
18		Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi: Infinite Synchronizing Words for Probabilistic Automata. MFCS 2011: 278-289
17		Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi: Synchronizing Objectives for Markov Decision Processes iWIGP 2011: 61-75
16		Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Decentralized Control of Infinite Systems. Discrete Event Dynamic Systems 21(3): 359-393 (2011)
	2010
15		Michael Leuschel, Thierry Massart: Efficient approximate verification of B and Z models via symmetry markers. Ann. Math. Artif. Intell. 59(1): 81-106 (2010)
	2008
14		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		Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart: Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA 2007: 300-315
12		Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin: Testing Distributed Systems Through Symbolic Model Checking. FORTE 2007: 263-279
	2006
11		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		Bram De Wachter, Alexandre Genon, Thierry Massart: From Static Code Distribution to More Shrinkage for the Multiterminal Cut. WEA 2005: 177-188
9		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		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		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	Laurent Doyen	[17] [18]
9	Tristan Le Gall	[16] [19] [20] [21]
10	Alexandre Genon	[9] [10] [11]
11	Gabriel Kalyon	[12] [16] [19] [20] [21]
12	Michael Leuschel	[6] [7] [13] [15]
13	Hervé Marchand	[16] [19] [20] [21]
14	Cédric Meuter	[8] [9] [11] [12] [14]
15	Bernard Sales	[1]
16	Mahsa Shirmohammadi	[17] [18]
17	Bram De Wachter	[8] [9] [10]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page