|
 
|
Arnaud Gotlieb
Projets
Publications
2013
-
[DG13]
C. Dubois, A. Gotlieb.
"Solveurs CP(FD) vérifiés formellement",
Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013),
June 2013,
pp.115-118,
Aix-en-Provence,
Conférence Nationale avec comité de lecture
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
-
[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)
