Yves Ledru

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 16

Top Topics

Domain Specific

Natural Language Processing

Medical Devices

Top Venues

Ingénierie des Systèmes d Inf.

Innov. Syst. Softw. Eng.

Publications

Akram Idani, Yves Ledru, Germán Vega
A Process-Centric Approach to Insider Threats Identification in Information Systems. CRiSIS (2023)
Ivan Baheux, Oum-El-Kheir Aktouf, Mohammed El Amin Tebib, Mariem Graa, Pascal André, Yves Ledru
DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. ISSREW (2023)
Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul
Visual animation of B specifications using executable DSLs. MoDELS (Companion) (2022)
Salim Chehida, Yves Ledru, Yoann Blein, Germán Vega
An SMT-based approach for generating trace examples and counter-examples of parametric properties. Int. J. Crit. Comput. Based Syst. 10 (2) (2021)
Bahareh Afshinpour, Roland Groz, Massih-Reza Amini, Yves Ledru, Catherine Oriat
Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool. SEED/NLPaSE@APSEC (2020)
Akram Idani, Yves Ledru, Germán Vega
Alliance of model-driven engineering with a proof-based formal approach. Innov. Syst. Softw. Eng. 16 (3) (2020)
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul
Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. FMICS (2019)
Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules. RSSRail (2019)
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon
Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation. RSSRail (2019)
Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. MEDI (2018)
Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germán Vega, Yves Ledru, Lydie du Bousquet
An Environment for the ParTraP Trace Property Language (Tool Demonstration). RV (2018)
Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand
Requirements for a Trace Property Language for Medical Devices. SEHS@ICSE (2018)
Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz
Extending specification patterns for verification of parametric traces. FormaliSE@ICSE (2018)
Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet
Improving Trace Generation and Analysis for Medical Devices. QRS Companion (2017)
Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni
Combining UML and B for the specification and validation of RBAC policies in business process activities. RCIS (2016)
Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni
Extensions du diagramme d'activité pour la spécification de politiques RBAC. Ingénierie des Systèmes d Inf. 21 (2) (2016)
Yves Ledru, Akram Idani, Jean-Luc Richier
Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study. FormaliSE@ICSE (2015)
Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb
Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling. Trans. Petri Nets Other Model. Concurr. 10 (2015)
Akram Idani, Yves Ledru
B for Modeling Secure Information Systems - The B4MSecure Platform. ICFEM (2015)
Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Yves Ledru, Akram Idani
Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires. Tech. Sci. Informatiques 34 (5) (2015)
Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni
Extensions du diagramme d'activité pour contrôler l'accès au SI. INFORSID (2015)
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. Int. J. Inf. Syst. Model. Des. 6 (1) (2015)
Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru
B Formal Validation of ERTMS/ETCS Railway Operating Rules. ABZ (2014)
Akram Idani, Yves Ledru, Amira Radhouani
Modélisation graphique et validation formelle de politiques RBAC en systèmes d'information. Plateforme B4MSecure. Ingénierie des Systèmes d Inf. 19 (6) (2014)
Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb
Extraction of Insider Attack Scenarios from a Formal Information System Modeling. FMS @ Petri Nets (2014)
Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germán Vega, Julien Botella, Safouan Taha
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. ICST (2013)
Akram Idani, Yves Ledru, Adil Anwar
A Rigorous Reasoning about Model Transformations Using the B Method. BMMDS/EMMSAD (2013)
Yves Ledru, Germán Vega, Taha Triki, Lydie du Bousquet
Test suite selection based on traceability annotations. ASE (2012)
Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu
Automated Reviewing of Healthcare Security Policies. FHIES (2012)
Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran
Prioritizing test cases with string distances. Autom. Softw. Eng. 19 (1) (2012)
Yves Ledru, Lydie du Bousquet
Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test. Tech. Sci. Informatiques 31 (6) (2012)
Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella
Model-Based Filtering of Combinatorial Test Suites. FASE (2012)
Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh
Taking into Account Functional Models in the Validation of IS Security Policies. CAiSE Workshops (2011)
Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier
Combining UML, ASTD and B for the formal specification of an access control filter. Innov. Syst. Softw. Eng. 7 (4) (2011)
Yves Ledru, Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh
Validation of security policies by the animation of Z specifications. SACMAT (2011)
Nafees Qamar, Yves Ledru, Akram Idani
Evaluating RBAC Supported Techniques and their Validation and Verification. ARES (2011)
Nafees Qamar, Yves Ledru, Akram Idani
Validation of Security-Design Models Using Z. ICFEM (2011)
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. J. Autom. Reason. 45 (4) (2010)
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 Inf. 15 (3) (2010)
Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier
Assertion-based test oracles for home automation systems. MOMPES (2010)
Yves Ledru, Alexandre Petrenko, Sergiy Boroday
Using String Distances for Test Case Prioritisation. ASE (2009)
Akram Idani, Yves Ledru, Mohamed-Amine Labiadh
Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B. INFORSID (2009)
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 Inf. 13 (4) (2008)
Akram Idani, Yves Ledru
Object oriented concepts identification from formal B specifications. Formal Methods Syst. Des. 30 (3) (2007)
Frédéric Dadeau, Yves Ledru, Lydie du Bousquet
Measuring a Java Test Suite Coverage Using JML Specifications. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
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. Tech. Sci. Informatiques 26 (7) (2007)
Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose
Mastering combinatorial explosion with the tobias-2 test generator. ASE (2007)
Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes
Using Computer Science Modeling Techniques for Airport Security Certification. RCIS (2007)
Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti
A Case Study in Matching Test and Proof Coverage. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
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. INFORSID (2007)
Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Softw. Process. Improv. Pract. 11 (5) (2006)
Yves Ledru
A Formalisation of the Soccer Substitution Rules. ReMo2V (2006)
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes
Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V (2006)
Akram Idani, Yves Ledru
Dynamic graphical UML views from formal B specifications. Inf. Softw. Technol. 48 (3) (2006)
Yves Ledru
Using Jaza to Animate RoZ Specifications of UML Class Diagrams. SEW (2006)
Yves Ledru, Lydie du Bousquet
Tobias-Z: An executable formal specification of a test generator. ASE (2006)
Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
An attempt to combine UML and formal methods to model airport security. CAiSE Forum (2006)
Akram Idani, Yves Ledru, Didier Bert
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. SEW (2006)
Akram Idani, Yves Ledru
Object Oriented Concepts Identification from Formal B Specifications. Electron. Notes Theor. Comput. Sci. 133 (2005)
Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru
Test of the ICARE Platform Fusion Mechanism. DSV-IS (2005)
Akram Idani, Yves Ledru, Didier Bert
Derivation of UML Class Diagrams as Static Views of Formal B Developments. ICFEM (2005)
Mehdi Kessis, Yves Ledru, Gérard Vandome
Experiences in coverage testing of a Java middleware. SEM (2005)
Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron
Filtering TOBIAS Combinatorial Test Suites. FASE (2004)
Yves Ledru, Sophie Dupuy-Chessa, Hind Fadil
Towards Computer-aided Design of OCL Constraints. CAiSE Workshops (1) (2004)
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
Case Study in JML-Based Software Validation. ASE (2004)
Yves Ledru, David F. Redmiles
Report on the Workshop on the State of the Art in Automated Software Engineering. ASE (2002)
Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet
Test Purposes: Adapting the Notion of Specification to Testing. ASE (2001)
Rémy Sanlaville, Jean-Marie Favre, Yves Ledru
Helping Various Stakeholders to Understand a Very Large Component-Based Software. EUROMICRO (2001)
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
An Overview of RoZ: A Tool for Integrating UML and Z Specifications. CAiSE (2000)
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. Obj. Logiciel Base données Réseaux 6 (1) (2000)
Christopher A. Welty, Michael R. Lowry, Yves Ledru
Guest Editorial. Autom. Softw. Eng. 6 (4) (1999)
Yves Ledru
Identifying Pre-Conditions with the Z/EVES Theorem Prover. ASE (1998)
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
Translating the OMT Dynamic Model into Object-Z. ZUM (1998)
Yves Ledru
Specification and Animation of a Bank Transfer using KIDS/VDM. Autom. Softw. Eng. 4 (1) (1997)
Yves Ledru
Using KIDS as a Tool Support for VDM. ICSE (1996)
Yves Ledru
Complementing semi-formal specifications with Z. KBSE (1996)
Yves Ledru, Marie-Laure Potet
A VDM Specification of the Steam-Boiler Problem. Formal Methods for Industrial Applications (1995)
Yves Ledru
Specification and Animation of a Bank Transfer. KBSE (1995)
Yves Ledru
Proof-Based Development of Specifications with KIDS/VDM. FME (1994)
Yves Ledru, Pierre Collette
Environment-based Development of Reactive Systems. Refine (1994)
Yves Ledru
Developing Reactive Systems in a VDM Framework. Sci. Comput. Program. 20 (1-2) (1993)
Yves Ledru, Marie-Hélène Liégeois
Prototyping VDM specifications with KIDS. KBSE (1992)
Yves Ledru
Developing reactive systems in a VDM framework. IWSSD (1991)
Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. Commun. ACM 34 (5) (1991)
Yves Ledru, Pierre-Yves Schobbens
Applying VDM to large developments. Formal Methods in Software Development (1990)
Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
Two Approaches towards the Formalisation of VDM. VDM Europe (1990)
Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. ICSE (1990)