Yves Ledru

According to our database, Yves Ledru authored at least 82 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

2022

Visual animation of B specifications using executable DSLs.

Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

An SMT-based approach for generating trace examples and counter-examples of parametric properties.

Salim Chehida, Yves Ledru, Yoann Blein, Germán Vega

Int. J. Crit. Comput. Based Syst., 2021

2020

Alliance of model-driven engineering with a proof-based formal approach.

Akram Idani, Yves Ledru, Germán Vega

Innov. Syst. Softw. Eng., 2020

Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool.

Bahareh Afshinpour, Roland Groz, Massih-Reza Amini, Yves Ledru, Catherine Oriat

Proceedings of the Joint Proceedings of SEED & NLPaSE co-located with 27th Asia Pacific Software Engineering Conference 2020, 2020

2019

A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules.

Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation.

Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

2018

An Environment for the ParTraP Trace Property Language (Tool Demonstration).

Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germán Vega, Yves Ledru, Lydie du Bousquet

Proceedings of the Runtime Verification - 18th International Conference, 2018

Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B.

Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

Requirements for a Trace Property Language for Medical Devices.

Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand

Proceedings of the 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems, 2018

Extending specification patterns for verification of parametric traces.

Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017

Improving Trace Generation and Analysis for Medical Devices.

Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016

Extensions du diagramme d'activité pour la spécification de politiques RBAC.

Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni

Ingénierie des Systèmes d Inf., 2016

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

Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

2015

Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires.

Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Yves Ledru, Akram Idani

Tech. Sci. Informatiques, 2015

Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling.

Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb

Trans. Petri Nets Other Model. Concurr., 2015

Validation of IS Security Policies Featuring Authorisation Constraints.

Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh

Int. J. Inf. Syst. Model. Des., 2015

Extensions du diagramme d'activité pour contrôler l'accès au SI.

Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni

Proceedings of the Actes du XXXIIIème Congrès INFORSID, Biarritz, France, May 26-29, 2015, 2015

Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study.

Yves Ledru, Akram Idani, Jean-Luc Richier

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

B for Modeling Secure Information Systems - The B4MSecure Platform.

Akram Idani, Yves Ledru

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Modélisation graphique et validation formelle de politiques RBAC en systèmes d'information. Plateforme B4MSecure.

Akram Idani, Yves Ledru, Amira Radhouani

Ingénierie des Systèmes d Inf., 2014

B Formal Validation of ERTMS/ETCS Railway Operating Rules.

Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

Extraction of Insider Attack Scenarios from a Formal Information System Modeling.

Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb

Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , 2014

2013

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool.

Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germán Vega, Julien Botella, Safouan Taha

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

A Rigorous Reasoning about Model Transformations Using the B Method.

Akram Idani, Yves Ledru, Adil Anwar

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2013

2012

Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test.

Yves Ledru, Lydie du Bousquet

Tech. Sci. Informatiques, 2012

Prioritizing test cases with string distances.

Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran

Autom. Softw. Eng., 2012

Test suite selection based on traceability annotations.

Yves Ledru, Germán Vega, Taha Triki, Lydie du Bousquet

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Automated Reviewing of Healthcare Security Policies.

Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Model-Based Filtering of Combinatorial Test Suites.

Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Combining UML, ASTD and B for the formal specification of an access control filter.

Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier

Innov. Syst. Softw. Eng., 2011

Validation of security policies by the animation of Z specifications.

Yves Ledru, Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

Validation of Security-Design Models Using Z.

Nafees Qamar, Yves Ledru, Akram Idani

Proceedings of the Formal Methods and Software Engineering, 2011

Taking into Account Functional Models in the Validation of IS Security Policies.

Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh

Proceedings of the Advanced Information Systems Engineering Workshops, 2011

Evaluating RBAC Supported Techniques and their Validation and Verification.

Nafees Qamar, Yves Ledru, Akram Idani

Proceedings of the Sixth International Conference on Availability, 2011

2010

Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies.

Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet

J. Autom. Reason., 2010

Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B.

Akram Idani, Mohamed-Amine Labiadh, Yves Ledru

Ingénierie des Systèmes d Inf., 2010

Assertion-based test oracles for home automation systems.

Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

2009

Using String Distances for Test Case Prioritisation.

Yves Ledru, Alexandre Petrenko, Sergiy Boroday

Proceedings of the ASE 2009, 2009

Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B.

Akram Idani, Yves Ledru, Mohamed-Amine Labiadh

Proceedings of the Actes du XXVIIème Congrès INFORSID, Toulouse, France, 26-29 mai 2009, 2009

