| 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: From Static Code Distribution to More Shrinkage for the Multiterminal Cut. WEA 2005: 177-188 | |
| 1 | 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) | |
| 1 | Thierry Massart | [1] [2] [3] |
| 2 | Cédric Meuter | [1] [3] |
| 3 | Bram De Wachter | [1] [2] |