Cédric Meuter

According to our database, Cédric Meuter authored at least 6 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Semi-Supervised Template Attack.

Liran Lerman, Stephane Fernandes Medeiros, Nikita Veshchikov, Cédric Meuter, Gianluca Bontempi, Olivier Markowitch

IACR Cryptol. ePrint Arch., 2012

2008

On the complexity of partial order trace model checking.

Thierry Massart, Cédric Meuter, Laurent Van Begin

Inf. Process. Lett., 2008

2007

Testing Distributed Systems Through Symbolic Model Checking.

Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

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

Alexandre Genon, Thierry Massart, Cédric Meuter

Proceedings of the FM 2006: Formal Methods, 2006

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

2003

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

Bram De Wachter, Thierry Massart, Cédric Meuter

Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003