Hélène Collavizza
发表
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
pdf
Pascal Van Hentenryck,
Hélène Collavizza,
Michel Rueher,
2008,
ArXiv.
Hélène Collavizza,
1992,
STACS.
Hélène Collavizza,
Michel Rueher,
François Delobel,
1999,
IJCAI.
Hélène Collavizza,
Laurent Arditi,
1995,
Proceedings of EURO-DAC. European Design Automation Conference.
Mohammed Bekkouche,
Hélène Collavizza,
Michel Rueher,
2015,
SAC.
Pascal Van Hentenryck,
Hélène Collavizza,
Michel Rueher,
2009,
Constraints.
Hélène Collavizza,
Michel Rueher,
Claude Michel,
2015,
ICTSS 2015.
Hélène Collavizza,
Michel Rueher,
François Delobel,
1999,
Reliab. Comput..
Dominique Borrione,
Hélène Collavizza,
C. Le Faou,
1991
.
Olivier Ponsini,
Hélène Collavizza,
Michel Rueher,
2012
.
Hélène Collavizza,
Michel Rueher,
Nguyen Le Vinh,
2010
.
Dominique Borrione,
Hélène Collavizza,
D. Borrione,
1991
.
Hélène Collavizza,
Michel Rueher,
2006,
TACAS.
Hélène Collavizza,
2009
.
Michael J. C. Gordon,
Hélène Collavizza,
2010,
Reflections on the Work of C. A. R. Hoare.
Olivier Ponsini,
Carine Fédèle,
Hélène Collavizza,
2010,
2010 IEEE International Conference on Software Maintenance.
Jacques Chazarain,
Hélène Collavizza,
Jacques Chazarain,
1993,
CHARME.
Mohammed Bekkouche,
Hélène Collavizza,
Michel Rueher,
2014,
ArXiv.
Dominique Borrione,
Hélène Collavizza,
J.-L. Paillet,
1989
.
Hélène Collavizza,
Michel Rueher,
Nguyen Le Vinh,
2011,
SAC '11.
Hélène Collavizza,
1990,
Proceedings of the European Design Automation Conference, 1990., EDAC..
Hélène Collavizza,
Michel Rueher,
François Delobel,
1998,
SCAN.
Hélène Collavizza,
Michel Rueher,
2007,
CP.
Olivier Ponsini,
Hélène Collavizza,
Michel Rueher,
2012,
International Journal on Software Tools for Technology Transfer.
Hélène Collavizza,
Laurent Arditi,
1995,
ECOOP.
Michael J. C. Gordon,
Hélène Collavizza,
2008
.
Hélène Collavizza,
Michel Rueher,
Nguyen Le Vinh,
2010
.
Hélène Collavizza,
Gilles Bernot,
Jean-Paul Comet,
2020,
CMSB.
Pascal Van Hentenryck,
Hélène Collavizza,
Michel Rueher,
2008,
CP.
Hélène Collavizza,
Michel Rueher,
François Delobel,
1998,
CP.
Hélène Collavizza,
Michel Rueher,
Claude Michel,
2016,
ICTSS.
Olivier Ponsini,
Hélène Collavizza,
Michel Rueher,
2014,
CSTVA 2014.
Hélène Collavizza,
Michel Rueher,
François Delobel,
1998,
IJCSLP.
Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs
pdf
Mohammed Bekkouche,
Hélène Collavizza,
Michel Rueher,
2015,
ArXiv.
Hélène Collavizza,
Jean-Paul Comet,
Laetitia Gibart,
2021,
CMSB.
Hélène Collavizza,
Gilles Bernot,
Jean-Paul Comet,
2021,
BIOINFORMATICS.