dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. - Bram De Wachter; Thierry Massart; Cédric Meuter (OPODIS, 2003)

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)

Testing Distributed Systems Through Symbolic Model Checking. - Gabriel Kalyon; Thierry Massart; Cédric Meuter; Laurent Van Begin (FORTE, 2007)

On the complexity of partial order trace model checking. - Thierry Massart; Cédric Meuter; Laurent Van Begin (Inf. Process. Lett., 2008)

Semi-Supervised Template Attack. - Liran Lerman; Stephane Fernandes Medeiros; Nikita Veshchikov; Cédric Meuter; Gianluca Bontempi; Olivier Markowitch (IACR Cryptol. ePrint Arch., 2012)