 | 2008 |
|---|
| 5 |       | 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 |
|---|
| 4 | | Gabriel Kalyon,
Thierry Massart,
Cédric Meuter,
Laurent Van Begin:
Testing Distributed Systems Through Symbolic Model Checking.
FORTE 2007: 263-279 |
| 2006 |
|---|
| 3 | | 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 |
|---|
| 2 | | 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 |
|---|
| 1 | | Bram De Wachter,
Thierry Massart,
Cédric Meuter:
dSL: An Environment with Automatic Code Distribution for Industrial Control Systems.
OPODIS 2003: 132-145 |
