From Static Code Distribution to More Shrinkage for the Multiterminal Cut. - Bram De Wachter; Alexandre Genon; Thierry Massart (WEA, 2005)

The formal design of distributed controllers with dSL and Spin. - Bram De Wachter; Alexandre Genon; Thierry Massart; Cédric Meuter (Formal Aspects Comput., 2005)

Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. - Alexandre Genon; Thierry Massart; Cédric Meuter (FM, 2006)