Concepedia

AdaCore (France)

A(

Statistics

Publications

251

Citations

1.1K

Authors

34

Location

Paris, France

AdaCore (France) is a company institution in Paris, France known for engineering, formal verification, and verification.

HomepageROR

Top concepts

Publications

251

A ‘Landscape physiology’ approach for assessing bee health highlights the benefits of floral landscape enrichment and semi-natural habitats

Cédric Alaux, Fabrice Allier, Axel Decourtye et al. · Scientific Reports · 2017 · 144 citations · Full text

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

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

, , +19

Certifiably safe software-dependent systems: challenges and directions

John Hatcliff, Alan Wassyng, Tim Kelly et al. · 2014 · 68 citations

, , +22

The fiber optic gyro 'adventure' at Photonetics, iXsea and now iXblue

Hervé C. Lefèvre, Adrien Steib, Alain Claire et al. · 2020 · 43 citations

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

, , +6

1–5 of 251

Authors

34

  1. YM
    Yannick Moy

    AdaCore (France), France

    66 publications · 717 citations

    15

    h-index

  2. HJ
    H. J. Arditty

    AdaCore (France), France

    39 publications · 676 citations

    12

    h-index

  3. CC
    Cyrille Comar

    AdaCore (France), France

    31 publications · 183 citations

    7

    h-index

  4. CO
    Christophe Ollivier

    AdaCore (France), France

    12 publications · 106 citations

    5

    h-index

  5. KA
    Karl Aubry

    AdaCore (France), France

    6 publications · 93 citations

    4

    h-index

1–5 of 34