Nicolas Zuanon
 |
| Address: |
| INRIA Rhône-Alpes |
| 655, avenue de l'Europe |
| F-38330 Montbonnot Saint-Martin |
|
| E-mail: Nicolas.Zuanon@inrialpes.fr |
|
| Phone: +(33) 4 76 61 53 79 |
| Fax: +(33) 4 76 61 52 52 |
|
Position
Project Director of the FormalFame
action within the Bull-INRIA joint venture DYADE
I just received my PhD in Computer Science from Joseph Fourier University.
My viva took place in Grenoble on june, 27th, 2000. Here
is the abstract of my work.
PhD Topics : Specification-based testing, Guided simulation, Telephone
service specification and validation.
Winner of the First
Feature Interaction Detection Contest, sponsored by Bell Labs. Best
Tool Award.
Education
-
2000 : PhD in Computer Science, mention très honorable
(Université Joseph Fourier, Grenoble, France)
-
1996 : First year graduate studies degree: DEA d'Informatique Systèmes
et Communications, mention Bien (Université Joseph Fourier,
Grenoble, France)
-
1995 : Undergraduate degree: Ingénieur Ecole Nationale Supérieure
d´Informatique et de Mathématiques Appliquées de Grenoble,
mention Bien (Institut National Polytechnique, Grenoble, France)
-
1992 : DEUG A, Math Physique, mention Assez Bien (Université
Joseph Fourier, Grenoble, France)
Publications
Journals
DORZ00a
L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Feature
interaction detection using synchronous approach and testing. In Computer
Networks and ISDN Systems. Elsevier, May 2000. Postscript
version
DORZ00b
L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Test et
approche synchrone pour la détection d'interactions de services
téléphoniques. In Calculateurs Parallèles, Systèmes
Répartis, Réseaux. Hermes, to be published. Postscript
version
Workshops and conferences
DOPRZ98
L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, and N. Zuanon.
Lutess: testing environment for synchronous software. In Tool
support for System Specification Development and Verification. Advances
in Computing Science, Springer-Verlag, pages 48-61, 1998.
DORZ98a
L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Environnement
pour le test d'applications synchrones. In 2ème Congrès
sur la Modélisation des systèmes réactifs. Hermes,
1998.
DORZ98b
L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Incremental
feature validation: a synchronous point of view. In Feature Interactions
in Telecommunications Systems V. IOS Press, pages 262-275, 1998.
DORZ99
L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Lutess:
a Specification-driven Testing Environment for Synchronous Software. In
21st
International Conference on Software Engineering, ACM Press, pages
267-276, May 1999. Postscript
version
DZ99
L. du Bousquet and N. Zuanon. An overview of Lutess, a specification-based
tool for testing synchronous software. In 14th International Conference
on Automated Software Engineering, IEEE, October 1999.
DOPRZ00
L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, and N. Zuanon.
Specification-based Testing of Synchronous Software. In International
Workshop on Formal Methods for Industrial Critical Systems (FMICS),
April 2000.
Z00
N. Zuanon. Automatic test generation from behavioral patterns. Submitted
to International Symposium on Software Testing and Analysis 2000. Postscript
version
Technical Reports
Z96
N. Zuanon. Modélisation et validation de services téléphoniques.
DEA report, June 1996.
PZ96
I. Parissis and N. Zuanon. Validation incrémentale de spécifications
de services. 1er Rapport d'avancement du contrat CNET/CNRS/UJF 95 7B
043, November 1996.
DZ97
L. du Bousquet and N. Zuanon. Validation incrémentale de spécifications
de services. 2nd Rapport d'avancement du contrat CNET/CNRS/UJF 95 7B
043, November 1997.
DZ98
L. du Bousquet and N. Zuanon. Validation incrémentale de spécifications
de services. Rapport final du contrat CNET/CNRS/UJF 95 7B 043, December
1998.
DORZ00b
L. du Bousquet and N. Zuanon. Feature Interaction Detection Contest: LUTESS
testing tool. July 1998.
Z99
N. Zuanon. Feature Requirements for the First Feature Interaction Detection
Contest. November 1999. Postscript
version
Back to the VASY Home Page