Communications avec actes

2014

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.

2013

1. 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.
2. 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.

2012

1. 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.
2. 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.
3. 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.
4. 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.

2011

1. 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.
2. 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
3. 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.

2010

1. 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.
2. 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.
3. 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.
4. 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.

2009

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

2008

1. 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.

2007

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

2006

1. L. Nigay, I. Parissis F. Jourde. Test formel de systèmes interactifs multimodaux : couplage ICARE-Lutess. In 19èmes Journées Internationales du génie logiciel (ICSSEA 2006), Paris, France, Décembre 2006.
2. Akram Idani. Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des systèmes d'information : Approche par méta-modélisation. In Actes du 24ème congrès INFORSID, Tunisie, Juin 2006.
3. Didier Bert, Héctor Ruíz Barradas. Développement et preuve de vivacité de l'algorithme distribué de Ricart-Agrawala. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 161-178, ENST, Paris, Mars 2006.
4. Akram Idani, Yves Ledru, Didier Bert. Analyse formelle de concepts pour la génération de diagrammes de classe UML à partir de spécifications B. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 9-24, ENST, Paris, Mars 2006.
5. Nicolas Stouls, Vianney Darmaillacq. Développement formel d'un moniteur détectant les violations de politiques de sécurité de réseaux. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 179-193, ENST, Paris, Mars 2006.

2005

1. 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.
2. 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.
3. 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.
4. 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.
5. 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.

2004

1. 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.
2. 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.
3. 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.
4. 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.
5. 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.

2003

1. 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.
2. 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.

2001

1. 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.
2. 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.
3. 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.
4. 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.
5. 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.

2000

1. 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.
2. S. Dupuy. Vers une prise en compte des contraintes en UML grâce à Z. In INFORSID'2000, M. Leonard (ed.), Lyon, France, Mai 2000.
3. 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.
4. 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.
5. 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.

1999

1. 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.

1998

1. 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.
2. 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.
3. Y. Ledru, R. Sanlaville. Description d'architecture logicielle par connexion de machines abstraites. In 2ème atelier AFADL, Poitiers, Septembre 1998.
4. 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.
5. 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.

1997

1. 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.
2. 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.
3. 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.

1996

1. D. Avrilionis, P.-Y. Cunin, N. Belkhatir. View-based mechanisms for structured and distributed enactment. In The Viewpoints Workshop, San Francisco, USA, 1996.
2. 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.
3. 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.

1995

1. Denis Avrilionis, Pierre-Yves Cunin. Evolution Handling in PSEEs. In Le Génie Logiciel et ses Applications, Pages 569-580, 1995.