Publications d'Hélène Collavizza

Revues internationales

Hélène Collavizza, Le Vinh Nguyen, Olivier Ponsini, Michel Rueher, Antoine Rollet. Constraint-Based BMC: A Backjumping Strategy International Journal on Software Tools for Technology Transfer (STTT Journal,2012), DOI: 10.1007/s10009-012-0258-6 pdf
H. Collavizza, M. Rueher, P. Van Hentenryck. Constraint-Programming for Bounded Program Verification. Constraints, an International Journal, Janvier 2010. Springer Link
H. Collavizza, F. Delobel, M. Rueher. Comparing Partial Consistencies. Reliable Computing, Kluwer Academic Publishers, Vol.5(3), pp. 213-228, 1999. pdf

Chapitre d'ouvrage international

M.J.C. Gordon, H. Collavizza. Forward with Hoare. Reflections on the Work of C.A.R. Hoare, Roscoe, A.W., Jones, C.B., Wood, K. (Eds.) History of Computing Series, Springer, September 6, 2010. pdf

Revues nationales

L. Arditi, H. Collavizza. Intégration de techniques coopératives pour la vérification formelle des processeurs. Numéro spécial "Méthodes formelles: validation de systèmes complexes'', Technique et Science Informatique, n°6/97, 1997. pdf
D. Borrione, J.L. Paillet, L. Pierre, H. Collavizza. Modélisation fonctionnelle et preuve de circuits digitaux. Technique et Science Informatique, Vol. 8, N°6, 1989.

Conférences d'audience internationale avec comité de sélection

Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder and Thierry Gueguen, A Dynamic Constraint-Based BMC Strategy For Generating Counterexamples, SAC 2011, Software Verification and Testing, pdf
Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher, Automatic Verification of Loop Invariants, ICSM'2010, ERA track. pdf
H. Collavizza, M. Rueher, P. Van Hentenryck. CPBPV: A Constraint-Programming Framework for Bounded Program Verification. 12th CP'2008, Sidney, LNCS 5202, pp. 327-341, 2008, Springer-Verlag. pdf
H. Collavizza, M. Rueher. Exploring different constraint-based modelings for program verification, 13th CP'2007, LNCS 4741, Providence, September 25-29, 2007. pdf
H. Collavizza, M. Rueher. Exploration of the constraint programming technique capabilities in the software verification process. TACAS'2006, LNCS 3920, pp. 182-196, 2006. pdf
H. Collavizza, J.P. Stromboni. Une synthèse vocale destinée aux déficients visuels. XXVIèmes Journées d'Etude sur la Parole, 12-16 juin 2006, Dinard (poster). pdf
H. Collavizza, F. Delobel, M. Rueher. Extending consistent domains of numeric CSP. IJCAI'99, Stockholm, Sweden, 31 July - 6 August 1999. pdf
H. Collavizza, F. Delobel, M. Rueher. A Note on Partial Consistencies over Continuous Domains Solving Techniques. CP'98 (Fourth International Conference on Principles and Practice of Constraint Programming), Pisa, Italy, October 26-30, 1998, LNCS 1520 (Springer Verlag), pp. 147-161.
L. Arditi, H. Collavizza Towards verifying VHDL descriptions of Processors EURODAC'95 with EURO-VHDL IEEE int. Conf., IEEE Comp. Society Press, pp 414-419, Brighton, Sept. 1995.
L. Arditi, H. Collavizza. An Object-oriented Framework for the Formal Verification of Processors ECOOP "European Conference on Object Oriented Programming", Ed. Olthoff, LNCS 952, pp 213-234, Aarhus, Danemark, Aout 95. pdf
J. Chazarain, H. Collavizza. Combining Symbolic Evaluation and Object-oriented Approach for Verifying Processor-like Architectures at the RT-level IFIP WG10.2 Advanced Research Conference, LNCS 683, pp 109-121, CHARME'93, Arles, Mai 1993.
H. Collavizza. ΜSPEED: a System for the Specification and the Verification of Micro-processors. 9th Symposium on Theoretical Aspects of Computer Science, Cachan, LNCS 577, Fev. 1992 (poster).
H. Collavizza. Functional Semantics of Microprocessors at the Micro-program level and Correspondence with the Machine Instruction level IEEE European Design Automation Conference, Gordon Adshead and Jochen A. G. Jess editors, IEEE Computer Society, ISBN 0-8186-2024-2, 12-15 March, Glasgow, 1990.

Workshops internationaux avec comité de sélection

D. Borrione, H. Collavizza, C. Le Faou. ΜSPEED: a Framework for Specifying and Verifying Micro-processors ACM, Int. Workshop on Formal Methods in VLSI Design, Miami (USA), 1991.
H. Collavizza, D. Borrione. Specifying and Verifying the Micro-program Parallelism in Micro-processors of the Von Neumann type Int. Workshop on Designing Correct Circuits, Oxford 26-28 Sept. 1990. G. Jones. M. Sheeran ed. Springer Verlag ISBN 3.540.196959.5.

Conférences d'audiance nationale avec comité de sélection

Le Vinh Nguyen, Hélène Collavizza, Michel Rueher, Samuel Devulder, Thierry Gueguen 6ème Journées Francophones de Programmation par Contraintes (JFPC) Caen Juin 2010 Stratégies Dynamiques pour la Génération de Contre-exemples pdf

Mémoires

Contributions à la vérification formelle et programmation par contraintes, Habilitation à Dirirger des Recherches, Université de Nice-Sophia Antipolis, 3 décembre 2009. pdf
Sémantique Fonctionnelle des Microprocesseurs: l'Environnement de Spécification et de Preuve ΜSPEED, Thèse de doctorat, Université de Provence, Aix-Marseille I, Janvier 1991, Spécialité : Mathématiques Appliquées, Option : Informatique.

Collavizza Hélène