default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYves Ledru
Person information
- affiliation: IMAG, Grenoble, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c66]Asfand Yar
, Akram Idani, Yves Ledru, Simon Collart Dutilleul, Amel Mammar, Germán Vega:
An Iterative Formal Model-Driven Approach to Railway Systems Validation. ICECCS 2024: 272-289- 2023
- [c65]Akram Idani, Yves Ledru, Germán Vega:
A Process-Centric Approach to Insider Threats Identification in Information Systems. CRiSIS 2023: 231-247 - [c64]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: 136-141 - 2022
- [c63]Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul:
Visual animation of B specifications using executable DSLs. MoDELS (Companion) 2022: 617-626 - 2021
- [j22]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): 143-183 (2021) - 2020
- [j21]Akram Idani, Yves Ledru, Germán Vega:
Alliance of model-driven engineering with a proof-based formal approach. Innov. Syst. Softw. Eng. 16(3): 289-307 (2020) - [c62]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: 43-53
2010 – 2019
- 2019
- [c61]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: 93-109 - [c60]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: 23-40 - [c59]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: 173-190 - 2018
- [c58]Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz:
Extending specification patterns for verification of parametric traces. FormaliSE@ICSE 2018: 10-19 - [c57]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: 30-33 - [c56]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: 321-330 - [c55]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: 437-446 - 2017
- [c54]Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet:
Improving Trace Generation and Analysis for Medical Devices. QRS Companion 2017: 599-600 - 2016
- [j20]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): 11-37 (2016) - [c53]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: 1-12 - 2015
- [j19]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): 24-46 (2015) - [j18]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: 131-152 (2015) - [j17]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): 495-521 (2015) - [c52]Akram Idani, Yves Ledru:
B for Modeling Secure Information Systems - The B4MSecure Platform. ICFEM 2015: 312-318 - [c51]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: 6-12 - [c50]Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni:
Extensions du diagramme d'activité pour contrôler l'accès au SI. INFORSID 2015: 151-165 - 2014
- [j16]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): 33-61 (2014) - [c49]Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb:
Extraction of Insider Attack Scenarios from a Formal Information System Modeling. FMS @ Petri Nets 2014: 5-19 - [c48]Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru:
B Formal Validation of ERTMS/ETCS Railway Operating Rules. ABZ 2014: 124-129 - 2013
- [c47]Akram Idani, Yves Ledru, Adil Anwar:
A Rigorous Reasoning about Model Transformations Using the B Method. BMMDS/EMMSAD 2013: 426-440 - [c46]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: 431-438 - 2012
- [j15]Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran:
Prioritizing test cases with string distances. Autom. Softw. Eng. 19(1): 65-95 (2012) - [j14]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): 743-767 (2012) - [c45]Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella:
Model-Based Filtering of Combinatorial Test Suites. FASE 2012: 439-454 - [c44]Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu:
Automated Reviewing of Healthcare Security Policies. FHIES 2012: 176-193 - [c43]Yves Ledru, Germán Vega, Taha Triki, Lydie du Bousquet:
Test suite selection based on traceability annotations. ASE 2012: 342-345 - 2011
- [j13]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): 303-313 (2011) - [c42]Nafees Qamar, Yves Ledru, Akram Idani:
Evaluating RBAC Supported Techniques and their Validation and Verification. ARES 2011: 734-739 - [c41]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: 592-606 - [c40]Nafees Qamar, Yves Ledru, Akram Idani:
Validation of Security-Design Models Using Z. ICFEM 2011: 259-274 - [c39]Yves Ledru, Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh:
Validation of security policies by the animation of Z specifications. SACMAT 2011: 155-164 - 2010
- [j12]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): 87-112 (2010) - [j11]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): 415-435 (2010) - [c38]Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier:
Assertion-based test oracles for home automation systems. MOMPES 2010: 45-52
2000 – 2009
- 2009
- [c37]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: 261-276 - [c36]Yves Ledru, Alexandre Petrenko, Sergiy Boroday:
Using String Distances for Test Case Prioritisation. ASE 2009: 510-514 - 2008
- [j10]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): 133-157 (2008) - 2007
- [j9]Akram Idani, Yves Ledru:
Object oriented concepts identification from formal B specifications. Formal Methods Syst. Des. 30(3): 217-232 (2007) - [j8]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): 819-851 (2007) - [c35]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: 155-170 - [c34]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: 535-536 - [c33]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: 61-72 - [c32]Frédéric Dadeau, Yves Ledru, Lydie du Bousquet:
Measuring a Java Test Suite Coverage Using JML Specifications. MBT 2007: 21-32 - [c31]Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti:
A Case Study in Matching Test and Proof Coverage. MBT 2007: 73-84 - 2006
- [j7]Akram Idani, Yves Ledru:
Dynamic graphical UML views from formal B specifications. Inf. Softw. Technol. 48(3): 154-169 (2006) - [j6]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): 487-503 (2006) - [c30]Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes:
Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V 2006 - [c29]Yves Ledru:
A Formalisation of the Soccer Substitution Rules. ReMo2V 2006 - [c28]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 - [c27]Yves Ledru, Lydie du Bousquet:
Tobias-Z: An executable formal specification of a test generator. ASE 2006: 353-354 - [c26]Akram Idani, Yves Ledru, Didier Bert:
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. SEW 2006: 97-106 - [c25]Yves Ledru:
Using Jaza to Animate RoZ Specifications of UML Class Diagrams. SEW 2006: 253-262 - [e1]Johannes Mayer, Neelam Gupta, Yves Ledru:
Third International Workshop on Software Quality Assurance, SOQUA 2006, Portland, Oregon, USA, November 6, 2006. ACM 2006, ISBN 1-59593-584-3 [contents] - 2005
- [c24]Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru:
Test of the ICARE Platform Fusion Mechanism. DSV-IS 2005: 102-113 - [c23]Mehdi Kessis, Yves Ledru, Gérard Vandome:
Experiences in coverage testing of a Java middleware. SEM 2005: 39-45 - [c22]Akram Idani, Yves Ledru, Didier Bert:
Derivation of UML Class Diagrams as Static Views of Formal B Developments. ICFEM 2005: 37-51 - 2004
- [c21]Yves Ledru, Sophie Dupuy-Chessa, Hind Fadil:
Towards Computer-aided Design of OCL Constraints. CAiSE Workshops (1) 2004: 329-338 - [c20]Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron:
Filtering TOBIAS Combinatorial Test Suites. FASE 2004: 281-294 - [c19]Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet:
Case Study in JML-Based Software Validation. ASE 2004: 294-297 - [c18]Akram Idani, Yves Ledru:
Object Oriented Concepts Identification from Formal B Specifications. FMICS 2004: 159-174 - 2002
- [c17]Yves Ledru, David F. Redmiles:
Report on the Workshop on the State of the Art in Automated Software Engineering. ASE 2002: 307- - 2001
- [c16]Rémy Sanlaville, Jean-Marie Favre, Yves Ledru:
Helping Various Stakeholders to Understand a Very Large Component-Based Software. EUROMICRO 2001: 104- - [c15]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: 127-134 - 2000
- [j5]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) - [c14]Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud:
An Overview of RoZ: A Tool for Integrating UML and Z Specifications. CAiSE 2000: 417-430
1990 – 1999
- 1999
- [j4]Christopher A. Welty, Michael R. Lowry, Yves Ledru:
Guest Editorial. Autom. Softw. Eng. 6(4): 327-328 (1999) - 1998
- [c13]Yves Ledru:
Identifying Pre-Conditions with the Z/EVES Theorem Prover. ASE 1998: 32- - [c12]Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud:
Translating the OMT Dynamic Model into Object-Z. ZUM 1998: 347-366 - 1997
- [j3]Yves Ledru:
Specification and Animation of a Bank Transfer using KIDS/VDM. Autom. Softw. Eng. 4(1): 33-51 (1997) - 1996
- [c11]Yves Ledru:
Using KIDS as a Tool Support for VDM. ICSE 1996: 236-245 - [c10]Yves Ledru:
Complementing semi-formal specifications with Z. KBSE 1996: 52-61 - 1995
- [c9]Yves Ledru, Marie-Laure Potet:
A VDM Specification of the Steam-Boiler Problem. Formal Methods for Industrial Applications 1995: 283-317 - [c8]Yves Ledru:
Specification and Animation of a Bank Transfer. KBSE 1995: 192-199 - 1994
- [c7]Yves Ledru:
Proof-Based Development of Specifications with KIDS/VDM. FME 1994: 214-232 - [c6]Yves Ledru, Pierre Collette:
Environment-based Development of Reactive Systems. Refine 1994: 217-235 - 1993
- [j2]Yves Ledru:
Developing Reactive Systems in a VDM Framework. Sci. Comput. Program. 20(1-2): 51-71 (1993) - 1992
- [c5]Yves Ledru, Marie-Hélène Liégeois:
Prototyping VDM specifications with KIDS. KBSE 1992: 50-59 - 1991
- [j1]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): 62-71 (1991) - [c4]Yves Ledru:
Developing reactive systems in a VDM framework. IWSSD 1991: 130-139 - 1990
- [c3]Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens:
Two Approaches towards the Formalisation of VDM. VDM Europe 1990: 370-398 - [c2]Yves Ledru, Pierre-Yves Schobbens:
Applying VDM to large developments. Formal Methods in Software Development 1990: 55-58 - [c1]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: 34-42
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
