Academic Journals

2014

1. Yliès Falcone, Hervé Marchand. Enforcement and Validation (at runtime) of Various Notions of Opacity. Discrete Event Dynamic Systems, 2014.
2. 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.

2013

1. Michele Amoretti, Gianluigi Ferrari, Jean-Luc Richier, Andrzej Duda. Patents on IPv6-Related Technologies. Recent Patents on Computer Science, 6(3):170-180, 2013.
2. 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.
3. M. Shahbaz, R. Groz. Analysis and testing of black-box component based systems by inferring partial models. Software Testing, Verification and Reliability, February 2013. download

2012

1. 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.
2. Y. Falcone, J.-C. Fernandez, T. Jéron, H. Marchand, L. Mounier. More testable properties. (4):407-437, 2012.
3. 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
4. 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.

2011

1. 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, December 2011.
2. 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, June 2011.

2010

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

2009

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

2008

1. Lydie du Bousquet, Michel Delaunay. Towards Mutation Analysis for Lustre Programs. Electr. Notes Theor. Comput. Sci, 203(4):35-48, 2008.
2. 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.
3. Abdesselam Lakehal, Ioannis Parissis. Structural coverage criteria for LUSTRE/SCADE programs. Software Testing, Verification and Reliablity, 2008.
4. 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.
5. 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.

2007

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

2006

1. 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.
2. 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.
3. Akram Idani, Yves Ledru. Dynamic Graphical UML Views from Formal B Specifications. Int. Journal of Information and Software Technology, 48(3):154-169, March 2006.
4. 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.

2005

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

2004

1. 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.
2. 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.
3. A. Petrenko, S. Boroday, R. Groz. Confirming Configurations in EFSM Testing. IEEE Trans. Software Engineering, 30(1):29-42, 2004.

2003

1. 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.
2. 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, January 2003.

2002

1. I. Parissis. Test de spécifications de logiciels synchrones. Technique et Science Informatiques, 21(9):1243-1264, 2002.
2. 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, October 2002.

2001

1. 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.
2. F. Duclos, J. Estublier, R. Sanlaville. Architectures Ouvertes pour l'Adaptation des Logiciels. Revue Génie Logiciel, 58:19-25, September 2001.

2000

1. 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.
2. 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.
3. Catherine Oriat. Detecting Equivalence of Modular Specifications with Categorical Diagrams. TCS, 247:141-190, 2000. download
4. 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, April 2000.

1999

1. 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, December 1999.

1997

1. Y. Ledru. Specification and animation of a bank transfer using KIDS/VDM. Automated Software Engineering, 4:33-51, 1997.

1996

1. Dominique Duval, Jean-Claude Reynaud. Sketches and Computation over fields. Mathematics and Computers in Simulation, 42:363-376, 1996.

1995

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