2008

Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports.

Yves Ledru, Régine Laleau, Sylvie Vignes

Ingénierie des Systèmes d Inf., 2008

2007

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.

Akram Idani, Yves Ledru, Didier Bert

Tech. Sci. Informatiques, 2007

A Case Study in Matching Test and Proof Coverage.

Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti

Proceedings of the Third Workshop on Model Based Testing, 2007

Measuring a Java Test Suite Coverage Using JML Specifications.

Frédéric Dadeau, Yves Ledru, Lydie du Bousquet

Proceedings of the Third Workshop on Model Based Testing, 2007

Using Computer Science Modeling Techniques for Airport Security Certification.

Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

Mastering combinatorial explosion with the tobias-2 test generator.

Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.

Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux

Softw. Process. Improv. Pract., 2006

Dynamic graphical UML views from formal B specifications.

Akram Idani, Yves Ledru

Inf. Softw. Technol., 2006

Using Jaza to Animate RoZ Specifications of UML Class Diagrams.

Yves Ledru

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams.

Akram Idani, Yves Ledru, Didier Bert

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Tobias-Z: An executable formal specification of a test generator.

Yves Ledru, Lydie du Bousquet

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

An attempt to combine UML and formal methods to model airport security.

Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

A Formalisation of the Soccer Substitution Rules.

Yves Ledru

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

Validation of Regulation Documents by Automated Analysis of Formal Models.

Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

2005

Derivation of UML Class Diagrams as Static Views of Formal B Developments.

Akram Idani, Yves Ledru, Didier Bert

Proceedings of the Formal Methods and Software Engineering, 2005

Experiences in coverage testing of a Java middleware.

Mehdi Kessis, Yves Ledru, Gérard Vandome

Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

Test of the ICARE Platform Fusion Mechanism.

Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru

Proceedings of the Interactive Systems, 2005

2004

Object Oriented Concepts Identification from Formal B Specifications.

Akram Idani, Yves Ledru

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Case Study in JML-Based Software Validation.

Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Filtering TOBIAS Combinatorial Test Suites.

Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Towards Computer-aided Design of OCL Constraints.

Yves Ledru, Sophie Dupuy-Chessa, Hind Fadil

Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004

2002

Report on the Workshop on the State of the Art in Automated Software Engineering.

Yves Ledru, David F. Redmiles

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2001

Test Purposes: Adapting the Notion of Specification to Testing.

Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Helping Various Stakeholders to Understand a Very Large Component-Based Software.

Rémy Sanlaville, Jean-Marie Favre, Yves Ledru

Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

2000

Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z.

Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud

Obj. Logiciel Base données Réseaux, 2000

An Overview of RoZ: A Tool for Integrating UML and Z Specifications.

Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud

Proceedings of the Advanced Information Systems Engineering, 2000

1999

Guest Editorial.

Christopher A. Welty, Michael R. Lowry, Yves Ledru

Autom. Softw. Eng., 1999

1998

Translating the OMT Dynamic Model into Object-Z.

Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Identifying Pre-Conditions with the Z/EVES Theorem Prover.

Yves Ledru

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

Specification and Animation of a Bank Transfer using KIDS/VDM.

Yves Ledru

Autom. Softw. Eng., 1997

1996

Complementing semi-formal specifications with Z.

Yves Ledru

Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996

Using KIDS as a Tool Support for VDM.

Yves Ledru

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

Specification and Animation of a Bank Transfer.

Yves Ledru

Proceedings of the Proceedings KBSE'95, 1995

A VDM Specification of the Steam-Boiler Problem.

Yves Ledru, Marie-Laure Potet

Proceedings of the Formal Methods for Industrial Applications, 1995

1994

Environment-based Development of Reactive Systems.

Yves Ledru, Pierre Collette

Proceedings of the 6th Refinement Workshop, 1994

Proof-Based Development of Specifications with KIDS/VDM.

Yves Ledru

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Developing Reactive Systems in a VDM Framework.

Yves Ledru

Sci. Comput. Program., 1993

1992

Prototyping VDM specifications with KIDS.

Yves Ledru, Marie-Hélène Liégeois

Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

1991

An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study.

Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens

Commun. ACM, 1991

1990

Applying VDM to large developments.

Yves Ledru, Pierre-Yves Schobbens

Proceedings of the Conference proceedings on Formal methods in software development, 1990

Two Approaches towards the Formalisation of VDM.

Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens

Proceedings of the VDM '90, 1990