Concepedia

Claude Marché

CM

Statistics

Publications

30

Citations

1.3K

H-Index

18

Active since

1990

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire de Recherche en Informatique

Université Paris-Sud

Institut national de recherche en sciences et technologies du numérique

Polytechnique Montréal

Claude Marché is an author at Centre National de la Recherche Scientifique specializing in computing, computer science, and formal methods.

Publications per year

1990–2019

30

Publications

30

A.: Why3: Shepherd your herd of provers

François Bobot, Jean-Christophe Filliâtre, Claude Marché et al. · 2011 · 186 citations · Full text

Computing, Computer Science, Formal Methods +16

The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML

Claude Marché, Christine Paulin-Mohring, Xavier Urbain · The Journal of Logic and Algebraic Programming · 2003 · 154 citations

Computing, Computer Science, Programming Languages +13

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

The impact of climate change on seasonal floods of a southern Quebec River Basin

Luc Roy, Robert Leconte, François Brissette et al. · Hydrological Processes · 2001 · 82 citations

Natural Resources, Earth Sciences, Hydrology +17

Mechanically Proving Termination Using Polynomial Interpretations

Évelyne Contejean, Claude Marché, Ana Paula Tomás et al. · Journal of Automated Reasoning · 2005 · 75 citations

Computing, Computer Science, Mathematics +8

1–5 of 30