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

Yannick Moy

SOFTW

CTM

AI

HA

IS

Sergio Nocco Italy

S. Mourad United States

Samuel Pagliarini Estonia

Klaus Buchenrieder Germany

Timothy Bourke France

Alessandro Coglio Italy

Saikat Dutta India

Filip Pizlo United States

Cordelia Hall United Kingdom

Zijian Zhou China

Sergio Nocco Italy

Yannick Moy

145 ×1.3

SOFTW

184 ×1.9

CTM

62 ×0.7

AI

62 ×1.5

HA

8 ×0.2

IS

Citations per year, relative to Yannick Moy Yannick Moy (= 1×) peers Sergio Nocco

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

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

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.

Artho, Cyrille, et al.. (2023). Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library. 37–47.

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