Publications 2005

Books

1. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 4ème édition. O'Reilly, November 2005.

Academic Journals

1. Mehdi Kessis, Yves Ledru, Gérard Vandome. Test de couverture des serveurs J2EE : Etude du serveur JOnAS et de sa suite de tests. Génie Logiciel, 74:37-42, 2005.

International Conferences

1. Didier Bert, Marie-Laure Potet, Nicolas Stouls. GeneSyst: A Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. In ZB2005 Conference, Pages 299-318, 2005.
2. V. Prevosto, S. Boulmé. Proof Contexts with Late Binding. In Typed Lambda Calculi and Applications: 7th, TLCA'2005, Pages 324-338, 2005. download
3. Akram Idani, Yves Ledru, Didier Bert. Derivation of UML Class Diagrams as Static Views of Formal B Developments. In ICFEM'05 - Int. Conf. On Formal Engineering Methods, Manchester, November 2005.
4. A. Lakehal, I. Parissis. Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. In 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, USA, November 2005.
5. L. Madani, C. Oriat, I. Parissis, J. Bouchet, L. Nigay. Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. In 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, USA, November 2005.
6. Héctor Ruíz Barradas, Didier Bert. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. In IFM 2005 Conference, November 2005.
7. M. Kessis, Y. Ledru, G. Vandome. Experiences in Coverage Testing of a Java Middleware. In Fifth Int. Workshop on Software Engineering and Middleware (SEM 2005), Pages 39-45, Lisbonne, September 2005.
8. A. Lakehal, I. Parissis. Structural Test Coverage Criteria for Lustre Programs. In 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Pages 35-43, Lisboa, Portugal, September 2005.
9. Catherine Oriat. Jartege: A Tool for Random Generation of Unit Tests for Java Classes. In 2nd International Workshop on Software Quality (SOQUA 2005), Pages 242-256, Erfurt, Germany, September 2005.
10. R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguié Donzeau-Gouge, C. Dubois, F. Peureux. Application of Requirements Analysis Techniques to the analysis of civil aviation security standards. In First International Workshop on Situational Requirements Engineering Processes (SREP'05), organized by IFIP WG8.1 Method Engineering Task Group, in conjunction with the 13th IEEE International Requirements Engineering Conference, Paris, France, August 2005.
11. G. J. Doherty, L. du Bousquet, J. Creissac Campos, E. M. El Atifi, G. Falquet, M. Massink, C. Santoro. Ambience and Mobility. In Interactive Systems, Design, Specification, and Verification (DSV-IS'05), Lecture Notes in Computer Science, Volume 3941, Pages 264-264, Newcastle upon Tyne, UK, July 2005.
12. S. Dupuy-Chessa, L. du Bousquet, J. Bouchet, Y. Ledru. Test of the ICARE platform fusion mechanism. In 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'05), 12 pages, Newcastle upon Tyne, England, July 2005.
13. L. du Bousquet, O. Gaudoin. Telephony feature validation against eventuality properties and interaction detection based on a statistical analysis of the time to service. In Int. Conference on Feature Interactions in Telecommunications and Systems Software (FIW VIII), Pages 78-95, Leicester, UK, June 2005.
14. D. Duval, J.-C. Reynaud. Diagramatic logic and exceptions: an introduction. In Proc. of the Dagstuhl Seminar 05021, Materials, Mathematics, Algorithms, Proofs, http://www.dagstuhl.de/05021/, January 2005.

National conferences or workshops

1. T. Deruyter, J.-C. Fernandez, M.-L. Potet. Modélisation d'architecture pour le reciblage et la paramétrisation d'une chaîne de compilateur DSP. In 18th International Conference Software & Systems Engineering and their Applications - ICSSEA'2005, Paris, November 2005.
2. M. Kessis, Y. Ledru, G. Vandome. Test de couverture des serveurs J2EE : Etude du serveur J2EE JonAS et de sa suite de tests. In 18th International Conference Software & Systems Engineering and their Applications - ICSSEA'2005, 8 pages, Paris, November 2005.
3. V. Darmaillacq, J-C. Fernandez, R. Groz, L. Mounier, J.-L. Richier. Éléments de modélisation pour le test de politiques de sécurité. In Colloque sur les RIsques et la Sécurité d'Internet et des Systèmes, CRiSIS, Bourges, October 2005.
4. A. Kermarrec, R. Groz, B. Parreaux, A. Petrenko. Machines de mutations pour l'enrichissement de test de protocoles. In Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2005), Pages 33-49, Bordeaux, March 2005.
5. L. Madani, L. Nigay, I. Parissis. Testing the care properties of multimodal applications by means of a synchronous approach. In IASTED Int'l Conference on Software Engineering, Innsbruck, Austria, February 2005.

Research Reports

1. H. Ruís Barradas, D. Bert. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. Rapport de Recherche LSR, December 2005. download
2. D. Duval, J.-C. Reynaud. Diagrammatic logic and effects: the example of exceptions. Rapport de Recherche LSR, February 2005.
3. H. Ruíz Barradas, D. Bert. Proof obligations for specification and refinement of liveness properties under weak fairness. Rapport de Recherche LSR, February 2005.

Other communications

1. Y. Ledru. Conformance Test Generation with JML. TAROT Summer School, Paris, 2005.
2. N. Stouls, V. Darmaillacq. Formalisation et implantation de politiques de sécurité de réseaux. Majecstic 2005, Rennes, November 2005.

Thesis and habilitations

1. Olivier Maury. Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire. PhD Thesis Université Joseph Fourier, Grenoble, France, December 2005. download
2. Karim-Cyril Griche. Génération Automatique de bouchons pour le Test Structurel basée sur l'analyse du flot de contrôle. PhD Thesis Université Joseph Fourier, Grenoble, France, July 2005. download
3. Pawel Hadam. Transports nouvelle génération dans les réseaux à très haut débit. PhD Thesis INPG, Grenoble, France, June 2005.
4. Pierre Bontron. Les schémas de test : une abstraction pour la génération de tests de conformité et la mesure de couverture. PhD Thesis Université Joseph Fourier, Grenoble, France, March 2005. download