Publications 2005

Thèses et habilitations à diriger les recherches

1. Olivier Maury. Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire. Thèse de l'Université Joseph Fourier, Grenoble, France, Décembre 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. Thèse de l'Université Joseph Fourier, Grenoble, France, Juillet 2005. download
3. Pawel Hadam. Transports nouvelle génération dans les réseaux à très haut débit. Thèse de l'INPG, Grenoble, France, Juin 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. Thèse de l'Université Joseph Fourier, Grenoble, France, Mars 2005. download

Ouvrages

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

Articles de journaux

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.

Conférences internationales

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, Novembre 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, Novembre 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, Novembre 2005.
6. Héctor Ruíz Barradas, Didier Bert. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. In IFM 2005 Conference, Novembre 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, Septembre 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, Septembre 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, Septembre 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, Août 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, Juillet 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, Juillet 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, Juin 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/, Janvier 2005.

Communications avec actes

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, Novembre 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, Novembre 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, Octobre 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, Mars 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, Février 2005.

Rapports de recherche

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

Autres 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, Novembre 2005.