Yves Ledru

866 total citations
40 papers, 233 citations indexed

About

Yves Ledru is a scholar working on Software, Artificial Intelligence and Information Systems. According to data from OpenAlex, Yves Ledru has authored 40 papers receiving a total of 233 indexed citations (citations by other indexed papers that have themselves been cited), including 29 papers in Software, 21 papers in Artificial Intelligence and 17 papers in Information Systems. Recurrent topics in Yves Ledru's work include Model-Driven Software Engineering Techniques (18 papers), Formal Methods in Verification (16 papers) and Advanced Software Engineering Methodologies (15 papers). Yves Ledru is often cited by papers focused on Model-Driven Software Engineering Techniques (18 papers), Formal Methods in Verification (16 papers) and Advanced Software Engineering Methodologies (15 papers). Yves Ledru collaborates with scholars based in France, Belgium and Canada. Yves Ledru's co-authors include Nadine Mandran, Alexandre Petrenko, Sergiy Boroday, Lydie du Bousquet, Olivier Maury, Catherine Oriat, Régine Laleau, Frédéric Dadeau, Marie-Laure Potet and Pierre‐Yves Schobbens and has published in prestigious journals such as Communications of the ACM, Information and Software Technology and Journal of Automated Reasoning.

In The Last Decade

Yves Ledru

36 papers receiving 216 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Yves Ledru France	8	183	124	68	58	43	40	233
Michael Poppleton United Kingdom	10	123 0.7×	70 0.6×	136 2.0×	89 1.5×	55 1.3×	38	216
Oscar Slotosch Germany	8	140 0.8×	51 0.4×	81 1.2×	85 1.5×	23 0.5×	19	207
Thomas Baar Switzerland	6	144 0.8×	110 0.9×	172 2.5×	60 1.0×	25 0.6×	27	245
Burkhart Wolff France	9	140 0.8×	89 0.7×	161 2.4×	80 1.4×	60 1.4×	45	249
Vlad Rusu France	8	137 0.7×	56 0.5×	116 1.7×	148 2.6×	41 1.0×	29	243
Régine Laleau France	9	74 0.4×	59 0.5×	102 1.5×	56 1.0×	32 0.7×	26	159
Tim A. C. Willemse Netherlands	9	167 0.9×	57 0.5×	161 2.4×	183 3.2×	48 1.1×	56	292
Lydie du Bousquet France	8	153 0.8×	72 0.6×	46 0.7×	54 0.9×	28 0.7×	32	190
Jacopo Mantovani Italy	4	76 0.4×	66 0.5×	59 0.9×	99 1.7×	84 2.0×	7	188
Jürgen Dingel Canada	8	88 0.5×	78 0.6×	99 1.5×	45 0.8×	77 1.8×	13	184

Countries citing papers authored by Yves Ledru

Since Specialization

Citations

This map shows the geographic impact of Yves Ledru's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Yves Ledru with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Yves Ledru more than expected).

Fields of papers citing papers by Yves Ledru

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Yves Ledru. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Yves Ledru. The network helps show where Yves Ledru may publish in the future.

Co-authorship network of co-authors of Yves Ledru

This figure shows the co-authorship network connecting the top 25 collaborators of Yves Ledru. A scholar is included among the top collaborators of Yves Ledru based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Yves Ledru. Yves Ledru is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Ledru, Yves, et al.. (2023). DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. SPIRE - Sciences Po Institutional REpository. 136–141.

2.

Ledru, Yves, et al.. (2020). Alliance of model-driven engineering with a proof-based formal approach. Innovations in Systems and Software Engineering. 16(3-4). 289–307. 3 indexed citations

3.

Ledru, Yves, et al.. (2018). Requirements for a Trace Property Language for Medical Devices. 30–33. 1 indexed citations

4.

Ledru, Yves, et al.. (2015). Validation of IS Security Policies Featuring Authorisation Constraints. International Journal of Information System Modeling and Design. 6(1). 24–46. 4 indexed citations

5.

Ayed, Rahma Ben, et al.. (2014). B Formal Validation of ERTMS/ETCS Railway Operating Rules. HAL (Le Centre pour la Communication Scientifique Directe). 1 indexed citations

6.

Laleau, Régine, et al.. (2011). Combining UML, ASTD and B for the formal specification of an access control filter. Innovations in Systems and Software Engineering. 7(4). 303–313. 6 indexed citations

7.

Ledru, Yves, Alexandre Petrenko, Sergiy Boroday, & Nadine Mandran. (2011). Prioritizing test cases with string distances. Automated Software Engineering. 19(1). 65–95. 89 indexed citations

8.

Bousquet, Lydie du, Yves Ledru, Olivier Maury, Catherine Oriat, & Jean‐Louis Lanet. (2009). Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. Journal of Automated Reasoning. 45(4). 415–435. 7 indexed citations

9.

Dadeau, Frédéric, Yves Ledru, & Lydie du Bousquet. (2007). Directed random reduction of combinatorial test suites. 18–25. 2 indexed citations

10.

Mayer, Johannes, Neelam Gupta, & Yves Ledru. (2006). Proceedings of the 3rd international workshop on Software quality assurance. 1 indexed citations

11.

Ledru, Yves, et al.. (2006). A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. 48. 97–106. 2 indexed citations

12.

Bert, Didier, et al.. (2006). Validation of Regulation Documents by Automated Analysis of Formal Models.. 1 indexed citations

13.

Ledru, Yves, et al.. (2005). Experiences in coverage testing of a Java middleware. 39–45. 13 indexed citations

14.

Ledru, Yves, et al.. (2005). Object Oriented Concepts Identification from Formal B Specifications. Electronic Notes in Theoretical Computer Science. 133. 159–174. 9 indexed citations

15.

Bousquet, Lydie du, et al.. (2004). A case study in JML-based software validation. 294–297. 16 indexed citations

16.

Ledru, Yves, et al.. (2004). Towards Computer-Aided Design of OCL Constraints. 329–338. 3 indexed citations

17.

Ledru, Yves. (2002). Specification and animation of a bank transfer. 192–199.

18.

Ledru, Yves. (2002). Hierarchical specification of reactive systems: a case study. 299. 109–116. 1 indexed citations

19.

Ledru, Yves, et al.. (2000). Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z.. 6. 1 indexed citations

20.

Ledru, Yves, et al.. (1990). An experiment in formal software development: using the B theorem prover on a VDM case study. International Conference on Software Engineering. 34–42.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact