Publications 2006

Books

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

Academic Journals

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, March 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.

International Conferences

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, November 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, November 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, September 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, August 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, August 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, August 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, June 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, May 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, April 2006.
12. Yves Ledru. Using Jaza to animate RoZ specifications of UML class diagrams. In Proceedings of Int. Z User Meeting (ZUM'06), USA, April 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, January 2006.

National conferences or workshops

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, December 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, June 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, March 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, March 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, March 2006.

Thesis and habilitations

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. PhD Thesis Université Joseph Fourier, Grenoble, France, December 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. PhD Thesis Université de Grenoble 1, November 2006. download
3. Audrey Kermarrec. Enrichissement de tests de protocoles modélisés par des EFSM. PhD Thesis Institut National Polytechnique de Grenoble, September 2006.
4. Abdesselam Lakehal. Critères de couverture structurelle pour les programmes Lustre. PhD Thesis Université Joseph Fourier, Grenoble, France, September 2006. download