C. Meuter

Testing Distributed Systems through Symbolic Model Checking of Traces

T. Massart, G. Kalyon, C. Meuter, 2007 .

Development and Validation of Distributed Reactive Control Systems

Cédric Meuter, Thierry Massart, T. Massart, 2008 .

The formal design of distributed controllers with dSL and Spin

Cédric Meuter, Thierry Massart, Bram De Wachter, 2005, Formal Aspects of Computing.

dSL: An Environment with Automatic Code Distribution for Industrial Control Systems

Cédric Meuter, Thierry Massart, Bram De Wachter, 2003, OPODIS.

Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces

Cédric Meuter, Thierry Massart, Alexandre Genon, 2006, FM.

On the complexity of partial order trace model checking

Cédric Meuter, Thierry Massart, Laurent Van Begin, 2008, Inf. Process. Lett..

Symbolic Data Structure for Sets of k-uples of Integers

Giorgio Delzanno, Cédric Meuter, Pierre Ganty, 2007 .

Semi-Supervised Template Attack

Cédric Meuter, Olivier Markowitch, Gianluca Bontempi, 2013, COSADE.