| 2026 | ICPR | RAGDNet: A Region-Adjacency Graph for Semantic Segmentation of Mechanical Drawings Using Graph Neural Networks. | Alexandre Monnier Weil, Nicolas Hili, Yves Ledru |
| 2024 | ICECCS | An Iterative Formal Model-Driven Approach to Railway Systems Validation. | Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul, Amel Mammar, Germn Vega |
| 2023 | CRiSIS | A Process-Centric Approach to Insider Threats Identification in Information Systems. | Akram Idani, Yves Ledru, Germn Vega |
| 2023 | ISSRE | DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. | Ivan Baheux, Oum-El-Kheir Aktouf, Mohammed El Amin Tebib, Mariem Graa, Pascal Andr, Yves Ledru |
| 2022 | MODELS | Visual animation of B specifications using executable DSLs. | Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul |
| 2020 | APSEC | Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool. | Bahareh Afshinpour, Roland Groz, Massih-Reza Amini, Yves Ledru, Catherine Oriat |
| 2019 | FMICS | Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. | Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul |
| 2018 | ICSE | Extending specification patterns for verification of parametric traces. | Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz |
| 2018 | ICSE | Requirements for a Trace Property Language for Medical Devices. | Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand |
| 2018 | MEDI | Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. | Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani |
| 2018 | RV | An Environment for the ParTraP Trace Property Language (Tool Demonstration). | Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germn Vega, Yves Ledru, Lydie du Bousquet |
| 2017 | QRS | Improving Trace Generation and Analysis for Medical Devices. | Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet |
| 2016 | RCIS | Combining UML and B for the specification and validation of RBAC policies in business process activities. | Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni |
| 2015 | ICFEM | B for Modeling Secure Information Systems - The B4MSecure Platform. | Akram Idani, Yves Ledru |
| 2015 | ICSE | Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study. | Yves Ledru, Akram Idani, Jean-Luc Richier |
| 2013 | CaiSE | A Rigorous Reasoning about Model Transformations Using the B Method. | Akram Idani, Yves Ledru, Adil Anwar |
| 2013 | ICST | Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. | Frdric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germn Vega, Julien Botella, Safouan Taha |
| 2012 | FASE | Model-Based Filtering of Combinatorial Test Suites. | Taha Triki, Yves Ledru, Lydie du Bousquet, Frdric Dadeau, Julien Botella |
| 2011 | CaiSE | Taking into Account Functional Models in the Validation of IS Security Policies. | Yves Ledru, Akram Idani, Jrmy Milhau, Nafees Qamar, Rgine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh |
| 2011 | ICFEM | Validation of Security-Design Models Using Z. | Nafees Qamar, Yves Ledru, Akram Idani |
| 2011 | SACMAT | Validation of security policies by the animation of Z specifications. | Yves Ledru, Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh |
| 2007 | RCIS | Using Computer Science Modeling Techniques for Airport Security Certification. | Rgine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Vronique Donzeau-Gouge, Sylvie Vignes |
| 2006 | CaiSE | Validation of Regulation Documents by Automated Analysis of Formal Models. | Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes |
| 2006 | CaiSE | A Formalisation of the Soccer Substitution Rules. | Yves Ledru |
| 2006 | CaiSE | An attempt to combine UML and formal methods to model airport security. | Yves Ledru, Rgine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Vronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux |
| 2006 | SEW | A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. | Akram Idani, Yves Ledru, Didier Bert |
| 2006 | SEW | Using Jaza to Animate RoZ Specifications of UML Class Diagrams. | Yves Ledru |
| 2005 | ICFEM | Derivation of UML Class Diagrams as Static Views of Formal B Developments. | Akram Idani, Yves Ledru, Didier Bert |
| 2004 | CaiSE | Towards Computer-aided Design of OCL Constraints. | Yves Ledru, Sophie Dupuy-Chessa, Hind Fadil |
| 2004 | FASE | Filtering TOBIAS Combinatorial Test Suites. | Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron |
| 2000 | CaiSE | An Overview of RoZ: A Tool for Integrating UML and Z Specifications. | Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud |
| 1996 | ICSE | Using KIDS as a Tool Support for VDM. | Yves Ledru |
| 1994 | FM | Proof-Based Development of Specifications with KIDS/VDM. | Yves Ledru |
| 1990 | FM | Two Approaches towards the Formalisation of VDM. | Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens |
| 1990 | ICSE | An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. | Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens |