|
 
|
Matthieu Carlier
|
Equipe SYS Parti depuis le 01/02/2013 Mail : matthieu.carlier  caramail.fr
Tel : 0169367373 Fax : 0169367309 http://www.irisa.fr/celtique/carlier |
Matthieu's Tag-Cloud : |
Thèse soutenue le 7 octobre 2009.
Publications
2012
- [CDG12a] M. Carlier, C. Dubois, A. Gotlieb. "A certified constraint solver over finite domains", Formal Methods (FM 2012) (ex FME), August 2012, Vol. 7436, pp.116-131, Series LNCS, Paris, France,
- [CDG12] M. Carlier, C. Dubois, A. Gotlieb. "A first step in the design of a formally verified constraint-based testing tool: FocalTest", Tests and Proofs , May 2012, Vol. 7305, pp.35--50, Series LNCS, Prague, TCHEQUE, REPUBLIQUE,
Conférence Internationale avec comité de lecture
2010
-
[CDG10]
M. Carlier, C. Dubois, A. Gotlieb.
"Constraint Reasoning in FocalTest",
ICSOFT'10, 5th Int. Conf. on Software and Data Technologies,
July 2010,
Vol. 2,
pp.82-91,
Athènes,
Grèce,
Conférence Internationale avec comité de lecture
2009
- [CDH09] M. Carlier, C. Dubois, L. Habib, M. Jaume. "Politique de contrôle d'accès multi-niveaux : test de conformité vis à vis des flots avec l'outil FoCaL", AFADL'09 Approches formelles dans l'assistance au développement des Logiciels, Toulouse, January 2009,
-
[Car09a]
M. Carlier.
"Test automatique de propriétés dans un atelier de développement de logiciels sûrs",
Soutenue le: 07 October 2009,
pp. 186,
-
[CDG09]
M. Carlier, C. Dubois, A. Gotlieb.
"Constraint Reasoning in FocalTest",
Date de dépot: 2009/01/01,
Nb pages 36,
(Tech. Rep.: CEDRIC-09-1703)
Conférence Nationale avec comité de lecture
Mémoire de Thèse
Rapport Scientifique
2008
-
[DC08]
C. Dubois, M. Carlier.
"Functional Testing in the Focal environment",
Tests and Proofs (TAP 2008),
April 2008,
Vol. 4966,
pp.84-98,
Series LNCS,
Prato,
Italy,
- [ACD08] P. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, L. Habib, T. Hardin, M. Jaume, C. Morisset, F. Pessaux, P. Weis. "Trusted Software within FoCaL", CE&SAR 2008, Rennes, décembre, December 2008, pp.142-157,
