Nicolas Vacelet

According to our database, Nicolas Vacelet authored at least 3 papers between 2003 and 2007.

Collaborative distances:

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

2007

A subset of precise UML for model-based testing.

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2004

Faster Analysis of Formal Specifications.

Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes.

Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet

Tech. Sci. Informatiques, 2003