Publications 2009

Thèses et habilitations à diriger les recherches

1. Yliès Falcone. Étude et mise en oeuvre de méthodes de validation à l'exécution. Thèse de l'Université Joseph Fourier, Grenoble, France, Novembre 2009. download
2. Muhammad Rabee Shaheen. Validation de Métriques de Testabilité Logicielle pour Les Programmes Objets. Thèse de l'Université Joseph Fourier, Grenoble, France, Octobre 2009.
3. Besnik Seljimi. Test de logiciels synchrones avec la PLC. Thèse de l'Université Joseph Fourier, Grenoble, France, Juillet 2009. download

Ouvrages

1. Yves Ledru, Marc Pantel. Actes des journées nationales du GDR CNRS Génie de la Programmation et du Logiciel. IRIT Press, Toulouse, Janvier 2009.

Articles de journaux

1. F. Dadeau, A. Haddad, T. Moutet. Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès. Technique et Science Informatiques, 28(4):533-563, 2009.
2. L. du Bousquet, M. Nakamura, B. Yan, H. Igaki. Using formal methods to increase confidence in a home network system implementation: a case study. Innovations in Systems and Software Engineering, 5(3):181-196, Septembre 2009.
3. Ioannis Parissis, Laya Madani. Automatically testing interactive applications using extended task trees. Journal of Logic and Algebraic Programming, 78(6):454-471, Juillet 2009. download
4. Akram Idani, Jean-Louis Boulanger, Laurent Philippe. Linking paradigms in safety critical systems. International Journal of Computers and their Applications (IJCA), Special Issue on the Application of Computer Technology to Public Safety and Law Enforcement, 16(2):111-120, Juin 2009.

Chapitres de livres

1. Jean-Louis Boulanger, Alban Rasse, Akram Idani. Models Oriented Approach for developing railway safety-critical systems with UML. In Handbook of Software Engineering Research and Productivity Technologies: Implications of Globalisation, Chapter 19, Information Science Reference, IGI Global, pp. 305-330, 2009.
2. Yves Ledru. Modeling Airport Security Regulations. In Protecting Airline Passengers in the Age of Terrorism, Paul Seidenstat, Francis X. Splane (eds.), pp. 228-246, Greenwood Publishing Group, Praeger Security International, 2009.

Conférences internationales

1. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety-Progress Properties. In Workshop on Runtime Verification (RV 2009), Pages 40-59, 2009.
2. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Enforcement monitoring wrt. the safety-progress classification of properties. In Proceedings of the 2009 ACM Symposium on Applied Computing (SAC 2009), Pages 593-600, 2009.
3. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety-Progress Properties. In Runtime Verification, 9th International Workshop, RV 2009, Lecture Notes in Computer Science, Volume 5779, Pages 40-59, 2009.
4. Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Revisiting the Steam-Boiler Case Study with Lutess : Modeling for Automatic Test Generation. In 12th European Workshop on Dependable Computing, Toulouse, France, 2009.
5. Muhammad Nafees Qamar. Analysis and Composition of Multiple Aspects in Aspect Oriented Programs. In 16th IEEE Asia-Pacific Software Engineering Conference, Pages 223-230, Décembre 2009.
6. Yves Ledru, Alexandre Petrenko, Sergiy Boroday. Using String Distances for Test Case Prioritisation. In 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), J. Grundy, M. Heimdahl, G. Taentzer (eds.), Pages 510-514, Auckland, New Zealand, Novembre 2009.
7. Muzammil Shahbaz, Roland Groz. Inferring Mealy Machines. In Formal Methods 2009, Pages 207-222, Eindhoven, Netherland, Novembre 2009.
8. Muhammad Naeem Irfan. Heuristics for Improving Model Learning Based Software Testing. In Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART 2009), Pages 127-128, Windsor, UK, Septembre 2009.
9. M.-R. Shaheen, L. du Bousquet. Analysis of the introduction of testability antipatterns during the development process. In Fourth International Conference on Software Engineering Advances ICSEA, Pages 128-133, Porto, Portugal, Septembre 2009.
10. M.-R. Shaheen, L. du Bousquet. Is Depth of Inheritance Tree a Good Cost Prediction For Branch Coverage Testing?. In First International Conference on Advances in System Testing and Validation Lifecycle VALID, Pages 42-47, Porto, Portugal, Septembre 2009.
11. Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, German Vega. Service specification and validation in the context of the home. In 10th International Conference on Feature Interactions (ICFI 2009), Pages 207-219, Lisbon, Portugal, Juin 2009.
12. Akram Idani. UML models engineering from static and dynamic aspects of formal specifications. In 14th International Conference on Exploring Modeling Methods for Systems Analysis and Design ; co-located with CAiSE'2009, Springer, LNBIP, Volume 29, Pages 237-250, Amsterdam, The Netherlands, Juin 2009.

Communications avec actes

1. Akram Idani, Yves Ledru, Mohamed-Amine Labiadh. Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B. In INFORSID 2009, Pages 261-276, Toulouse, Mai 2009.
2. Laya Madani, Ahmed M'hiri, Sophie Dupuy-Chessa, Ioannis Parissis. Vers la formalisation de propriétés ergonomiques de systèmes interactifs. In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), Toulouse, France, Janvier 2009.

Autres communications

1. Akram Idani, Yves Ledru, Pierre-Yves Schobbens. Approche formelle pour une Ingénierie des Modèles sûre. Atelier LMO/SafeModel, Nancy, 2009. download