Publications 2006

Thèses et habilitations à diriger les recherches

1. Héctor Ruíz Barradas. Propriétés de vivacité sous condition d'équité et sémantique des systèmes d'événements avec la méthode B. Thèse de l'Université Joseph Fourier, Grenoble, France, Décembre 2006. download
2. Akram Idani. B/UML : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B. Thèse de l'Université de Grenoble 1, Novembre 2006. download
3. Audrey Kermarrec. Enrichissement de tests de protocoles modélisés par des EFSM. Thèse de l'Institut National Polytechnique de Grenoble, Septembre 2006.
4. Abdesselam Lakehal. Critères de couverture structurelle pour les programmes Lustre. Thèse de l'Université Joseph Fourier, Grenoble, France, Septembre 2006. download

Ouvrages

1. Neelam Gupta, Yves Ledru, Johannes Mayer. Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA2006). ACM Press, Portland (OR), Novembre 2006.

Articles de journaux

1. R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Donzeau-Gouge, C. Dubois, F. Peureux. Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Software Process: Improvement and Practice (SPIP), 11(5):487-503, 2006.
2. Héctor Ruíz Barradas, Didier Bert. Propriétés dynamiques avec hypothèses d'équité en B événementiel. Technique et Science Informatiques, RSTI, 25(1):73-102, 2006.
3. Akram Idani, Yves Ledru. Dynamic Graphical UML Views from Formal B Specifications. Int. Journal of Information and Software Technology, 48(3):154-169, Mars 2006.
4. V. Darmaillacq, J-.C. Fernandez, R. Groz, L. Mounier, J-.L. Richier. Tester la conformité d'un réseau à une politique de sécurité. Revue de l'Electricité et de l'Electronique, 6/7:33-43, 2006.

Conférences internationales

1. Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier. Test Generation for Network Security Rules. In Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko (eds.), Lecture Notes in Computer Science, Volume 3964, Pages 341-356, 2006.
2. Yves Ledru, Lydie du Bousquet. Tobias-Z: An executable formal specification of a test generator. In 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, Demonstration, Pages 353-354, 2006.
3. L. du Bousquet. Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required. In International Conference on Software Engineering Advances (ICSEA'06), Papeete, Tahiti, French Polynesia, Novembre 2006.
4. Besnik Seljimi, Ioannis Parissis. Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs. In 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, USA, Novembre 2006.
5. K. Li, R. Groz, M. Shahbaz. Integration Testing of Distributed Components based on Learning Parameterized I/O Models. In FORTE2006 Paris, LNCS 4229, Pages 436-450, Paris, Septembre 2006.
6. Y. Falcone, J.C. Fernandez, L. Mounier, J.L Richier. A Test Calculus Framework Applied to Network Security Policies. In Formal Approaches to Testing and Runtime Verification (FATES/RV'06), LNCS 4262, Pages 55-69, Seattle, USA, Août 2006.
7. K. Li, R. Groz, M. Shahbaz. Integration testing of components guided by incremental state machine learning. In Testing Academic & Industrial Conference Practice And Research Techniques (TAIC PART), Pages 59-70, Windsor, UK, Août 2006.
8. M. Shahbaz. Incremental Inference of Black-Box Components to Support Integration Testing. In Testing: Academic & Industrial Conference Practice And Research Techniques, (TAIC PART 2006), PhD Programme, Windsor, UK, Août 2006.
9. Y. Ledru, R. Laleau, M. Lemoine, S. Vignes, D. Bert, V. Donzeau-Gouge, C. Dubois, F. Peureux. An attempt to combine UML and formal methods to model airport security. In CAISE Forum 2006 - Proceedings of the Forum of the 18th International Conference on Advanced Information Systems Engineering, N. Boudjlida, N. Guelfi (eds.), Pages 47-50, Presses universitaires de Namur, Luxembourg, Juin 2006.
10. V. Darmaillacq, J-.C. Fernandez, R. Groz, L. Mounier, and J.-L. Richier. Test Generation for Network Security Rules. In 18th IFIP International Conference on Testing Communicating Systems (TestCom 2006), LNCS 3964, Pages 25-27, New York City, USA, Mai 2006.
11. Akram Idani, Yves Ledru, Didier Bert. A Reverse-engineering Approach to Understanding B Specifications with UML Diagrams. In 30th Annual IEEE/NASA Software Engineering Workshop (SEW-30), Loyola College Graduate Center, Columbia MD, USA, Avril 2006.
12. Yves Ledru. Using Jaza to animate RoZ specifications of UML class diagrams. In Proceedings of Int. Z User Meeting (ZUM'06), USA, Avril 2006.
13. B. Blanc, G. Durrieu, A. Lakehal, O. Laurent, B. Marre, I. Parissis, C. Seguin, V. Wiels. Automated functional test case generation from data flow specifications using structural coverage criteria. In 3rd European Congress on Embedded Real Time Software (ERTS2006), Toulouse, France, Janvier 2006.

Communications avec actes

1. L. Nigay, I. Parissis F. Jourde. Test formel de systèmes interactifs multimodaux : couplage ICARE-Lutess. In 19èmes Journées Internationales du génie logiciel (ICSSEA 2006), Paris, France, Décembre 2006.
2. Akram Idani. Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des systèmes d'information : Approche par méta-modélisation. In Actes du 24ème congrès INFORSID, Tunisie, Juin 2006.
3. Didier Bert, Héctor Ruíz Barradas. Développement et preuve de vivacité de l'algorithme distribué de Ricart-Agrawala. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 161-178, ENST, Paris, Mars 2006.
4. Akram Idani, Yves Ledru, Didier Bert. Analyse formelle de concepts pour la génération de diagrammes de classe UML à partir de spécifications B. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 9-24, ENST, Paris, Mars 2006.
5. Nicolas Stouls, Vianney Darmaillacq. Développement formel d'un moniteur détectant les violations de politiques de sécurité de réseaux. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 179-193, ENST, Paris, Mars 2006.