Benjamin Monate

Statistics

Publications

Citations

423

H-Index

Active since

2008

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

Laboratoire d'Intégration des Systèmes et des Technologies

Benjamin Monate is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in computer science, computing, and programming languages.

Publications per year

2008–2013

Publications

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

A Value Analysis for C Programs

Géraud Canet, Pascal Cuoq, Benjamin Monate · 2009 · 67 citations

Computing, Computer Engineering, Computer Science +10

Experience report

Pascal Cuoq, Julien Signoles, Patrick Baudin et al. · 2009 · 42 citations

Computing, Computer Science, Compilers +11

ACSL: ANSI C Specification Language

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

Computing, Computer Engineering, Computer Science +8

1–5 of 7