Yannick Moy

718 total citations
25 papers, 245 citations indexed

About

Yannick Moy is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics. According to data from OpenAlex, Yannick Moy has authored 25 papers receiving a total of 245 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Artificial Intelligence, 14 papers in Software and 12 papers in Computational Theory and Mathematics. Recurrent topics in Yannick Moy's work include Software Testing and Debugging Techniques (12 papers), Formal Methods in Verification (11 papers) and Security and Verification in Computing (7 papers). Yannick Moy is often cited by papers focused on Software Testing and Debugging Techniques (12 papers), Formal Methods in Verification (11 papers) and Security and Verification in Computing (7 papers). Yannick Moy collaborates with scholars based in France, Switzerland and India. Yannick Moy's co-authors include Benjamin Monate, Douglas O. Frost, Claude Marché, Virginie Wiels, Jean-Christophe Filliâtre, Virgile Prévosto, Douglas C. Smith, Nikolaj Bjørner, David Lesens and Roderick Chapman and has published in prestigious journals such as Communications of the ACM, Experimental Brain Research and IEEE Software.

In The Last Decade

Yannick Moy

18 papers receiving 220 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Yannick Moy France 8 113 96 92 41 34 25 245
Sergio Nocco Italy 11 145 1.3× 184 1.9× 62 0.7× 62 1.5× 8 0.2× 34 279
S. Mourad United States 10 28 0.2× 28 0.3× 37 0.4× 165 4.0× 17 0.5× 57 356
Samuel Pagliarini Estonia 11 14 0.1× 24 0.3× 156 1.7× 259 6.3× 49 1.4× 58 459
Klaus Buchenrieder Germany 11 38 0.3× 50 0.5× 40 0.4× 179 4.4× 13 0.4× 46 313
Timothy Bourke France 7 22 0.2× 72 0.8× 128 1.4× 99 2.4× 35 1.0× 21 269
Alessandro Coglio Italy 8 31 0.3× 65 0.7× 140 1.5× 37 0.9× 26 0.8× 29 220
Saikat Dutta India 9 97 0.9× 11 0.1× 79 0.9× 19 0.5× 116 3.4× 22 343
Filip Pizlo United States 15 103 0.9× 107 1.1× 250 2.7× 589 14.4× 30 0.9× 29 734
Cordelia Hall United Kingdom 7 32 0.3× 82 0.9× 174 1.9× 59 1.4× 45 1.3× 18 224
Zijian Zhou China 8 47 0.4× 87 0.9× 57 0.6× 44 1.1× 2 0.1× 33 201

Countries citing papers authored by Yannick Moy

Since Specialization
Citations

This map shows the geographic impact of Yannick Moy'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 Yannick Moy with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Yannick Moy more than expected).

Fields of papers citing papers by Yannick Moy

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Yannick Moy. 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 Yannick Moy. The network helps show where Yannick Moy may publish in the future.

Co-authorship network of co-authors of Yannick Moy

This figure shows the co-authorship network connecting the top 25 collaborators of Yannick Moy. A scholar is included among the top collaborators of Yannick Moy 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 Yannick Moy. Yannick Moy is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Chapman, Roderick, et al.. (2024). Co-Developing Programs and Their Proof of Correctness. Communications of the ACM. 67(3). 84–94.
2.
Moy, Yannick. (2024). Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software. Technische Universität Berlin – Universitätsbibliothek. 76. 1 indexed citations
3.
4.
Moy, Yannick, et al.. (2022). Proving the Correctness of GNAT Light Runtime Library. ACM SIGAda Ada Letters. 42(1). 65–67. 1 indexed citations
5.
Schweiger, Andreas, et al.. (2021). Classification for Avionics Capabilities Enabled by Artificial Intelligence. Zürcher Hochschule für Angewandte Wissenschaften digital collection (Zurich University of Applied Sciences). 1–10. 2 indexed citations
6.
Moy, Yannick. (2021). How the Analyzer can Help the User Help the Analyzer. Electronic Proceedings in Theoretical Computer Science. 338. 97–104. 1 indexed citations
7.
Georgiou, Kyriakos, et al.. (2021). Layered Formal Verification of a TCP Stack. 86–93. 2 indexed citations
8.
Marché, Claude, et al.. (2018). Instrumenting a weakest precondition calculus for counterexample generation. Journal of Logical and Algebraic Methods in Programming. 99. 97–113. 7 indexed citations
9.
Moy, Yannick, et al.. (2014). SPARK 2014 and GNATprove. International Journal on Software Tools for Technology Transfer. 17(6). 695–707. 7 indexed citations
10.
Moy, Yannick, et al.. (2014). System to Software Integrity: A Case Study. INRIA a CCSD electronic archive server.
11.
Lesens, David, et al.. (2014). Rail, Space, Security: Three Case Studies for SPARK 2014. 6 indexed citations
12.
Moy, Yannick, et al.. (2013). Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. IEEE Software. 30(3). 50–57. 60 indexed citations
13.
Lesens, David, et al.. (2013). Formal Validation of Aerospace Software. 720. 43. 1 indexed citations
14.
Cuoq, Pascal, Florent Kirchner, Nikolaï Kosmatov, et al.. (2012). A Software Analysis Perspective. 1 indexed citations
15.
Moy, Yannick & Claude Marché. (2010). Modular inference of subprogram contracts for safety checking. Journal of Symbolic Computation. 45(11). 1184–1211. 10 indexed citations
16.
Moy, Yannick & Claude Marché. (2009). Jessie Plugin Tutorial Beryllium Version. 2 indexed citations
17.
Moy, Yannick, et al.. (2009). Modular Bug-finding for Integer Overflows in the Large: Sound, Efficient, Bit-precise Static Analysis. 12 indexed citations
18.
Filliâtre, Jean-Christophe, et al.. (2008). ACSL: ANSI C Specification Language. 8 indexed citations
19.
Frost, Douglas O., Yannick Moy, & Douglas C. Smith. (1990). Effects of alternating monocular occlusion on the development of visual callosal connections. Experimental Brain Research. 83(1). 200–9. 14 indexed citations
20.
Frost, Douglas O. & Yannick Moy. (1989). Effects of dark rearing on the development of visual callosal connections. Experimental Brain Research. 78(1). 203–13. 31 indexed citations

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

Breakdown of academic impact, for papers by Sergio Nocco Breakdown of academic impact, for papers by S. Mourad Breakdown of academic impact, for papers by Samuel Pagliarini Breakdown of academic impact, for papers by Klaus Buchenrieder Breakdown of academic impact, for papers by Timothy Bourke Breakdown of academic impact, for papers by Alessandro Coglio Breakdown of academic impact, for papers by Saikat Dutta Breakdown of academic impact, for papers by Filip Pizlo Breakdown of academic impact, for papers by Cordelia Hall Breakdown of academic impact, for papers by Zijian Zhou
Rankless by CCL
2026