Claude Marché

Cited by

	All	Since 2019
Citations	4323	1044
h-index	34	16
i10-index	61	27

280

140

210

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202438 22 36 12 25 24 21 47 58 89 92 215 188 259 256 271 236 245 231 214 211 197 192 205 166 175 174 178 145

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jean-Christophe FilliâtreCNRSVerified email at lri.fr
Xavier UrbainFull Professor of Computer Science, University Claude Bernard Lyon 1Verified email at liris.cnrs.fr
Andrei PaskevichAssociate Professor of Computer Science, Paris-Saclay UniversityVerified email at u-psud.fr
Évelyne ContejeanDirectrice de recherche CNRS, LMF, Université Paris-SudVerified email at lmf.cnrs.fr
Christine PAULIN-MOHRINGLMF, Université Paris-SaclayVerified email at universite-paris-saclay.fr
Salvador LucasDSIC & VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Francisco DuránUniversity of MálagaVerified email at uma.es
Guillaume MelquiondInria, University Paris SaclayVerified email at inria.fr
hans zantemaEindhoven university of technologyVerified email at tue.nl
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayVerified email at lix.polytechnique.fr
Marieke HuismanVerified email at ewi.utwente.nl
Gidon ErnstSoftware and Computational Systems Lab, LMU MunichVerified email at lmu.de
Radu GrigoreFacebookVerified email at fb.com
Rosemary MonahanNational Univeristy of IrelandVerified email at mu.ie
Wojciech MostowskiHalmstad UniversityVerified email at hh.se
Marc BrockschmidtResearch Scientist, Google DeepMindVerified email at google.com
Dino DistefanoMeta and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)Verified email at sap.com
Bogdan TofanAssociated Professor of Architecture, "Ion Mincu" University of Architecture and UrbanismVerified email at iaim.ro

Claude Marché

Senior Research Scientist, Inria

Verified email at inria.fr - Homepage

Computer Science Deductive Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification: (Tool Paper) JC Filliâtre, C Marché International Conference on Computer Aided Verification, 173-177, 2007	510	2007
Why3: Shepherd your herd of provers F Bobot, JC Filliâtre, C Marché, A Paskevich Boogie 2011: First International Workshop on Intermediate Verification …, 2011	405	2011
ACSL: ANSI/ISO C Specification Language, version 1.4, 2009 P Baudin, JC Filliâtre, C Marché, B Monate, Y Moy, V Prevosto	334*
Multi-prover verification of C programs JC Filliâtre, C Marché Formal Methods and Software Engineering: 6th International Conference on …, 2004	307	2004
The Krakatoa tool for certification of Java/JavaCard programs annotated in JML C Marché, C Paulin-Mohring, X Urbain The Journal of Logic and Algebraic Programming 58 (1), 89-106, 2004	268	2004
Mechanically proving termination using polynomial interpretations E Contejean, C Marché, AP Tomás, X Urbain Journal of Automated Reasoning 34 (4), 325-363, 2005	119	2005
Normalized rewriting: an alternative to rewriting modulo a set of equations C Marché Journal of symbolic computation 21 (3), 253-288, 1996	112	1996
Operational termination of conditional term rewriting systems S Lucas, C Marché, J Meseguer Information Processing Letters 95 (4), 446-453, 2005	111	2005
Proving operational termination of membership equational programs F Durán, S Lucas, C Marché, J Meseguer, X Urbain Higher-Order and Symbolic Computation 21 (1), 59-88, 2008	100	2008
Let’s verify this with Why3 F Bobot, JC Filliâtre, C Marché, A Paskevich International Journal on Software Tools for Technology Transfer 17, 709-727, 2015	85	2015
Multi-prover verification of floating-point programs A Ayad, C Marché International Joint Conference on Automated Reasoning, 127-141, 2010	84	2010
Discharging proof obligations from Atelier B using multiple automated provers D Mentré, C Marché, JC Filliâtre, M Asuka International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012	67	2012
Proving termination of membership equational programs F Durán, S Lucas, J Meseguer, C Marché, X Urbain Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004	65	2004
CiME: Completion modulo E E Contejean, C Marché International Conference on Rewriting Techniques and Applications, 416-419, 1996	62	1996
Separation Analysis for Weakest Precondition-based Verification T Hubert, C Marché HAV 2007-Heap Analysis and Verication, 81--93, 2007	60	2007
A case study of C source code verification: the Schorr-Waite algorithm T Hubert, C Marché Third IEEE International Conference on Software Engineering and Formal …, 2005	59	2005
Normalised rewriting and normalised completion C Marché Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 394-403, 1994	59	1994
ACSL: ANSI/ISO C Specification Language, version 1.4 P Baudin, JC Filliâtre, C Marché, B Monate, Y Moy, V Prevosto CEA, http://frama-c. com/download/acsl_1 6, 2009	58	2009
The termination competition C Marché, H Zantema International Conference on Rewriting Techniques and Applications, 303-313, 2007	57	2007
Proving termination of rewriting with CiME E Contejean, C Marché, B Monate, X Urbain Extended Abstracts of the 6th International Workshop on Termination, WST’03 …, 2003	53	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors