Publications 2009

Books

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

Academic Journals

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, September 2009.
3. Ioannis Parissis, Laya Madani. Automatically testing interactive applications using extended task trees. Journal of Logic and Algebraic Programming, 78(6):454-471, July 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, June 2009.

Book Chapters

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.

International Conferences

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, December 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, November 2009.
7. Muzammil Shahbaz, Roland Groz. Inferring Mealy Machines. In Formal Methods 2009, Pages 207-222, Eindhoven, Netherland, November 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, September 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, September 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, September 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, June 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, June 2009.

National conferences or workshops

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, May 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, January 2009.

Other 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

Thesis and habilitations

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