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