Toutes les publications

Load the BibTeX file

Thèses et habilitations à diriger les recherches

1. Fabien Duchene. Detection of Web Vulnerabilities via Model Inference assisted Evolutionary Fuzzing. Thèse de l'Université de Grenoble, France, Juin 2014.
2. Azzeddine Amiar. Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs. Thèse de l'Université de Grenoble, France, Novembre 2013.
3. Sofia Bekrar. Recherche de vulnérabilités logicielles par combinaison d'analyses de code binaire et de frelatage (fuzzing). Thèse de l'Université de Grenoble, France, Octobre 2013.
4. Taha Triki. Réduction et filtrage de tests combinatoires. Thèse de l'Université de Grenoble, France, Octobre 2013.
5. Yves Grasland. Test fonctionnel de propriétés hybrides. Thèse de l'Université de Grenoble, France, Février 2013.
6. Muhammad Naeem Irfan. Analysis and optimization of software model inference algorithms. Thèse de l'Université de Grenoble, Grenoble, France, Septembre 2012. download
7. Muhammad Nafees Qamar. Spécification et animation de modèles de conception de la sécurité avec Z. Thèse de l'Université de Grenoble, Décembre 2011.
8. L. du Bousquet. Contributions à l'automatisation raisonnée de différents processus du test logiciel. Habilitation à diriger des recherches, Grenoble, France, Novembre 2010.
9. Virginia Papailiopoulou. Test automatique de programmes Lustre/SCADE. Thèse de l'Université Joseph Fourier, Grenoble, France, Février 2010. download
10. 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
11. 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.
12. Besnik Seljimi. Test de logiciels synchrones avec la PLC. Thèse de l'Université Joseph Fourier, Grenoble, France, Juillet 2009. download
13. Muzammil Shahbaz. Reverse Engineering Enhanced State Models of Black Box Software Components to support Integration Testing. Thèse de l'Institut Polytechnique de Grenoble, Grenoble, France, Décembre 2008.
14. 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.
15. 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
16. 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.
17. 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
18. Thomas Deruyter. Modélisation d'architectures DSP pour le reciblage de compilateur. Thèse de l'Institut Polytechnique de Grenoble, Grenoble, France, Juin 2007.
19. 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
20. 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
21. Audrey Kermarrec. Enrichissement de tests de protocoles modélisés par des EFSM. Thèse de l'Institut National Polytechnique de Grenoble, Septembre 2006.
22. Abdesselam Lakehal. Critères de couverture structurelle pour les programmes Lustre. Thèse de l'Université Joseph Fourier, Grenoble, France, Septembre 2006. download
23. Olivier Maury. Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire. Thèse de l'Université Joseph Fourier, Grenoble, France, Décembre 2005. download
24. Karim-Cyril Griche. Génération Automatique de bouchons pour le Test Structurel basée sur l'analyse du flot de contrôle. Thèse de l'Université Joseph Fourier, Grenoble, France, Juillet 2005. download
25. Pawel Hadam. Transports nouvelle génération dans les réseaux à très haut débit. Thèse de l'INPG, Grenoble, France, Juin 2005.
26. Pierre Bontron. Les schémas de test : une abstraction pour la génération de tests de conformité et la mesure de couverture. Thèse de l'Université Joseph Fourier, Grenoble, France, Mars 2005. download
27. Jérôme Vassy. Génération automatique de cas de test guidée par des propriétés de sûreté. Thèse de l'Université Joseph Fourier, Grenoble, France, Octobre 2004. download
28. Marie-Laure Potet. Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B. Habilitation à diriger des recherches de l'INPG, Grenoble, France, Décembre 2002. download
29. Stéphane Lo Presti. Langage de spécification et de description de présentations multimédias. Thèse de l'INPG, Grenoble, France, Novembre 2002.
30. Rémy Sanlaville. Architecture logicielle : une expérimentation industrielle avec Dassault Systèmes. Thèse de l'Université Joseph Fourier, Grenoble, France, Mai 2002.
31. Sophie Dupuy. Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information. Thèse de l'Université Joseph Fourier, Grenoble, France, Septembre 2000. download
32. Nicolas Zuanon. Test de spécifications de services de télécommunication. Thèse de l'Université Joseph Fourier, Grenoble, France, Juin 2000.
33. Eric Cheminot. Formalisation de spécifications de logiciels : traitement d'annotations en langue naturelle contrôlée. Thèse de l'INPG, Grenoble, Décembre 1999.
34. L. du Bousquet. Test fonctionnel statistique de systèmes spécifiés en Lustre. Thèse de l'Université Joseph Fourier, Grenoble, France, Septembre 1999.
35. Alain Cougoulic. Simulation de spécifications d'applications de gestion de réseaux de télécommunications. Thèse de l'INPG, Grenoble, Juin 1999.
36. Catherine Oriat. Etude des spécifications modulaires: constructions de colimites finies, diagrammes, isomorphismes. Thèse de l'INPG, Grenoble, France, 1996.
37. Yves Guerte. Dérivation de programmes impératifs à partir de spécifications algébriques. Thèse de l'Université Claude Bernard, 1996.
38. Denis Avrilionis. Mécanismes pour l'évolution et la réutilisation des processus de production des logiciels. Thèse de l'Université Joseph Fourier, Grenoble, France, Octobre 1996.
39. Ioannis Parissis. Test de logiciels synchrones spécifiés en Lustre. Thèse de l'Université Joseph Fourier, Grenoble, France, Septembre 1996.
40. Anamaria Martins. La généralisation : un outil pour la réutilisation. Thèse de l'INPG, Grenoble, France, 1995.

Ouvrages

1. Proceedings of GreHack 2013, the Second International Symposium on Research in Grey-Hat Hacking. Fabien Duchene (ed.), Springer, Grenoble, France, Novembre 2013. download
2. Proceedings of GreHack 2012, the First International Symposium in Grey-Hat Hacking. Fabien Duchene, Jean-Luc Richier (eds.), Grenoble, France, Octobre 2012.
3. Yves Ledru, Anne-Françoise Le Meur, Olivier Caron. Actes des troisièmes journées nationales du GDR CNRS Génie de la Programmation et du Logiciel. Université de Lille, Juin 2011.
4. Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, (eds). Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science, Springer, 2010.
5. Eric Cariou, Laurence Duchien, Yves Ledru. Actes des deuxièmes journées nationales du GDR CNRS Génie de la Programmation et du Logiciel. Université de Pau et des Pays de l'Adour, Mars 2010.
6. 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.
7. Colloque Francophone d'Ingénierie des Protocoles (CFIP'2008). Andrzej Duda, Roland Groz (eds.), Les Arcs, France, Mars 2008.
8. 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.
9. Neelam Gupta, Yves Ledru, Johannes Mayer. Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA2006). ACM Press, Portland (OR), Novembre 2006.
10. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 4ème édition. O'Reilly, Novembre 2005.
11. P. Gruenbacher, Y. Ledru. Special issue. \\ http://www.ercim.org/publication/Ercim\_News/enw58/, Volume 58, ERCIM News on Automated Software Engineering, Juillet 2004.
12. R. Groz, R. M. Hierons. Testing of Communicating Systems, 16th IFIP International Conference, TestCom 2004. Springer, Oxford, UK, Mars 2004.
13. Didier Bert, Henri Habrias, Véronique Viguié Donzeau-Gouge. Méthode B. Volume 22(1), Technique et Science Informatiques, RSTI série TSI, Hermès-Lavoisier, 2003.
14. Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden. ZB 2003: Formal Specification and Development in Z and B, 3rd International Conference of Z and B Users. LNCS 2651, Springer, Turku, Finland, Juin 2003.
15. B. Marre, F. Ouabdesselam. Numéro spécial - Test de logiciel. Volume 21(9), Technique et Science Informatiques, 2002.
16. Y. Ledru, D. Redmiles. Report on the Workshop on State of the Art in Automated Software Engineering. 17th International Conference on Automated Software Engineering, IEEE Computer Society Press, Edinburgh, UK, 2002.
17. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 3ème édition. O'Reilly, Mars 2002.
18. D. Bert, J. P. Bowen, M. C. Henson, K. Robinson. ZB2002: Formal Specification and Development in Z and B, 2nd International Conference of Z and B Users. LNCS 2272, Springer, Grenoble, France, Janvier 2002.
19. Y. Ledru, M.-L. Potet. Numéro spécial - Approches formelles pour l'aide au développement de logiciels. Volume 20(7), Technique et Science Informatiques, 2001.
20. Recent Trends in Algebraic Development Techniques. 14th International Workshop, WADT'99, Château de Bonas, France, September 1999. Selected Papers. Didier Bert, Christine Choppy, Peter Mosses (eds.), Lecture Notes in Computer Science, No 1827, Springer-Verlag, 2000.
21. Actes de l'atelier Approches Formelles dans l'Assistance au Développement des Logiciels (AFADL'2000). Y. Ledru (ed.), IMAG, Grenoble, Janvier 2000.
22. C. Welty, M. Lowry, Y. Ledru. Guest Editorial - special issue on ASE'97. Automated Software Engineering, Volume 6, Kluwer Academic Publisher, Boston, MA, 1999.
23. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 2ème édition. O'Reilly, Juin 1999.
24. Didier Bert. Proceedings of the 2nd Int. B Conference, B'98: Recent Advances in the Development and Use of the B Method. Lecture Notes in Computer Science, No 1393, Springer-Verlag, 1998.
25. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique. O'Reilly, Mars 1998.

Articles de journaux

1. Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh. Validation of IS Security Policies featuring Authorisation Constraints. International Journal of Information System Modeling and Design (IJISMD), 2014.
2. Yliès Falcone, Hervé Marchand. Enforcement and Validation (at runtime) of Various Notions of Opacity. Discrete Event Dynamic Systems, 2014.
3. Y. Falcone, M. Jaber, Th-H. Nguyen, M. Bozga, S. Bensalem. Runtime Verification of Component-Based Systems in the BIP Framework with Formally-Proved Sound and Complete Instrumentation. SOSYM, SOftware and SYstem Modeling, 2013.
4. Michele Amoretti, Gianluigi Ferrari, Jean-Luc Richier, Andrzej Duda. Patents on IPv6-Related Technologies. Recent Patents on Computer Science, 6(3):170-180, 2013.
5. M. Shahbaz, R. Groz. Analysis and testing of black-box component based systems by inferring partial models. Software Testing, Verification and Reliability, Février 2013. download
6. Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran. Prioritising Test Cases with String Distances. Journal of Automated Software Engineering, 19(1):65-95, 2012. download
7. Yves Ledru, Lydie du Bousquet. Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test. Technique et Science Informatiques, RSTI, série TSI, 31(6):743-767, 2012.
8. Y. Falcone, J.-C. Fernandez, L. Mounier. What can you Verify and Enforce at Runtime?. STTT: Software Tools for Technology Transfer, Special issue on Runtime Verification, Invited paper, (3):349-382, 2012.
9. Y. Falcone, J.-C. Fernandez, T. Jéron, H. Marchand, L. Mounier. More testable properties. (4):407-437, 2012.
10. J. Milhau, A. Idani, R. Laleau, M. A. Labiadh, Y. Ledru, M. Frappier. Combining UML, ASTD and B for the formal specification of an access control filter. Innov. Syst. Softw. Eng, 7:303-313, Décembre 2011.
11. Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design, 38(3):223-262, Juin 2011.
12. Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet. Reusing a JML specification dedicated to verification for testing, and vice-versa: case studies. Journal of Automatic Reasoning, Special issue on Tests and Proofs, 45(4):415-435, 2010.
13. Akram Idani, Mohamed-Amine Labiadh, Yves Ledru. Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B. Ingénierie des Systèmes d'Information, 15(3):87-112, 2010.
14. 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.
15. 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.
16. 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
17. 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.
18. B. Yan, M. Nakamura, L. du Bousquet, K.-I. Matsumoto. Validating Safety for Integrated Services of Home Network System Using JML. Journal of Information Processing (IPSJ), 16:38-49, 2008.
19. Lydie du Bousquet, Michel Delaunay. Towards Mutation Analysis for Lustre Programs. Electr. Notes Theor. Comput. Sci, 203(4):35-48, 2008.
20. Abdesselam Lakehal, Ioannis Parissis. Structural coverage criteria for LUSTRE/SCADE programs. Software Testing, Verification and Reliablity, 2008.
21. 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. Ingénierie des Systèmes d'Information, RSTI, série ISI, 13(4):133-157, 2008.
22. Roland Groz, Muzammil Shahbaz, K. Li. Extraction de modèles paramétrés au cours du test de composants logiciels. Technique et Science Informatiques, 27(8):977-1006, 2008.
23. 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.
24. 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.
25. 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
26. 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.
27. 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.
28. 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.
29. 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.
30. Mehdi Kessis, Yves Ledru, Gérard Vandome. Test de couverture des serveurs J2EE : Etude du serveur JOnAS et de sa suite de tests. Génie Logiciel, 74:37-42, 2005.
31. F. Badeau, D. Bert, S. Boulmé, C. Métayer, M.-L. Potet, N. Stouls, L. Voisin. Adaptabilité et validation de la traduction de B vers C - Points de vue du projet BOM. Technique et Science Informatiques, RSTI, série TSI, 23(7):879-903, 2004.
32. A. Petrenko, S. Boroday, R. Groz. Confirming Configurations in EFSM Testing. IEEE Trans. Software Engineering, 30(1):29-42, 2004.
33. P. Bontron, M.-L. Potet. Stratégie de couverture de test à un haut niveau d'abstraction. Technique et Science Informatiques, 23(7):905-928, 2004.
34. Marie-Laure Potet. Spécifications et développements structurés dans la méthode B. Technique et Science Informatiques, RSTI série TSI, 22(1):61-88, 2003.
35. Y. Le Traon, F. Ouabdesselam, C. Robach, B. Baudry. From Diagnosis to Diagnosability: Axomatisation, Measurement and Application. Journal of Systems and Software, 65(1):33-50, Janvier 2003.
36. I. Parissis. Test de spécifications de logiciels synchrones. Technique et Science Informatiques, 21(9):1243-1264, 2002.
37. Stéphane Lo Presti, Didier Bert, Andrzej Duda. TAO: Temporal Algebraic Operators for modeling multimedia presentations. Journal of Network and Computer Applications, 25(4):319-342, Octobre 2002.
38. D. Bert. Spécification algébrique et prototypage du ``contrôle d'accès'' en LPG. Technique et Science Informatiques, 20(7):849-873, 2001.
39. F. Duclos, J. Estublier, R. Sanlaville. Architectures Ouvertes pour l'Adaptation des Logiciels. Revue Génie Logiciel, 58:19-25, Septembre 2001.
40. Catherine Oriat. Detecting Equivalence of Modular Specifications with Categorical Diagrams. TCS, 247:141-190, 2000. download
41. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. L'Objet, numéro thématique Méthodes formelles pour les objets, 6(1), 2000.
42. L. du Bousquet, S. Dupuy. A Multi-Formalism Approach for the validation of UML models. Formal Aspects of Computing, Résumé de deux pages, à paraître, 2000.
43. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Feature interaction detection using synchronous approach and testing. Computer Networks and ISDN Systems, 32(4):419-431, Avril 2000.
44. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Test et approche synchrone pour la détection d'interactions de services téléphoniques. Calculateurs Parallèles, Réseaux et Systèmes répartis, 11(4):419-446, Décembre 1999.
45. Y. Ledru. Specification and animation of a bank transfer using KIDS/VDM. Automated Software Engineering, 4:33-51, 1997.
46. Dominique Duval, Jean-Claude Reynaud. Sketches and Computation over fields. Mathematics and Computers in Simulation, 42:363-376, 1996.
47. Didier Bert, Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Jean-Claude Reynaud. Spécification, Généricité, Prototypage : Aspects du langage LPG. Technique et Science Informatiques, 14(9):1097-1129, 1995.
48. . 0.

Chapitres de livres

1. Y. Falcone, K. Havelung, G. Reger. A Tutorial on Runtime Verification. In Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems, Manfred Broy, Doron Peled (eds.), pp. 141-176, IOS Press, 2013.
2. Muhammad Naeem Irfan, Catherine Oriat, Roland Groz. Model Inference and Testing. In Advances in Computers, Atif Memon (ed.), Vol. 89, pp. 89-139, Elsevier, Avril 2013.
3. 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.
4. 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.
5. Antonia Bertolino, Eda Marchetti, Ioannis Parissis Cesare Bartolini. Data Flow-based Validation of Web Services Compositions: Perspectives and Examples. In Architecting Dependable Systems V, LNCS 5135, 2008.
6. 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.
7. J. Estublier, J.-M. Favre, R. Sanlaville. An Industrial Experience with Dassault Systèmes' Component Model. In Building Reliable Component-Based Software Systems, Ivica Crnkovic, Magnus Larsson (eds.), pp. 375-386, Artech House Publishers, Juillet 2002.
8. Marie-Laure Potet. Composition des machines et des raffinements. In Spécification formelle avec B, Henri Habrias (ed.), pp. 301-332, Hermes-Lavoisier, Science Publications, 2001.
9. Hubert Baumeister, Didier Bert. Software Specification Methods: An Overview Using a Case Study. (à paraître), (à paraître), Chap. 0, (Eds: M. Frappier, H. Habrias), FACIT, Springer-Verlag, 2000.
10. S. Dupuy, A. Front-Conte, C. Saint-Marcel. Using UML with a Behaviour-Driven Method. In Software Specification Methods: An Overview Using a Case Study, à paraître, M. Frappier, H. Habrias (eds.), à paraître, Springer, 2000.
11. D. Avrilionis, I. Robertson, P.-Y. Cunin, B. Warboys. Meta-Process. In Software Process Technology Principles, J.-C. Derniame, A. Fuggetta (eds.), Chap. 2, Wiley, 1999.
12. Y. Ledru, M.-L. Potet. A VDM specification of the steam-boiler problem. In Steam-Boiler Case Study, pp. 283-317, Springer, 1996.

Conférences internationales

1. Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat. Inferring finite state machines without reset using state identification sequences. In Proceedings of the International Conference on Testing Software and Systems, ICTSS 2015, Dubai, Novembre 2015.
2. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Regular Timed Properties. In 29th Symposium On Applied Computing (SAC 2014), Pages 1279-1286, 2014.
3. Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez. Efficient and Generalized Decentralized Monitoring of Regular Languages. In 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14), LNCS, 2014.
4. Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier. Automatic Model Inference of Web Applications for Security Testing. In 5th International Workshop on Security Testing (SECTEST 2014), Workshop of the IEEE 7th International Conference on Software Testing, Verification and Validation (ICST 2014), 2014.
5. Amira Radhouani, Akram Idani, Yves Ledru. Extraction of Insider Attack Scenarios for a Formal Information System Modeling. In Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference, Véronique Cortier, Riadh Robbana (eds.), Volume 1158, Pages 5-19, 2014.
6. Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru. B Formal Validation of ERTMS/ETCS Railway Operating Rules. In 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Yamine Aït Ameur, Klaus-Dieter Schewe (eds.), LNCS, Volume 8477, Pages 124-129, 2014.
7. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. In 12th IFAC - IEEE International Workshop on Discrete Event Systems, 2014.
8. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. KameleonFuzz: Evolutionary Fuzzing for Black-Box XSS Detection. In Fourth ACM Conference on Data and Application Security and Privacy (CODASPY 2014), Mars 2014. download
9. Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat. Model Inference and Security Testing in the SPaCIoS Project. In IEEE Working Conference on Reverse Engineering, CSMR-WCRE 2014, Pages 411-414, Antwerp, Belgium, Février 2014.
10. Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat. Inferring Approximated Models for Systems Engineering. In 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), Pages 249-253, Miami, Florida, USA, Janvier 2014.
11. Mickaël Delahaye, Nikolai Kosmatov. A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools. In Runtime Verification (RV 2013), LNCS, Volume 8174, Pages 328-333, Rennes, France, 2013.
12. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. Single-Trace Fault Localization in Embedded Software. In 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pages 148-157, Pasadena, CA, USA, 2013.
13. Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, Julien Botella, Safouan Taha. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Pages 431-438, Luxembourg, 2013. download
14. Sanjay Rawat, Fabien Duchene, Roland Groz, Jean-Luc Richier. Evolving Indigestible Codes: Fuzzing Interpreters with Genetic Programming. In IEEE Symposium on Computational Intelligence in Cyber Security (CICS 2013), in association with the IEEE Symposium Series on Computational Intelligence (SSCI 2013), Pages 37-39, Singapore, Singapore, 2013.
15. Muhammad Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu. Automated Reviewing of Healthcare Security Policies. In Postproceedings of the 2nd Intl Symposium on the Foundations of Health Information Engineering and Systems - FHIES 2012, Lecture Notes in Computer Science, Volume 7789, Pages 176-193, 2013.
16. Yliès Falcone, Sebastian Currea, Mohamad Jaber. Runtime Verification and Enforcement for Android Applications with RV-Droid. In Third International Conference on Runtime Verification, RV 2012, Pages 88-95, 2013.
17. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo. Runtime Enforcement of Timed Properties. In Third International Conference on Runtime Verification, RV 2012, Pages 229-244, 2013.
18. Yliès Falcone, Hervé Marchand. Runtime Enforcement of K-step Opacity. In 52nd IEEE Conference on Decision and Control (CDC 2013), Pages 7271-7278, Florence, Italy, Décembre 2013.
19. Fabien Duchene. Fuzz in the Dark: Genetic Algorithm for Black-Box Fuzzing. In Black-Hat, São Paulo, Brazil, Novembre 2013.
20. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. LigRE: Reverse-Engineering of Control and Data Flow Models for Black-Box XSS Detection. In Working Conference in Reverse Engineering (WCRE 2013), Volume 20, Pages 252-261, Koblenz-Landau, Germany, Octobre 2013.
21. Mickaël Delahaye, Lydie du Bousquet. A Comparison of Mutation Analysis Tools for Java. In International Conference on Quality Software (QSIC 2013), Pages 187-195, Juillet 2013.
22. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. Compressing Microcontroller Execution Traces to Assist System Analysis. In International Embedded Systems Symposium (IESS), Pages 139-150, Juin 2013.
23. Akram Idani, Yves Ledru, Adil Anwar. A rigorous reasoning about model transformations using the B method. In International Conference on Exploring Modelling Methods for Systems Analysis and Design (EMMSAD'2013), held at CAiSE 2013, Pages 426-440, Valencia, Spain, Juin 2013.
24. Y. Grasland, L du Bousquet, R. Groz, I. Parissis. A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. In Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Pages 104-113, Luxembourg, Avril 2013.
25. Mickaël Delahaye, Nikolai Kosmatov, Julien Signoles. Common Specification Language for Static and Dynamic Analysis of C Programs. In 28th Annual ACM Symposium on Applied Computing (SAC 2013), Pages 1230-1235, Mars 2013.
26. Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier. Automatic generation of test drivers for model inference of web applications. In Fourth International Workshop on Security Testing (SECTEST 2013), Workshop of the IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Pages 441-444, Luxembourg, Mars 2013.
27. Mickaël Delahaye, Nikolai Kosmatov. A Late Treatment of C Precondition in Dynamic Symbolic Execution. In Fifth Workshop on the Constraints in Software Testing, Verification and Analysis (CSTVA 2013), Pages 230-231, Mars 2013.
28. Muhammad Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu. Automated Reviewing of Healthcare Security Policies. In Preproceedings of the 2nd Intl Symposium on the Foundations of Health Information Engineering and Systems - FHIES 2012, Pages 176-193, 2012.
29. Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard. Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. In FM 2012: Formal Methods - 18th International Symposium, Pages 68-84, 2012.
30. Andreas Klaus Bauer, Yliès Falcone. Decentralised LTL Monitoring. In FM 2012: Formal Methods - 18th International Symposium, Pages 85-100, 2012.
31. Jan Olaf Blech, Yliès Falcone, Klaus Becker. Towards Certified Runtime Verification. In Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Lecture Notes in Computer Science, Volume 7635, Pages 494-509, 2012.
32. Yliès Falcone, Lenore D. Zuck. Runtime Verification: The Application Perspective. In Proceedings of the 5th International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 284-291, 2012.
33. Jan Olaf Blech, Yliès Falcone, Harald Ruess, Bernhard Schätz. Behavioral Specification Based Runtime Monitors for OSGi Services. In Proceedings of the 5th International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 405-419, 2012.
34. Yliès Falcone, Sebastian Currea. Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud. In IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Pages 350-353, 2012. download
35. Yliès Falcone, Sebastian Currea, Mohamad Jaber. Runtime Verification and Enforcement for Android Applications with RV-Droid. In Runtime Verification, Third International Conference, RV 2012, Pages 88-95, 2012.
36. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo. Runtime Enforcement of Timed Properties. In Runtime Verification, Third International Conference, RV 2012, Pages 229-244, 2012.
37. Roland Groz, Muhammad Naeem Irfan, Catherine Oriat. Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. In Proceedings of the International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 444-457, Octobre 2012.
38. Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE. In 24th International Conference on Software and Systems Engineering and their Applications (ICSSEA 2012), Pages 1-7, Octobre 2012.
39. Muhammad Naeem Irfan, Roland Groz, Catherine Oriat. Improving Model Inference of Black Box Components having Large Input Test Set. In Proceedings of the 11th International Conference on Grammatical Inference, ICGI 2012, Pages 133-138, Septembre 2012.
40. Mickaël Delahaye, Lionel C. Briand, Arnaud Gotlieb, Matthieu Petit. MuTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization. In International Conference on Software Security and Reliability (SERE 2012), Pages 197-206, Gaithersburg, Maryland, USA, Juin 2012.
41. Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier. XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. In Fifth International Conference on Software Testing, Verification and Validation, ICST 2012, Pages 815-817, Montreal, QC, Canada, Avril 2012. download
42. Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier. A Taint Based Approach for Smart Fuzzing. In Fifth International Conference on Software Testing, Verification and Validation, ICST 2012, Pages 818-825, Montreal, QC, Canada, Avril 2012. download
43. Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella. Model-based filtering of combinatorial test suites. In Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), LNCS, Volume 7212, Pages 439-454, Tallinn, Estonia, Mars 2012.
44. Y. Falcone, M. Jaber, Th-H. Nguyen, M. Bozga, S. Bensalem. Runtime Verification of Component-Based Systems. In SEFM11: International Conference of Software Engineering and Formal Methods, Pages 204-220, 2011.
45. Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis. Home Automation Systems Testing : A Coverage Measure for Hybrid Automata. In Proceedings of the 23rd IFIP Int. Conference on Testing Software and Systems, ICTSS'2011, Burkhart Wolff, Fatiha Zaidi (eds.), Pages 5-12, Paris, France, Novembre 2011.
46. Muhammad Nafees Qamar, Yves Ledru, Akram Idani. Validation of Security-Design Models using Z. In Proceedings of the 13th International Conference on Formal Engineering Methods (ICFEM 2011), LNCS, Volume 6991, Pages 259-274, Durham, United Kingdom, Octobre 2011.
47. Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis. Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. In Workshop on Formal Methods for Industrial Critical Systems (FMICS), Pages 85-101, Trento, Italie, Août 2011. download
48. Yves Ledru, Jean-Luc Richier, Akram Idani, Mohamed-Amine Labiadh. From KAOS to RBAC: A Case Study in Designing Access Control Rules from a Requirements Analysis. In Conference on Network and Information Systems Security (SAR-SSI 2011), Pages 157-164, La Rochelle, France, Mai 2011. download
49. Laya Madani, Ioannis Parissis. Automatically testing interactive multimodal systems using task trees and fusion models. In Proceeding of the 6th international workshop on Automation of Software Test (AST'11), Pages 43-49, États-Unis, Mai 2011. download
50. Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier. Finding Software Vulnerabilities by Smart Fuzzing. In IEEE Fourth International Conference on Software Testing, Verification and Validation, ICST 2011, Pages 427-430, Berlin, Germany, Mars 2011.
51. Yves Grasland. Testing Resource Usage in Home Automation Systems. In Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST'11) (short paper: 4 pages), Pages 419-422, Berlin, Mars 2011.
52. Yves Ledru, Muhammad Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh. Validation of Security Policies by the Animation of Z Specifications. In SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Ruth Breu, Jason Crampton, Jorge Lobo (eds.), Pages 155-164, Innsbruck, Austria, 2011.
53. Lydie du Bousquet. A New Approach for Software Testability. In Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference (TAIC PART), Lecture Notes in Computer Science, Volume 6303, Pages 207-210, Windsor, UK, 2010.
54. Lydie du Bousquet, Michel Lévy. Proof Process Evaluation with Mutation Analysis. In Tests and Proofs(TAP), Lecture Notes in Computer Science, Volume 6143, Pages 55-60, Malaga, Spain, 2010.
55. Ajitha Rajan, Lydie du Bousquet, Yves Ledru, German Vega, Jean-Luc Richier. Assertion-based test oracles for home automation systems. In Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES'10, Pages 45-52, New York, NY, USA, 2010. download download
56. Muhammad Naeem Irfan. State Machine Inference in Testing Context with Long Counterexamples. In Third International Conference on Software Testing, Verification and Validation, ICST 2010, Pages 508-511, Paris, France, 2010.
57. Khaled El-Fakih, Roland Groz, Muhammad Naeem Irfan, Muzammil Shahbaz. Learning Finite State Models of Observable Nondeterministic Systems in a Testing Context. In 22nd IFIP International Conference on Testing Software and Systems, Pages 97-102, Natal, Brazil, 2010.
58. Mariam Lahami, Moez Krichen, Akram Idani, Mohamed Jmaiel. A generic process to build reliable distributed software components from early to late stages of software development. In Sixth IEEE International Conference on Computer Engineering and Systems (ICCES'10), Pages 287-292, Cairo, Egypt, Novembre 2010.
59. Tor Stalhane, Guttorm Sindre, Lydie du Bousquet. Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases. In Advanced Information Systems Engineering, 22nd International Conference (CAiSE), Lecture Notes in Computer Science, Volume 6051, Pages 165-179, Hammamet, Tunisia, Juin 2010.
60. Ioannis Parissis, Laya Madani, Virginia Papailiopoulou. Towards a testing methodology for reactive systems: a case study of a landing gear controller. In Proceedings of the 3th International Conference on Software Testing and Verification (ICST 2010), Pages 489-497, Paris, France, 2010. download
61. 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.
62. 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.
63. 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.
64. 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.
65. 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.
66. 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.
67. Muzammil Shahbaz, Roland Groz. Inferring Mealy Machines. In Formal Methods 2009, Pages 207-222, Eindhoven, Netherland, Novembre 2009.
68. 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.
69. 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.
70. 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.
71. 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.
72. 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.
73. Muhammad-Rabee Shaheen, Lydie du Bousquet. Quantitative analysis of testability antipatterns on open source Java applications. In 12th ECOOP Workshop on Quantitative Approaches on Object Oriented Software Engineering, 2008.
74. Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz. Modular System Verification by Inference, Testing and Reachability Analysis. In Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.), Lecture Notes in Computer Science, Volume 5047, Pages 216-233, 2008.
75. Virginia Papailiopoulou. Automatic Test Generation for LUSTRE/SCADE Programs. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008) - Doctoral Symposium, 15-19 September 2008, L'Aquila, Italy, Pages 517-520, 2008.
76. Akram Idani, Bernard Coulette. Towards reverse-engineering of UML views from structured formal developments. In 10th International Conference on Enterprise Information Systems (ICEIS'08), Pages 94-103, Spain, 2008.
77. Lydie du Bousquet, Muhammad-Rabee Shaheen. Relation between Depth of Inheritance Tree and Number of Methods to Test. In First International Conference on Software Testing, Verification, and Validation, ICST 2008, Pages 161-170, Lillehammer, Norway, Avril 2008.
78. Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. j-POST: a Java Toolchain for Property-Oriented Software Testing. In Fourth Workshop on Model-Based Testing (MBT'08), a satellite event of ETAPS'08, March 29 - April 6, 2008, Budapest, Electronic Notes in Theoretical Computer Science, Volume 220(1), Pages 29-41, Mars 2008.
79. Luca Ferro, Laurence Pierre, Yves Ledru, Lydie du Bousquet. Generation of test programs for the assertion-based verification of TLM models. In Design and Test Workshop, 2008. IDT 2008. 3rd International, Pages 237-242, 2008. download download
80. 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.
81. 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.
82. 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
83. 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.
84. 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.
85. 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.
86. 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.
87. 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.
88. 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.
89. 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.
90. 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.
91. 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.
92. 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.
93. 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.
94. 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.
95. 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.
96. 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.
97. Sylvain Boulmé. Intuitionistic Refinement Calculus. In Proc. of International Conference on Typed Lambda Calculi and Applications (TLCA 2007), LNCS 4583, Paris, Juin 2007.
98. 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
99. 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.
100. 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.
101. 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.
102. 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.
103. 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.
104. 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.
105. 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.
106. 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.
107. 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.
108. 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.
109. 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.
110. 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.
111. 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.
112. 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.
113. 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.
114. 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.
115. 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.
116. 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.
117. 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.
118. Yves Ledru. Using Jaza to animate RoZ specifications of UML class diagrams. In Proceedings of Int. Z User Meeting (ZUM'06), USA, Avril 2006.
119. 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.
120. 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.
121. Didier Bert, Marie-Laure Potet, Nicolas Stouls. GeneSyst: A Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. In ZB2005 Conference, Pages 299-318, 2005.
122. V. Prevosto, S. Boulmé. Proof Contexts with Late Binding. In Typed Lambda Calculi and Applications: 7th, TLCA'2005, Pages 324-338, 2005. download
123. Akram Idani, Yves Ledru, Didier Bert. Derivation of UML Class Diagrams as Static Views of Formal B Developments. In ICFEM'05 - Int. Conf. On Formal Engineering Methods, Manchester, Novembre 2005.
124. Héctor Ruíz Barradas, Didier Bert. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. In IFM 2005 Conference, Novembre 2005.
125. A. Lakehal, I. Parissis. Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. In 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, USA, Novembre 2005.
126. L. Madani, C. Oriat, I. Parissis, J. Bouchet, L. Nigay. Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. In 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, USA, Novembre 2005.
127. M. Kessis, Y. Ledru, G. Vandome. Experiences in Coverage Testing of a Java Middleware. In Fifth Int. Workshop on Software Engineering and Middleware (SEM 2005), Pages 39-45, Lisbonne, Septembre 2005.
128. A. Lakehal, I. Parissis. Structural Test Coverage Criteria for Lustre Programs. In 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Pages 35-43, Lisboa, Portugal, Septembre 2005.
129. Catherine Oriat. Jartege: A Tool for Random Generation of Unit Tests for Java Classes. In 2nd International Workshop on Software Quality (SOQUA 2005), Pages 242-256, Erfurt, Germany, Septembre 2005.
130. R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguié Donzeau-Gouge, C. Dubois, F. Peureux. Application of Requirements Analysis Techniques to the analysis of civil aviation security standards. In First International Workshop on Situational Requirements Engineering Processes (SREP'05), organized by IFIP WG8.1 Method Engineering Task Group, in conjunction with the 13th IEEE International Requirements Engineering Conference, Paris, France, Août 2005.
131. S. Dupuy-Chessa, L. du Bousquet, J. Bouchet, Y. Ledru. Test of the ICARE platform fusion mechanism. In 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'05), 12 pages, Newcastle upon Tyne, England, Juillet 2005.
132. G. J. Doherty, L. du Bousquet, J. Creissac Campos, E. M. El Atifi, G. Falquet, M. Massink, C. Santoro. Ambience and Mobility. In Interactive Systems, Design, Specification, and Verification (DSV-IS'05), Lecture Notes in Computer Science, Volume 3941, Pages 264-264, Newcastle upon Tyne, UK, Juillet 2005.
133. L. du Bousquet, O. Gaudoin. Telephony feature validation against eventuality properties and interaction detection based on a statistical analysis of the time to service. In Int. Conference on Feature Interactions in Telecommunications and Systems Software (FIW VIII), Pages 78-95, Leicester, UK, Juin 2005.
134. D. Duval, J.-C. Reynaud. Diagramatic logic and exceptions: an introduction. In Proc. of the Dagstuhl Seminar 05021, Materials, Mathematics, Algorithms, Proofs, http://www.dagstuhl.de/05021/, Janvier 2005.
135. Y. Ledru, L. du Bousquet, O. Maury, P. Bontron. Filtering TOBIAS combinatorial test suites. In Proceedings of ETAPS/FASE'04 - Fundamental Approaches to Software Engineering, Pages 281-294, Barcelona, 2004.
136. L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J.-L. Lanet. A case study in JML-based software validation (short paper). In Proceedings of 19th Int. IEEE Conf. on Automated Sofware Engineering (ASE'04), Pages 294-297, Linz, Septembre 2004.
137. Akram Idani, Yves Ledru. Object Oriented Concepts Identification from Formal B Specifications. In Proceedings of 9th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), ENTCS 133 (2005), Elsevier, Pages 159-174, Linz, Septembre 2004. download
138. N. Stouls, M.-L. Potet. Explicitation du contrôle de développement B événementiel. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 13-28, LIFC, Besançon, Juin 2004.
139. H. Ruíz Barradas, D. Bert. Propriétés dynamiques avec hypothèses d'équité en B événementiel. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 299-313, LIFC, Besançon, Juin 2004.
140. Y. Ledru, S. Dupuy, H. Fadil. Towards Computer-Aided Design of OCL Constraints. In Proceedings of CAISE'04 Workshops Vol. 1 -EMMSAD'04: Evaluating Modeling Methods for Systems Analysis and Design, Pages 329-338, Riga, Juin 2004.
141. F. Ouabdesselam. Testing Synchronous Reactive Software Against Formal Properties. In 16th IFIP International Conference, TestCom 2004, Invited Talk, Oxford, UK, Mars 2004.
142. I. Parissis, J. Vassy. Thoroughness of Specification-Based Testing of Synchronous Programs. In 14th IEEE International Symposium on Software Reliability Engineering (ISSRE 2003), Pages 191-202, Denver, Colorado, Novembre 2003.
143. Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin. Adaptable Translator of B Specifications to Embedded C Programs. In FME 2003: Formal Methods, Pages 94-113, Pise, Septembre 2003.
144. F. Ouabdesselam. Black-box Testing of Reactive Synchronous Software. In Worshop on Testing Real-Time and Embedded Systems, FME 2003, Invited Talk, Pise, Septembre 2003.
145. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Testing about some eventuality properties of synchronous software: a case study. In Synchronous Languages, Applications, and Programming (SLAP'03), Pages 105-121, Juillet 2003.
146. K. Berkani, R. Cave, S. Coudert, F. Klay, P. Le Gall, F. Ouabdesselam, J.-L. Richier. An Environment for Interactive Service Specification. In 7th International Workshop on Feature Interactions in Telecommunication and Software Systems (FIW'03), Pages 25-41, Ottawa, Juin 2003.
147. Frédéric Badeau, Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin. Traduction de B vers des langages de programmation : points de vue du projet BOM. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, J.-M. Jézéquel (ed.), Pages 87-102, IRISA, Rennes, Janvier 2003.
148. Pierre Bontron, Marie-Laure Potet. Stratégies de couvertures de tests à haut niveau d'abstraction. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, J.-M. Jézéquel (ed.), Pages 173-188, IRISA, Rennes, Janvier 2003.
149. O. Maury, Y. Ledru, P. Bontron, L. du Bousquet. Using TOBIAS for the automatic generation of VDM test cases. In Third VDM Workshop (in conjunction with FME2002), 15 pages, Copenhagen, Danemark, 2002.
150. H. Ruíz Barradas, D. Bert. Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. In Integrated Formal Methods (IFM 2002), Pages 360-379, Turku, Mai 2002.
151. S. Boulmé, G. Hamon. Certifying synchrony for free. In Logic for Programming and Reasonning, LPAR'01, Pages 495-506, 2001.
152. L. du Bousquet, H. Martin, J.-M. Jézéquel. Conformance Testing from UML specifications, Experience Report. In p-UML workshop, Gesellschaft für Informatik (GI) für Informatik (GI) (ed.), Volume P-7, Pages 43-56, Toronto, Canada, 2001.
153. Y. Ledru, S. Dupuy. From UML to Z, a support for requirements engineering with RoZ. In Formal Methods Europe 2001, Tutorial, 2001.
154. L. du Bousquet. An Approach to Evaluate Testability. In 2nd Int. Workshop on Automated Program Analysis, Testing, and Verification (WAPATAV), 4 pages, Toronto, Canada, 2001.
155. R. Sanlaville, J.-M. Favre, Y. Ledru. Helping Various Stakeholders to Understand a Very Large Component-Based Software. In Euromicro Workshop on Component-Based Software Engineering, Pages 104-113, Warsaw, 2001.
156. I. Parissis, J. Vassy. Strategies for Automated Specification-based Testing of Synchronous Software. In 16th IEEE International Conference on Automated Software Engineering, Pages 364-367, San Diego, USA, Novembre 2001.
157. Y. Ledru, L. du Bousquet, P. Bontron, O. Maury, C. Oriat, M.-L. Potet. Test purposes: adapting the notion of specification to testing. In Proceedings of the 16th International Conference on Automated Software Engineering, Pages 127-134, San Diego, Novembre 2001.
158. J.-M. Favre, H. Cervantes, F. Duclos, R. Sanlaville, J. Estublier. Issues in Reengineering the Architecture of Component-Based Software. In SWARM forum (Software Architecture Recovery and Modeling) at WCRE'2001 (Working Conference on Reverse Engineering), Pages 36-41, Stuttgart, Germany, Octobre 2001.
159. J.-M. Favre, F. Duclos, J. Estublier, R. Sanlaville, J.-J. Auffret. Describing and Supporting an Industrial Software Component Model. In Proceedings of the 5th European Conference on Software Maintenance and Reengineering (CSMR 2001), Pages 95-104, Lisbon, Portugal, Mars 2001.
160. F. Ouabdesselam. Approaches and Tools for Synchronous System Testing. In Workshop on Formal design of Safety Critical Embedded Systems (FEMSYS), Invited Talk, Munich, Germany, Mars 2001.
161. Didier Bert, Stéphane Lo Presti. Algebraic Specification of Operator-based Multimedia Scenarios. In Recent Trends in Algebraic Specification Techniques, 14th Workshop on Algebraic Development Techniques, WADT'99, LNCS 1827, Selected papers, Pages 382-399, 2000.
162. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. An Overview of RoZ : a Tool for Integrating UML and Z Specifications. In 12th Conference on Advanced information Systems Engineering-CAiSE'2000, Lecture Notes in Computer Science, Volume 1789, Stockholm, Suède, 2000.
163. F. Duclos, J. Estublier, R. Sanlaville. Architectures Ouvertes pour l'Adaptation des Logiciels. In 13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, Décembre 2000.
164. S. Dupuy, J-C. Freire, M.Chabre-Peccoud, Y. Ledru. Formal and Informal Specifications: a proposal for a coupling. In 13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, France, Décembre 2000.
165. S.T. Nguyen, J.M. Favre, Y. Ledru, J. Estublier. Exploring Large Software Products. In 13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, Décembre 2000.
166. Didier Bert, Francis Cave. Construction of Finite Labelled Transition Systems from B Abstract Systems. In Integrated Formal Methods, IFM2000, LNCS 1945, Pages 235-254, Novembre 2000.
167. Y. Le Traon, F. Ouabdesselam, C. Robach. Analyzing Testability on Data Flow Designs. In 11th International Symposium on Software Reliability Engineering (ISSRE'00), San Jose, Octobre 2000.
168. Pierre Bontron, Marie-Laure Potet. Automatic construction of validated B components from structured developments. In Proc. of the Z and B International Conference, ZB2000, York, U.K, Septembre 2000.
169. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Specification-based Testing of Synchronous Software. In 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'2000), S. Gnesi, I. Schieferdecker, A. Rennoch (eds.), Pages 123-139, Berlin, Avril 2000.
170. S. Dupuy, L. du Bousquet. Validation of UML models thanks to Z and Lustre. In Formal Methods Europe, Berlin, Germany, Mars 2000.
171. N. Zuanon. Modular Feature Integration and Validation in a Synchronous Context. In Language Constructs for Describing Features, Proceedings of the FIREworks workshop, Pages 213-231, Glasgow, UK, Mars 2000.
172. Yann Rouzaud. Interpreting the B-Method in the Refinement Calculus. In Proc. of the World Congress on Formal Methods, FM'99 (Vol. I), LNCS 1708, J. Wing, J. Woodcock, J. Davies (eds.), Pages 411-430, Toulouse, 1999.
173. Didier Bert, Stéphane Lo Presti. Algebraic Operators and Causal Relations for Modeling Multimedia Presentations. In Proc. of the Symposium on Modal and Temporal Logic-based Planning for Open Networked Multimedia Systems, AAAI Fall Symposium Series, North Falmouth, Massachusetts, USA, 1999.
174. Yves Ledru, Marie-Laure Potet, Rémy Sanlaville. VDM modules. In Workshop VDM in Practice, at FM'99 World Congress on Formal Methods, FM'99 CD-ROM, 1999.
175. L. du Bousquet, N. Zuanon. An Overview of Lutess, A Specification-based Tool for Testing Synchronous Software. In 14th IEEE International Conference on Automated Software Engineering, Pages 208-215, Octobre 1999.
176. L. du Bousquet. Feature Interaction Detection using Testing and Model-checking, Experience report. In World Congress on Formal Methods (FM'99), Pages 622-641, Toulouse, France, Septembre 1999.
177. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Lutess: a specification-driven testing environment for synchronous software. In 21st International Conference on Software Engineering (ICSE'99), Pages 267-276, Los Angeles, Mai 1999.
178. Marie-Laure Potet, Yann Rouzaud. Composition and Refinement in the B-Method. In Proc. of the 2nd Int. B Conference, B'98: Recent Advances in the Development and Use of the B Method, LNCS 1393, D. Bert (ed.), Pages 46-65, 1998.
179. Marie-Laure Potet, Yann Rouzaud. Composition and Refinement in the B-Method. In Proc. of 2nd Int. B Conference, B'98: Recent Advances in the Development and Use of the B Method, LNCS 1393, D. Bert (ed.), Pages 46-65, 1998.
180. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Translating the OMT dynamic model into Object-Z. In 11th Int. Conf. of Z Users-ZUM'98, Lecture Notes in Computer Science, Volume 1493, Berlin, Germany, 1998.
181. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess : a testing environment for synchronous software. In Tool support for System Specification, Development, and Verification, Advances in Computing Science (TOOLS'98), Pages 48-61, Malente, Germany, 1998.
182. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Expressing and implementing operational profiles for reactive software validation. In 9th International Symposium on Software Reliability Engineering (ISSRE'98), Pages 222-230, Paderborn, Germany, Novembre 1998.
183. Y. Le Traon, F. Ouabdesselam, C. Robach. Software Diagnosability. In 9th International Symposium on Software Reliability Engineering (ISSRE'98), Pages 257-266, Paderborn, Germany, Novembre 1998.
184. Y. Ledru. Identifying pre-conditions with the Z/EVES theorem prover. In Proceedings of the 13th International Conference on Automated Software Engineering, Honolulu, Octobre 1998.
185. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Incremental feature validation : a synchronous point of view. In Feature Interactions in Telecommunication Systems V (FIW'98), Pages 262-275, Lund, Suède, Octobre 1998.
186. C. Saint-Marcel, S. Dupuy, A. Front. The Invoicing System in UML. In International workshop on Comparing Systems Specification Techniques. What questions are prompted by ones particular method of specification?, M. Allemand, C. Attiogbe, H. Habrias (eds.), ISDN : 2-906082-29-5, Nantes, France, Mars 1998.
187. Sergio Antoy, Rachid Echahed, Michael Hanus. Parallel Evaluation Strategies for Functional Logic Languages. In Proc. of the 14th International Conference on Logic Programming, Leuven, 1997.
188. Alain Cougoulic. An Extension of Logical Formalisms to Simulate System Behaviors. In Acts of the Workshop Foundation of Component-Based Systems in ESEC'97, Zurich, Suisse, Volume I, Pages 71-80, 1997.
189. I. Parissis. A Formal Approach to Testing LUSTRE Specifications. In Proceedings of the 1st International IEEE Conference on Formal Engineering Methods, Hiroshima, Japan, 1997.
190. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Integrating OMT and Object-Z. In Proceedings of BCS FACS/EROS ROOM Workshop, Technical Report GR/K67311-2, A. Evans, K. Lano (eds.), Dept. of Computing, Imperial College, London, UK, Juin 1997.
191. Didier Bert, Rachid Echahed, Kamel Adi. Resolution of Goals with the functional and logic programming language LPG: impact of abstract interpretation. In Proc. of AMAST-96, 5th Int. Conf. on Algebraic Methodology and Software technology, Munich (Germany), 1996.
192. Pierre Berlioux, Eric Cheminot, Paul Jacquet. Vers un système d'aide à la rédaction de spécifications de logiciels en langue naturelle. In Natural Language Processing and Industrial Applications Moncton, Canada, Pages 21-27, 1996.
193. Didier Bert, Marie-Laure Potet, Yann Rouzaud. A Study on Components and Assembly Primitives in B. In Proc. of the 1st Conference on the B Method: Putting into Practice Methods and Tools for Information System Design, Nantes, Henri Habrias (ed.), Pages 47-62, 1996.
194. Denis Avrilionis, Pierre-Yves Cunin, Christer Fernström. OPSIS: A view mechanism for software processes which supports their evolution and reuse. In Proceedings of the 18th International Conference on Software Engineering, Pages 38-47, 1996.
195. D. Avrilionis, P.-Y. Cunin. Process Model Reuse Support - The OPSIS Approach. In Proceedings of the 10th International Software Process Workshop, B. Boehm (ed.), 1996.
196. D. Avrilionis, N. Belkhatir, P.-Y. Cunin. Improving Software Process Modelling and Enactment Techniques. In Proceedings of the 5th European Workshop on Software Process Technology, J.-C. Derniame (ed.), LNCS, 1996.
197. Y. Ledru. Using KIDS as a Tool Support for VDM. In Proceedings of the 18th International Conference on Software Engineering, Pages 236-245, Berlin (Germany), 1996.
198. I. Parissis. A Tool For Testing Synchronous Critical Software. In Proceedings of the 3rd International Conference on Achieving Quality in Software, Florence, Italy, 1996.
199. D. Avrilionis, P.-Y. Cunin, N. Belkhatir. A unified framework for software process enactment and improvement. In 4th International Conference on Software Process (ICSP 4), Brighton, UK, 1996.
200. Y. Ledru. Complementing semi-formal specifications with Z. In Proceedings of the 11th Knowledge-Based Software Engineering Conference, Pages 52-61, 1996.
201. I. Parissis, F. Ouabdesselam. Specification-based Testing of Synchronous Software. In Proceedings of the ACM Sigsoft96' 4th Symposium on the Foundations of Software Engineering, San Francisco, Octobre 1996.
202. Didier Bert, Rachid Echahed. Abstraction of conditional term rewriting systems. In Proc. of the International Symposium on Logic Programming, ILPS-95, J. Lloyd (ed.), Pages 162-176, Portland, Oregon (USA), 1995.
203. Didier Bert, Catherine Oriat. A model inference system for generic specification with application to code sharing. In Proc. of TAPSOFT-95, Col. on Formal Approaches in Software Engineering, LNCS, Volume 915, Pages 741-755, 1995.
204. Didier Bert, Rachid Echahed. On the operational semantics of the algebraic and logic language LPG. In Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, selected papers, LNCS, Volume 906, Pages 132-152, 1995.
205. Ahmed Bouajjani, Rachid Echahed, Peter Habermehl. Verifying infinite state process with sequential and parallel composition. In Proc. of the 22nd ACM Symposium on POPL, Pages 95-106, San Francisco, California, 1995.
206. Ahmed Bouajjani, Peter Habermehl, Rachid Echahed. On the verification problem of nonregular properties for nonregular processes. In Proc. of the 10th IEEE Symposium on Logic in Computer Science, LICS, San Diego, California, 1995.
207. Catherine Oriat. Detecting isomorphisms of modular specifications with diagrams. In Proc. of AMAST-95, 4th Int. Conf. on Algebraic Methodology and Software technology, Montréal, LNCS, Volume 936, Pages 184-198, 1995.
208. Denis Avrilionis, Pierre-Yves Cunin. Using Views to Maintain Petri-net-based Process Models. In Proceedings of the International Conference on Software Maintenance, Gianluigi Caldiera, Keith Bennett (eds.), Pages 318-326, 1995.
209. Denis Avrilionis. Support for Process Instance Evolution. In 2nd Doctoral Consortium, 7th International Conference on Advanced Information Systems Engineering CAiSE'95, 1995.
210. Y. Ledru. Specification and animation of a bank transfer. In Proceedings of the 10th Knowledge-Based Software Engineering Conference, Pages 192-199, Boston, MA, 1995.
211. Y. Ledru, Y. Chiaramella. Integrating and Teaching ZSP and Z. In Proceedings of ``Z twenty years on - what is its future?'', H. Habrias (ed.), Nantes, 1995.
212. F. Ouabdesselam, I. Parissis. Testing Techniques for Data-Flow Synchronous Programs. In 2nd International Workshop on Automated and Algorithmic Debugging, Saint Malo, France, 1995.
213. F. Ouabdesselam, I. Parissis. Constructing Operational Profiles for Synchronous Critical Software. In 6th International Symposium on Software Reliability Engineering, Toulouse, France, 1995.

Communications avec actes

1. Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Yves Ledru, Akram Idani. Modélisation et validation formelle des règles d'exploitation ferroviaire. In Actes de la Conférence AFADL'14: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 1-15, Paris, 2014.
2. Akram Idani, Yves Ledru, Mohamed-Amine Labiadh. B4MSecure : une plateforme IDM pour la modélisation et la validation de politiques de sécurité en Systèmes d'Information (démo). In Actes de la Conférence AFADL'13: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 85-89, Nancy, 2013.
3. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. Fuzzing Intelligent de XSS Type-2 Filtrés selon Darwin: KameleonFuzz. In Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC), Pages 289-311, Rennes, France, Juin 2013.
4. A. Amiar, M. Delahaye, Y. Falcone, L. du Bousquet. Résumer les traces d'exécution des micro-contrôleurs. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Grenoble, France, 2012.
5. Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle. In Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Pages 179-180, Rennes, France, 2012.
6. Taha Triki, Lydie du Bousquet, Yves Ledru. Réduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelle. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 120-134, Grenoble, Janvier 2012.
7. Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis. Évaluation de la qualité de jeux de tests hybrides en domotique. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 104-119, Grenoble, Janvier 2012.
8. Muhammad Nafees Qamar, Yves Ledru, Akram Idani. Evaluating RBAC Supported Techniques and Their Validation and Verification. In Fifth International Workshop on Secure Software Engineering (SecSE'11) in conjunction with 6th IEEE International Conference on Availability, Reliability and Security (ARES'11), Pages 734-739, Vienna, Austria, Août 2011.
9. Karim Hossen, Roland Groz, Jean-Luc Richier. Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols. In Second International Workshop on Security Testing (SECTEST 2011), Workshop of the IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST2011), Pages 534-536, Berlin, Germany, Mars 2011. download
10. Y. Ledru, A. Idani, J. Milhau, M.-N. Qamar, R. Laleau, J.-L. Richier, M.-A. Labiadh. Taking into account functional models in the validation of IS security policies. In WISSE 2011, Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, Camille Salinesi, Oscar Pastor (eds.), Lecture Notes in Business Information Processing, Volume 83, Pages 592-606, London, UK, 2011.
11. Muhammad Naeem Irfan, Roland Groz, Catherine Oriat. Optimising Angluin Algorithm L* by Minimising the Number of Membership Queries to Process Counterexamples. In Zulu Workshop, Valencia, Septembre 2010.
12. Muhammad Naeem Irfan, Catherine Oriat, Roland Groz. Angluin Style Finite State Machine Inference with Non-optimal Counterexamples. In 1st International Workshop on Model Inference In Testing, MIIT 2010, Pages 11-19, Juillet 2010.
13. Mohamed-Amine Labiadh, Akram Idani, Yves Ledru. Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles. In Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 197-212, Poitiers, Juin 2010.
14. Yves Ledru, Lydie du Bousquet. De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet. In Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 117-131, Poitiers, Juin 2010.
15. 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.
16. 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.
17. Laya Madani, Ioannis Parissis. Automated Test of Interactive Applications Using Task Trees. In 4th Workshop on Advances in Model-based Testing (A-MOST 2008), Pages 13-22, Lillehammer, Norway, 2008.
18. V. Papailiopoulou, L. Madani, L. du Bousquet, I. Parissis. Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), L'Aquila, Italy, 2008.
19. Eduardo R. Lopez Ruiz, Yves Ledru, Michel Lemoine. Extending the use of rigorous methods with aeronautics. In Workshop on Formal Aspects of Safety-Critical Systems, The Safety-Critical Systems Club, 2008.
20. Eduardo R. Lopez Ruiz, Yves Ledru, Michel Lemoine. Aeronautical Regulations Should Be Rigorously Developed Too!. In Proceedings of The Sixth NASA Langley Formal Methods Workshop, Volume NASA/CP-2008-215309, Pages 41-43, Mai 2008.
21. Vianney Darmaillacq, Jean-Luc Richier, Roland Groz. Test generation and execution for security rules in temporal logic. In First International Workshop on Security Testing, a satellite event of ICST 2008, April 9-11, 2008, Lillehammer, Norway, Avril 2008.
22. Vianney Darmaillacq. Security policy testing using vulnerability exploit chaining. In First International Workshop on Security Testing, a satellite event of ICST 2008, April 9-11, 2008, Lillehammer, Norway, Avril 2008.
23. 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.
24. 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.
25. 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.
26. 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.
27. 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.
28. 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
29. 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.
30. 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.
31. 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.
32. 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.
33. 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.
34. M. Kessis, Y. Ledru, G. Vandome. Test de couverture des serveurs J2EE : Etude du serveur J2EE JonAS et de sa suite de tests. In 18th International Conference Software & Systems Engineering and their Applications - ICSSEA'2005, 8 pages, Paris, Novembre 2005.
35. T. Deruyter, J.-C. Fernandez, M.-L. Potet. Modélisation d'architecture pour le reciblage et la paramétrisation d'une chaîne de compilateur DSP. In 18th International Conference Software & Systems Engineering and their Applications - ICSSEA'2005, Paris, Novembre 2005.
36. V. Darmaillacq, J-C. Fernandez, R. Groz, L. Mounier, J.-L. Richier. Éléments de modélisation pour le test de politiques de sécurité. In Colloque sur les RIsques et la Sécurité d'Internet et des Systèmes, CRiSIS, Bourges, Octobre 2005.
37. A. Kermarrec, R. Groz, B. Parreaux, A. Petrenko. Machines de mutations pour l'enrichissement de test de protocoles. In Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2005), Pages 33-49, Bordeaux, Mars 2005.
38. L. Madani, L. Nigay, I. Parissis. Testing the care properties of multimodal applications by means of a synchronous approach. In IASTED Int'l Conference on Software Engineering, Innsbruck, Austria, Février 2005.
39. B. Baldassari, C. Robach, L. du Bousquet, J. Brosse. Early metrics for object oriented designs. In 1st Int. Workshop on Testability Assessment (IWoTA) (in conjunction with ISSRE04), Pages 62-69, Rennes, France, Novembre 2004.
40. A. Lakehal, F. Ouabdesselam, I. Parissis, J. Vassy. Models for Synchronous Software Testing. In MoDeVa Workshop (satellite event of ISSRE'04), Pages 41-50, Rennes, France, Novembre 2004.
41. T. B. Nguyen, C. Robach, M. Delaunay. Testability Analysis of Reactive Software. In 1st Int. Workshop on Testability Assessment (IWoTA) (in conjunction with ISSRE04), Pages 15-25, Rennes, France, Novembre 2004.
42. A. Lakehal, I. Parissis, L. du Bousquet. Critères de couverture structurelle de programmes LUSTRE. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 185-199, LIFC, Besançon, Juin 2004.
43. K. C. Griche, I. Parissis. Automatic Control Flow Based Generation of Stubs for Structural Testing. In IASTED Int'l Conference on Software Engineering, Innsbruck, Autria, Février 2004.
44. O. Maury, Y. Ledru, L. du Bousquet. Intégration de TOBIAS et UCASTING pour la génération. In 16th International Conference Software and Systems and their applications-ICSSEA, 7 pages, Paris, 2003.
45. Y. Ledru, S. Dupuy. Expressing dynamic properties of static diagrams in Z. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, J.-M. Jézéquel (ed.), Pages 19-34, IRISA, Rennes, Janvier 2003.
46. P. Bontron, O. Maury, L. du Bousquet, Y. Ledru, C. Oriat, M.-L. Potet. TOBIAS : un environnement pour la création d'objectifs de test à partir de schémas de test. In 14th International Conference Software & Systems Engineering and their Applications - ICSSEA'2001, 7 pages, Paris, France, 2001.
47. I. Parissis, J. Vassy. Test des propriétés de sûreté. In Actes du colloque Modélisation de Systèmes Réactifs (MSR'01), Pages 563-578, 2001.
48. S. Lo Presti, D. Bert, A. Duda. Composition d'objets multimédia à base d'opérateurs. In 7èmes Journées d'études et d'échanges COmpression et REprésentation des Signaux Audiovisuels (CORESA), Dijon, Novembre 2001.
49. Y. Ledru, O. Maury, C. Oriat. Invariants de liaison pour la cohérence de vues statiques et dynamiques en UML. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2001, J. Souquières (ed.), Pages 23-38, LORIA, Nancy, Juin 2001.
50. D. Bert. Preuve de propriétés d'équité en B : étude du protocole du bus SCSI-3. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2001, J. Souquières (ed.), Pages 221-241, LORIA, Nancy, Juin 2001.
51. Y. Ledru, R. Sanlaville, J. Estublier. Defining an Architecture Description Language for Dassault Systèmes. In Position paper for the 4th International Software Architecture Workshop, Limerick, Ireland, Juin 2000.
52. S. Dupuy. Vers une prise en compte des contraintes en UML grâce à Z. In INFORSID'2000, M. Leonard (ed.), Lyon, France, Mai 2000.
53. Francis Cave, Didier Bert. Itérateurs pour le langage B. In Actes de l'Atelier AFADL'2000, Y. Ledru (ed.), Pages 111-126, LSR-IMAG, Grenoble, France, Janvier 2000.
54. Didier Bert. Spécification algébrique et prototypage du contrôle d'accès en LPG. In Actes de l'Atelier AFADL'2000, Y. Ledru (ed.), Pages 142-157, LSR-IMAG, Grenoble, France, Janvier 2000.
55. G. Bernot, H. Jouve, F. Klay, F. Ouabdesselam, J.-L. Richier. Aide à l'intégration de services par la génération de tests. In 3ème atelier AFADL, Pages 9-20, Grenoble, Janvier 2000.
56. J. Estublier, Y. Ledru, P.-Y. Cunin. The architecture of federations - from process to software. In Position paper for the First Working IFIP Conference on Software Architecture, San Antonio, TX, 1999.
57. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess: a validation tool for synchronous software. In International Workshop Tool Support for System Specification, Development and Verification, Malente, Allemagne, 1998.
58. Yves Ledru, Catherine Oriat, Marie-Laure Potet. Le raffinement vu comme primitive de spécification - une comparaison de VDM, B et Specware. In Actes de l'Atelier AFADL'98, N. Lévy (ed.), Pages 63-76, LISI/ENSMA, Futuroscope, Poitiers, France, Septembre 1998.
59. Y. Ledru, R. Sanlaville. Description d'architecture logicielle par connexion de machines abstraites. In 2ème atelier AFADL, Poitiers, Septembre 1998.
60. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Telecommunication software validation using a synchronous approach. In First IEEE Workshop on Application-Specific Software Engineering and Technology (ASSET'98), Article court, Dallas, USA, Mars 1998.
61. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Environnement pour le test d'applications synchrones. In 2ème Congrès sur la Modélisation des systèmes réactifs, Pages 51-60, Cachan, France, Mars 1998.
62. Alain Cougoulic, L.-O. Donzelle. Spécification de Comportements d'Objets Répartis et Simulation. In Acts of NOuvelles TEchnologies de la REpartition, Novembre 4-6, Pau, France, Pages 19-33, 1997.
63. Rachid Echahed, Jean-Christophe Janodet. Réécriture de graphes admissibles: Confluence et Stratégies. In Journées du PRC/GDR Programmation, Rennes, Pages 77-89, 1997.
64. I. Parissis. Vers une approche mixte de validation de logiciels synchrones : test, preuve, animation. In Atelier Approches Formelles dans l'Assistance au Développement de Logiciels, Toulouse, France, Mai 1997.
65. I. Parissis, F. Ouabdesselam. Techniques de Test pour des Logiciels Réactifs Synchrones. In Modélisation des Systèmes Réactifs, AFCET, Brest, France, 1996.
66. D. Avrilionis, P.-Y. Cunin, N. Belkhatir. View-based mechanisms for structured and distributed enactment. In The Viewpoints Workshop, San Francisco, USA, 1996.
67. B. Ferrari, F. Ouabdesselam, C. Robach. Évaluation de la testabilité du logiciel. In 10ème Colloque National de Fiabilité et Maintenabilité, Saint-Malo, France, 1996.
68. Denis Avrilionis, Pierre-Yves Cunin. Evolution Handling in PSEEs. In Le Génie Logiciel et ses Applications, Pages 569-580, 1995.

Rapports de recherche

1. Roland Groz, Keqin Li, Alexandre Petrenko. Verification of Modular Systems with Unknown Components Combining Testing and Inference. Research Report LIG, No 28, 2013.
2. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding. Research Report LIG, No 31, Février 2013.
3. A. Bauer, Y. Falcone. Decentralised LTL Monitoring. RR CoRR, 2012. download
4. Muhammad Rabee Shaheen, Lydie du Bousquet. Survey of source code metrics for evaluating testability of object oriented systems. Research Report LIG, 2010.
5. Lydie du Bousquet. Mutation analysis to evaluate Lustre program specifications in the context of model-checking. Research Report LIG, 2010.
6. H. Ruís Barradas, D. Bert. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. Rapport de Recherche LSR, Décembre 2005. download
7. D. Duval, J.-C. Reynaud. Diagrammatic logic and effects: the example of exceptions. Rapport de Recherche LSR, Février 2005.
8. H. Ruíz Barradas, D. Bert. Proof obligations for specification and refinement of liveness properties under weak fairness. Rapport de Recherche LSR, Février 2005.
9. Catherine Oriat. Jartege: A Tool for Random Generation of Unit Tests for Java Classes. RR LSR-IMAG, No 1069, Juin 2004.
10. D. Duval, C. Lair, C. Oriat, J.C. Reynaud. A zooming process for specifications with an application to exceptions. RR IMAG-LMC, No 1055, 2003.
11. L. du Bousquet, N. Zuanon. Validation incrémentale de spécifications de services. Rapport de recherche Rapport d'avancement du contrat CNET/CNRS/UJF 95 7B 043, LSR-IMAG, Novembre 1997.
12. S. Antoy, R. Echahed, M. Hanus. A Parallel Narrowing Strategy. Technical Report 96-1 Portland State University, 1996.
13. P. Jacquet, Y. Ledru, X. Nicollin, M.-L. Potet. Catalogue de l'exposition logiciels critiques. Rapport de recherche IMAG, 1996.
14. I. Parissis, N. Zuanon. Validation incrémentale de spécifications de services. Rapport de recherche Rapport d'avancement du contrat CNET/CNRS/UJF 95 7B 043, LSR-IMAG, Novembre 1996.
15. Catherine Oriat. Modular specifications: constructions with finite colimits, diagrams, isomorphisms. RR 964-I-LSR-3, Laboratoire LSR-IMAG, Septembre 1996.
16. Didier Bert. Projet IMAG SCOP ``Spécification et COnstruction de Programmes'' Bilan 1990-1996. RR 959-I, Laboratoire LSR-IMAG, Grenoble, Septembre 1996.
17. Didier Bert, Rachid Echahed. Abstraction of conditional term rewriting systems. Rapport de recherche IMAG-LGI, 1995.
18. Didier Bert, Rachid Echahed. Multiparadigm logic programming: the case of the language LPG. Rapport de recherche IMAG-LGI, 1995.
19. Y. Ledru. An introduction to Z and formal methods. Rapport de recherche Université Joseph Fourier - UFR Informatique et Mathématiques Appliquées, 1995.
20. D. Avrilionis, P.Y. Cunin. The compatibility problem of process evolution and process model evolution. Rapport de recherche IMAG - Laboratoire de Génie Informatique, 1995.

Autres communications

1. German Eduardo Vega Baez, Taha Triki, Yves Ledru, Lydie du Bousquet. Trace-based test suite reduction (poster). Actes des Sixièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 209-209, CNAM, Paris, France, 2014.
2. Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Lydie du Bousquet, Taha Triki, German Eduardo Vega Baez, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Julien Bernet, David Rouillard. TASCCC - Project and Testing Tool (poster). Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 198-198, Nancy, France, 2013.
3. Akram Idani, Yves Ledru, Mohamed-Amine Labiadh. B4MSecure : A MDE platform for modeling and validation of Secure Information Systems (poster). Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 211-211, Nancy, France, 2013.
4. Karim Hossen. SIMPA: Model Based Testing Without the pain of Writing Models. talk given at the 1st European workshop on Web Application Security Research (WASR), with OWASP AppSecEU, Hambourg, Germany, Août 2013.
5. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. KameleonFuzz : The day Darwin drove my XSS Fuzzer!. talk given at the 1st European workshop on Web Application Security Research (WASR), with OWASP AppSecEU, Hamburg, Germany, Août 2013.
6. Fabien Duchene. BlackBox Web Vulnerability Detection with Model Inference assisted Evolutionary Fuzzing. 2nd SysSec Workshop, Poster presented at SysSec Workshop, Bochum, Germany, Juillet 2013.
7. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. A Hesitation Step into the BlackBox: Heuristic-Based Web Applications Reverse Engineering. NoSuchCon (NSC), Paris, France, Mai 2013.
8. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. Evolutionary Fuzz Testing Techniques - Advances and Applications (tutorial). the sixth IEEE International Conference on Software Testing, Verification, and Validation (ICST), Luxembourg, Mars 2013.
9. Lydie du Bousquet, Yves Ledru, Taha Triki, German Eduardo Vega Baez. Tobias on-line tool for combinatorial software testing (poster and demo). Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 217-217, Rennes, France, 2012.
10. Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie du Bousquet, Taha Triki, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Julien Bernet, David Rouillard. TASCCC - Project and Testing Tool (poster and demo). Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 241-241, Rennes, France, 2012.
11. Yves Ledru, German Vega, Taha Triki, Lydie du Bousquet. Test Suite Selection Based on Traceability Annotations - tool demonstration. Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), pp. 342-345, Essen, Germany, Septembre 2012.
12. Laurence Duchien, Yves Ledru. Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL. Chronique publiée dans Technique et Science Informatiques (TSI), volume 13, No 3, pp. 397-413, Mars 2012.
13. Lydie du Bousquet, Yves Ledru, Taha Triki. Tobias a tool for combinatorial software testing (poster). Fourth International Conference on Software Testing, Verification and Validation (ICST 2011), Berlin, Allemagne, 2011.
14. Akram Idani, Yves Ledru, Pierre-Yves Schobbens. Approche formelle pour une Ingénierie des Modèles sûre. Atelier LMO/SafeModel, Nancy, 2009. download
15. Y. Ledru. Conformance Test Generation with JML. TAROT Summer School, Paris, 2005.
16. N. Stouls, V. Darmaillacq. Formalisation et implantation de politiques de sécurité de réseaux. Majecstic 2005, Rennes, Novembre 2005.
17. H. Ruíz Barradas, D. Bert. Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. 17ème Workshop on Algebraic Development Techniques, WADT'04, Barcelone, Mars 2004.
18. D. Bert. Translating CASL Specifications into First Order Logic with Set Theory. 17ème Workshop on Algebraic Development Techniques, WADT'04, Barcelone, Mars 2004.
19. L. du du Bousquet, J.-L. Lanet, H. Martin. Enhancing Java Card applet validation process: a methodology and its associated tools. e-SMART, Sophia Antipolis, France, 2003.
20. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, J. Vassy, N. Zuanon. Black-box testing of reactive synchronous software. SoftTest: UK Testing Research II, Septembre 2003.
21. Y. Ledru, S. Dupuy. RoZ, un outil intégrant UML et Z pour l'ingénierie des exigences. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, IRISA, Rennes, Janvier 2003.
22. Y. Ledru. RoZ, un outil intégrant UML et Z pour la modélisation des systèmes d'information. Journée QSL (Qualité et Sureté du Logiciel), Nancy, 2003.
23. Y. Ledru. Panel on Future Research Directions in Automated Software Engineering. 17th International Conference on Automated Software Engineering, Edinburgh, UK, 2002.
24. Y. Ledru. The TOBIAS Test Generator and Its Adaptation to Some ASE Challenges (position paper). Workshop on the State of the Art in Automated Software Engineering, ICS Technical Report UCI-ICS-02-17, 2002.
25. H. Martin, F. Combret, L. du Bousquet, P. Bontron, O. Maury. Toward testing automation. Gemplus Developer Conference, Singapore, 2002.
26. Y. Ledru. Introduction à la journée ``Architecture Logicielle''. Club SEE ``Systèmes Informatiques de Confiance'', Paris, 2001.
27. S. Dupuy. RoZ version 0.3 : an environment for the integration of UML and Z. 1999. download
28. Farid Ouabdesselam. A Survey of Testing in a Synchronous Context. World Congress on Formal Methods in the Development Computing Systems. Industrial track on testing. Invited talk, Toulouse (France), Octobre 1999.
29. Farid Ouabdesselam. Testing Techniques for Synchronous Software. Dagsthul Seminar Report 223, Septembre 1998.
30. P. Jacquet, Y. Ledru, X. Nicollin, M.-L. Potet. Logiciels critiques : Catalogue d'une exposition bibliographique. Technique et Science Informatique, Vol.16, No 6, 1997.
31. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Validation incrémentale de spécifications de services. Séminaire de mi-parcours des CTI 95, CNET Issy, Octobre 1997.
32. B. Ferrari, F. Ouabdesselam, C. Robach. La testabilité du logiciel comme critère de qualité. Séminaire de l'action scientifique CTI 93, CNET Issy, Mars 1997.
33. Y. Ledru. Utilisation de KIDS comme support pour VDM. Journée groupe ADER - Paris, 1996.
34. Y. Ledru. Enrichissement de spécifications semi-formelles avec Z. Journée groupe AFCET zéro-défaut, Paris, 1996.
35. Y. Ledru. Proof-based development of specifications with KIDS/VDM. Séminaire du Département d'Informatique, Ecole Polytechnique de Lausanne, Suisse, 1995.
36. Y. Ledru. Développement prouvé de prototypes de spécifications avec KIDS/VDM. Journée groupe ADER, Paris, 1995.
37. Y. Ledru. Utilisation pratique des spécifications formelles. Tutoriel Congrès INFORSID 95, Grenoble, 1995.
38. Y. Ledru. Utilisation pratique des spécifications formelles. Tutoriel Congrès INFORSID 96, Bordeaux, 1995.