Yves Ledru - RankMe

92 papers A* 10A 2B 7C 11Journal 24Unranked 37

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