Claude Marché

Citée par

	Toutes	Depuis 2019
Citations	4320	1041
indice h	34	16
indice i10	61	27

280

140

210

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202438 22 36 12 25 24 21 47 58 89 92 215 188 258 256 271 236 246 231 214 211 197 192 205 166 175 174 179 141

Accès public

Tout afficher

3 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Jean-Christophe FilliâtreCNRSAdresse e-mail validée de lri.fr
Xavier UrbainFull Professor of Computer Science, University Claude Bernard Lyon 1Adresse e-mail validée de liris.cnrs.fr
Andrei PaskevichAssociate Professor of Computer Science, Paris-Saclay UniversityAdresse e-mail validée de u-psud.fr
Évelyne ContejeanDirectrice de recherche CNRS, LMF, Université Paris-SudAdresse e-mail validée de lmf.cnrs.fr
Christine PAULIN-MOHRINGLMF, Université Paris-SaclayAdresse e-mail validée de universite-paris-saclay.fr
Salvador LucasDSIC & VRAIN, Universitat Politècnica de ValènciaAdresse e-mail validée de dsic.upv.es
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignAdresse e-mail validée de illinois.edu
Francisco DuránUniversity of MálagaAdresse e-mail validée de uma.es
Guillaume MelquiondInria, University Paris SaclayAdresse e-mail validée de inria.fr
hans zantemaEindhoven university of technologyAdresse e-mail validée de tue.nl
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayAdresse e-mail validée de lix.polytechnique.fr
Marieke HuismanAdresse e-mail validée de ewi.utwente.nl
Gidon ErnstSoftware and Computational Systems Lab, LMU MunichAdresse e-mail validée de lmu.de
Radu GrigoreFacebookAdresse e-mail validée de fb.com
Rosemary MonahanNational Univeristy of IrelandAdresse e-mail validée de mu.ie
Wojciech MostowskiHalmstad UniversityAdresse e-mail validée de hh.se
Marc BrockschmidtResearch Scientist, Google DeepMindAdresse e-mail validée de google.com
Dino DistefanoMeta and Queen Mary University of LondonAdresse e-mail validée de eecs.qmul.ac.uk
Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)Adresse e-mail validée de sap.com
Bogdan TofanAssociated Professor of Architecture, "Ion Mincu" University of Architecture and UrbanismAdresse e-mail validée de iaim.ro

Suivre

Claude Marché

Senior Research Scientist, Inria

Adresse e-mail validée de inria.fr - Page d'accueil

Computer Science Deductive Verification


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	404	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs