Publications 2010

Constraint Reasoning in FocalTest
In 5th International Conference on Software and Data Technologies (ICSOFT 2010)
Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
21 to 24 July 2010, University of Piraeus, Greece
INSTICC Press

Publications 2009

Politique de contrôle d'accès multi-niveaux : test de conformité vis-à-vis des flots avec l'outil FoCal
In AFADL 2009
Matthieu Carlier, Catherine Dubois, Lionel Habib and Mathieu Jaume
26 to 28 Janvier 2009, Toulouse, France
M. Filali, P. Michel, C. Seguin, Editors, pages 145 to 159

Publications 2008

Functional Testing in the Focal Environment
Matthieu Carlier and Catherine Dubois
In Test And Proof
9 to 11 April 2008, Prato, Italy
B. Berckert, R. Hahnle, Editors, LNCS 4966, pages 84 to 98.
Trusted Software within FoCaL
Philippe Ayrault, Matthieu Carlier, David Delahaye, Catherine Dubois, Damien Doligez, Lionel Habib, Thérèse Hardin, Mathieu Jaume, Charles Morisset, François Pessaux and Pierre Weis
In CE&SAR
2 to 4 December 2008, Rennes, France
pages 142 to 157

Publication 2007

Test fonctionnel pour Focal
Matthieu Carlier and Catherine Dubois
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL)
Université de Namur, Juin 2007
Tool Presentations