Thierry Massart
Title
Cited by
Cited by
Year
Infinite state model checking by abstract interpretation and program specialisation
M Leuschel, T Massart
International Workshop on Logic Programming Synthesis and Transformation, 62-81, 1999
1341999
How to make FDR spin LTL model checking of CSP by refinement
M Leuschel, A Currie, T Massart
International Symposium of Formal Methods Europe, 99-118, 2001
712001
On the complexity of partial order trace model checking
T Massart, C Meuter, L Van Begin
Information processing letters 106 (3), 120-126, 2008
512008
Efficient verification of counting abstractions for parametric systems
L Van Begin
UniversitÚ libre de Bruxelles, 2004
322004
Efficient approximate verification of B and Z models via symmetry markers
M Leuschel, T Massart
Annals of mathematics and artificial intelligence 59 (1), 81-106, 2010
292010
Monitoring distributed controllers: When an efficient LTL algorithm on sequences is needed to model-check traces
A Genon, T Massart, C Meuter
International Symposium on Formal Methods, 557-572, 2006
262006
dsl: An environment with automatic code distribution for industrial control systems
B De Wachter, T Massart, C Meuter
International Conference On Principles Of Distributed Systems, 132-145, 2003
202003
Synthesis of communicating controllers for distributed systems
G Kalyon, T Le Gall, H Marchand, T Massart
2011 50th IEEE Conference on Decision and Control and European Controlá…, 2011
192011
Infinite synchronizing words for probabilistic automata
L Doyen, T Massart, M Shirmohammadi
International Symposium on Mathematical Foundations of Computer Science, 278-289, 2011
172011
The formal design of distributed controllers with d SL and Spin
B De Wachter, A Genon, T Massart, C Meuter
Formal Aspects of Computing 17 (2), 177-200, 2005
172005
Specification, Validation and Verification of Real-Time Systems in ET-LOTOS
C Hernalsteen
UniversitÚ libre de Bruxelles, 1998
141998
A calculus to define correct transformations of LOTOS specifications
T Massart
Formal Description Techniques, IV, 281-296, 1992
141992
Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
G Kalyon, T Le Gall, H Marchand, T Massart
Discrete event dynamic systems 22 (2), 121-161, 2012
102012
Efficient online monitoring of LTL properties for asynchronous distributed systems
T Massart, C Meuter
UniversitÚ Libre de Bruxelles, Tech. Rep 3, 2006
102006
Synchronizing objectives for Markov decision processes
L Doyen, T Massart, M Shirmohammadi
arXiv preprint arXiv:1102.4121, 2011
92011
Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation
M Leuschel, T Massart
University of Birmingham, 2002
92002
Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation
M Leuschel, T Massart
University of Birmingham, 2002
92002
Symbolic supervisory control of distributed systems with communications
G Kalyon, T Le Gall, H Marchand, T Massart
IEEE Transactions on Automatic Control 59 (2), 396-408, 2013
82013
Control of infinite symbolic transition systems under partial observation
G Kalyon, T Le Gall, H Marchand, T Massart
2009 European Control Conference (ECC), 1456-1462, 2009
72009
Testing distributed systems through symbolic model checking
G Kalyon, T Massart, C Meuter, L Van Begin
International Conference on Formal Techniques for Networked and Distributedá…, 2007
62007
The system can't perform the operation now. Try again later.
Articles 1–20