Concepedia

Claude Marché

CM

Statistics

Publications

29

Citations

1.3K

H-Index

17

Active since

1990

Affiliations

Laboratoire de Recherche en Informatique(Current)

Université Paris-Sud

Centre National de la Recherche Scientifique

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

Centre Inria de Saclay

Claude Marché is an author at Laboratoire de Recherche en Informatique specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSoftware AnalysisAutomated ReasoningVerificationProgram AnalysisGeographyHydrology

Publications per year

1990–2019

29

Publications

29

A.: Why3: Shepherd your herd of provers

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

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 · 153 citations

Software Maintenance, Engineering, Software Quality +14

ACSL: ANSI/ISO C Specification Language

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

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

Engineering, Hydrologic Engineering, Climate Modeling +23

Operational termination of conditional term rewriting systems

Salvador Lucas, Claude Marché, José Meseguer · Information Processing Letters · 2005 · 75 citations

Engineering, Automated Reasoning, Regulated Rewriting +7

1–5 of 29