Sébastien Labbé

According to our database, Sébastien Labbé authored at least 7 papers between 2006 and 2013.

Collaborative distances:

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

2013

Binary-Level Testing of Embedded Programs.

Sébastien Bardin, Philippe Baufreton, Nicolas Cornuet, Philippe Herrmann, Sébastien Labbé

Proceedings of the 2013 13th International Conference on Quality Software, 2013

2011

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software.

Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram

Proceedings of the Computer Safety, Reliability, and Security, 2011

2010

Formal Verification of Industrial Software with Dynamic Memory Management.

Sébastien Labbé, Arnaud Sangnier

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

2008

Slicing communicating automata specifications: polynomial algorithms for model reduction.

Sébastien Labbé, Jean-Pierre Gallois

Formal Aspects Comput., 2008

2007

Réduction paramétrée de spécifications formées d'automates communicants : algorithmes polynomiaux pour la réduction de modèles. (Slicing Communicating Automata Specifications: Polynomial Algorithms for Model Reduction).

Sébastien Labbé

PhD thesis, 2007

Slicing Communicating Automata Specifications for Efficient Model Reduction.

Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006

CARVER: A Slicing Tool for Communicating Automata Specifications.

Sébastien Labbé, Arnault Lapitre

Proceedings of the Leveraging Applications of Formal Methods, 2006