Publications 2007

Thèses et habilitations à diriger les recherches

1. Vianney Darmaillacq. Génération de tests pour les systèmes répartis. Thèse de l'Université Joseph Fourier, Grenoble, France, Décembre 2007.
2. Ioannis Parissis. Méthodes et outils pour le test des logiciels. Habilitation à diriger des recherches de l'Université Joseph Fourier, Grenoble, France, Décembre 2007.
3. Nicolas Stouls. Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés. Thèse de l'Institut Polytechnique de Grenoble, Grenoble, France, Décembre 2007. download
4. Laya Madani. Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs. Thèse de l'Université Joseph Fourier, Grenoble, France, Octobre 2007. download
5. Thomas Deruyter. Modélisation d'architectures DSP pour le reciblage de compilateur. Thèse de l'Institut Polytechnique de Grenoble, Grenoble, France, Juin 2007.

Ouvrages

1. Lydie du Bousquet, Jean-Luc Richier, (eds). Feature Interactions in Software and Communication Systems IX, International Conference on Feature Interactions in Software and Communication Systems, ICFI 2007. IOS Press, Grenoble, France, Septembre 2007.

Articles de journaux

1. Didier Bert, Héctor Ruíz Barradas. Propriétés de vivacité dans les systèmes B. Application à l'algorithme distribué de Ricart-Agrawala. Technique et Science Informatiques, RSTI, série TSI, 26:853-882, 2007.
2. Akram Idani, Yves Ledru, Didier Bert. Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B. Technique et Science Informatiques, RSTI, série TSI, 26, 2007.
3. Akram Idani, Yves Ledru. Object Oriented Concepts Identification from Formal B Specifications. International Journal of Formal Methods in System Design, 30(3):217-232, Juin 2007. download

Chapitres de livres

1. Akram Idani. B2UML vs UML2B: Bridging the gap between formal and graphical software modelling paradigms. In Computer Software Engineering Research, Chapter 6, pp. 161-177, 2007.

Conférences internationales

1. Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes. Validation of Regulation Documents by Automated Analysis of Formal Models. In Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006, Régine Laleau, Michel Lemoine (eds.), CEUR Workshop Proceedings, Volume 241, 2007.
2. Frédéric Dadeau, Yves Ledru, Lydie du Bousquet. Directed random reduction of combinatorial test suites. In RT '07: Proceedings of the 2nd international workshop on Random testing, Pages 18-25, New York, NY, USA, 2007. download
3. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Compositional Testing Framework Driven by Partial Specifications. In Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.), Lecture Notes in Computer Science, Volume 4581, Pages 107-122, 2007.
4. Yves Ledru. A Formalisation of the Soccer Substitution Rules. In Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006, Régine Laleau, Michel Lemoine (eds.), CEUR Workshop Proceedings, Volume 241, 2007.
5. Michel Lemoine, Eduardo R. Lopez Ruiz, Yves Ledru, Didier Bert, Régine Laleau, Fabien Peureux, Fabrice Bouquet, Véronique Donzeau-Gouge, Catherine Dubois, Jean-Frédéric Etienne, Sylvie Vignes. EDEMOI : a methodology for security of air transport system. In 2nd European Conference on Aerospace Sciences (EUCASS), 2007.
6. Muzammil Shahbaz, Roland Groz. Using Invariant Detection Mechanism in Black Box Inference. In ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007, Yamine A\"\it Ameur, Frédéric Boniol, Virginie Wiels (eds.), Revue des Nouvelles Technologies de l'Information, Volume RNTI-SM-1, Pages 215-222, 2007.
7. L. du Bousquet, M. Nakamura, B. Yan, H. Igaki. Using Formal Methods to Increase Confidence in one Home Network System Implementation. Case Study. In Workshop on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007), Poitiers, France, Décembre 2007.
8. Akram Idani, Jean-Louis Boulanger, Laurent Philippe. A generic process and its tool support towards combining UML and B for safety critical systems. In Proceedings of 20th International Conference on Computer Applications in Industry and Engineering (CAINE'2007), Pages 185-192, USA, Novembre 2007.
9. Besnik Seljimi, Ioannis Parissis. Automatic generation of test data generators for synchronous programs: Lutess V2. In DOSTA '07: Workshop on Domain specific approaches to software test automation, Pages 8-12, Dubrovnik, Croatia, Septembre 2007.
10. Muzammil Shahbaz, Benoît Parreaux, Francis Klay. Model inference approach for detecting feature interactions in integrated systems. In International Conference on Feature Interactions in Software and Communication Systems, ICFI 2007, Pages 161-171, Grenoble, France, Septembre 2007.
11. L. du Bousquet, M. Delaunay. Using mutation analysis to evaluate test generation strategies in a synchronous context. In Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), Pages 40-45, Esterel, France, Août 2007.
12. Akram Idani, Dieu-Donné Okalas Ossami, Jean-Louis Boulanger. Commandments of UML for safety. In 2nd IEEE International Conference on Software Engineering Advances (ICSEA'2007), France, Août 2007.
13. A. Bertolino, E. Marchetti, I. Parissis. Perspectives on Data Flow-based Validation of Web Services Compositions. In 3rd Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA), Boston, USA, Juillet 2007.
14. J.-F. Couchot, F. Dadeau. Guiding the Correction of Parameterized Specifications. In 7th Int. Conf. on Integrated Formal Methods (IFM'2007), J. Davies, J. Gibbons (eds.), Pages 176-194, Oxford, UK, Juillet 2007.
15. K. Li, L. Mounier, R. Groz. Test Generation from Security Policies Specified in Or-BAC. In COMPSAC - IWSSE Workshop (IEEE International Workshop on Security in Software Engineering), Pages 255-260, Beijing, Juillet 2007.
16. M. Shahbaz, K. Li, R. Groz. Learning Parameterized State Machine Model for Integration Testing. In COMPSAC - TEST Workshop (IEEE International Workshop on Testing Emerging Software Technology), Pages 755-760, Beijing, Juillet 2007.
17. Sylvain Boulmé. Intuitionistic Refinement Calculus. In Proc. of International Conference on Typed Lambda Calculi and Applications (TLCA 2007), LNCS 4583, Paris, Juin 2007.
18. M. Shahbaz, K. Li, R. Groz. Learning and Integration of Parameterized Components through Testing. In TestCom-Fates'07, LNCS 4581, Pages 319-334, Tallinn, Juin 2007. download
19. B. Yan, M. Nakamura, L. du Bousquet, Ken-ichi Matsumoto. Characterizing Safety of Integrated Services in Home Network System. In 5th International Conference On Smart Homes and Health Telematics (ICOST), Lecture Notes in Computer Science, Volume 4541, Pages 130-140, Nara, Japan, Juin 2007.
20. A. Lakehal, I. Parissis. Automated Measure of Structural Coverage for Lustre/Scade Programs: a Case Study. In Workshop on Automated Software Testing (AST 2007) - satellite event of ICSE 2007, Minnesota, USA, Mai 2007.
21. Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabrice Bouquet. Using Computer Science Modeling Techniques for Airport Security Certification. In Proc. of the First International Conference on Research Challenges in Information Science, Ouarzazate, Maroc, Avril 2007.
22. S. Boroday, A. Petrenko, R. Groz. Can a Model-Checker generate Tests for Non-Deterministic Systems. In Third Workshop on Model-Based Testing (MBT), Pages 3-19, Braga, Portugal, Mars 2007.
23. J. Bouchet, L. Madani, L. Nigay, C. Oriat, I. Parissis. Formal Testing of Multimodal Interactive Systems. In Engineering Interactive Systems (EIS'07), Salamanca, Spain, Mars 2007.
24. Frédéric Dadeau, Yves Ledru, Lydie du Bousquet. Measuring a Java Test Suite Coverage using JML Specifications. In Third Workshop on Model-Based Testing (MBT), Braga, Portugal, Mars 2007.
25. Lydie du Bousquet, Yves Ledru, Frédéric Dadeau, F. Allouti. A Case Study in Matching Test and Proof Coverage. In Third Workshop on Model-Based Testing (MBT), Braga, Portugal, Mars 2007.
26. Lydie du Bousquet et Michel Delaunay. Towards mutation analysis for LUSTRE programs. In Proc. of Model-driven High-level Programming of Embedded Systems (SLA++P), Braga, Portugal, Mars 2007.
27. Sylvain Boulmé, Marie-Laure Potet. Interpreting invariant composition in the B method using the Spec# ownership relation: a way to explain and relax B restrictions. In Proc. of Formal Specification and Development in B, 7th International Conference of B Users (B2007) LNCS 4355, Pages 4-18, Janvier 2007.
28. Nicolas Stouls, Marie-Laure Potet. Security Policy Enforcement Through Refinement Process. In Proc. of Formal Specification and Development in B, 7th International Conference of B Users (B2007), LNCS 4355, Pages 216-231, Janvier 2007.

Communications avec actes

1. Yves Ledru, Régine Laleau, Sylvie Vignes. Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. In Actes du XXVème Congrès INFORSID, Perros-Guirec, France, 22 au 25 mai 2007, Pages 155-170, 2007.
2. Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose. Mastering combinatorial explosion with the tobias-2 test generator. In 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer (eds.), Pages 535-536, 2007.
3. F. Dadeau, A. Haddad, T. Moutet. Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès. In AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels, Namur, Belgique, Juin 2007. download
4. R. Groz, M. Shahbaz, K. Li. Une approche incrémentale de test par extraction de modèles. In AFADL'07 (Approches Formelles dans l'Assistance au Développement de Logiciels, 10ème anniversaire), Namur, Juin 2007.
5. L. Madani, I. Parissis. Vers la génération automatique de tests à partir d'arbres de tâches. In AFADL'07 (Approches Formelles dans l'Assistance au Développement de Logiciels, 10ème anniversaire), Namur, Juin 2007.
6. B. Seljimi, I. Parissis. Test de logiciels synchrones : apports de la programmation par contraintes. In AFADL'07 (Approches Formelles dans l'Assistance au Développement de Logiciels, 10ème anniversaire), Namur, Juin 2007.