Concepedia

Yannick Moy

YM

Statistics

Publications

12

Citations

481

H-Index

12

Active since

1989

Affiliations

AdaCore (France)(Current)

Yale University

Laboratoire de Recherche en Informatique

Centre Inria de Saclay

Yannick Moy is an author at AdaCore (France) specializing in computer science, computing, and formal methods.

Publications per year

1989–2021

12

Publications

12

ACSL: ANSI/ISO C Specification Language

Patrick Baudin, Jean-Christophe Filliâtre, Claude Marché et al. · 2008 · 153 citations

Computing, Computer Science, Formal Methods +12

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience

Yannick Moy, Emmanuel Ledinot, Hervé Delseny et al. · IEEE Software · 2013 · 120 citations

Computing, Aerospace Engineering, Computer Science +16

Effects of dark rearing on the development of visual callosal connections

Douglas O. Frost, Yannick Moy · Experimental Brain Research · 1989 · 39 citations

Medicine, Neurobiology, Neuroscience +7

SPARK 2014 and GNATprove

Duc N. M. Hoang, Yannick Moy, Angela Wallenburg et al. · International Journal on Software Tools for Technology Transfer · 2014 · 28 citations

Computing, Data Science, Grid Computing +1

Modular Bug-finding for Integer Overflows in the Large: Sound, Efficient, Bit-precise Static Analysis

Yannick Moy, Nikolaj Bjørner, David Sielaff · 2009 · 21 citations

Computing, Computer Engineering, Computer Science +13

1–5 of 12