Claude Marché

Citado por

	Total	Desde 2019
Citas	4316	945
Índice h	33	15
Índice i10	62	26

280

140

210

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202439 22 38 12 24 24 21 46 59 88 93 215 185 262 261 266 256 257 241 226 220 209 212 201 163 174 180 174 53

Acceso público

Ver todo

3 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Jean-Christophe FilliâtreCNRSDirección de correo verificada de lri.fr
Xavier UrbainFull Professor of Computer Science, University Claude Bernard Lyon 1Dirección de correo verificada de liris.cnrs.fr
Andrei PaskevichAssociate Professor of Computer Science, Paris-Saclay UniversityDirección de correo verificada de u-psud.fr
Évelyne ContejeanDirectrice de recherche CNRS, LMF, Université Paris-SudDirección de correo verificada de universite-paris-saclay.fr
Christine PAULIN-MOHRINGLMF, Université Paris-SaclayDirección de correo verificada de universite-paris-saclay.fr
Salvador LucasDSIC & VRAIN, Universitat Politècnica de ValènciaDirección de correo verificada de dsic.upv.es
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu
Francisco DuránUniversity of MálagaDirección de correo verificada de lcc.uma.es
Guillaume MelquiondInria, University Paris SaclayDirección de correo verificada de inria.fr
hans zantemaEindhoven university of technologyDirección de correo verificada de tue.nl
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayDirección de correo verificada de lix.polytechnique.fr
Marieke HuismanDirección de correo verificada de ewi.utwente.nl
Gidon ErnstSoftware and Computational Systems Lab, LMU MunichDirección de correo verificada de lmu.de
Radu GrigoreFacebookDirección de correo verificada de fb.com
Rosemary MonahanNational Univeristy of IrelandDirección de correo verificada de mu.ie
Wojciech MostowskiHalmstad UniversityDirección de correo verificada de hh.se
Marc BrockschmidtResearch Scientist, Google DeepMindDirección de correo verificada de google.com
Dino DistefanoMeta and Queen Mary University of LondonDirección de correo verificada de eecs.qmul.ac.uk
Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)Dirección de correo verificada de sap.com
Bogdan TofanAssociated Professor of Architecture, "Ion Mincu" University of Architecture and UrbanismDirección de correo verificada de iaim.ro

Seguir

Claude Marché

Senior Research Scientist, Inria

Dirección de correo verificada de inria.fr - Página principal

Computer Science Deductive Verification


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	509	2007
ACSL: ANSI/ISO C Specification Language, version 1.4, 2009 P Baudin, JC Filliâtre, C Marché, B Monate, Y Moy, V Prevosto	429*
Why3: Shepherd your herd of provers F Bobot, JC Filliâtre, C Marché, A Paskevich Boogie 2011: First International Workshop on Intermediate Verification …, 2011	389	2011
Multi-prover verification of C programs JC Filliâtre, C Marché Formal Methods and Software Engineering: 6th International Conference on …, 2004	306	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	261	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	111	1996
Operational termination of conditional term rewriting systems S Lucas, C Marché, J Meseguer Information Processing Letters 95 (4), 446-453, 2005	110	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
Multi-prover verification of floating-point programs A Ayad, C Marché International Joint Conference on Automated Reasoning, 127-141, 2010	85	2010
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	78	2015
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	64	2004
CiME: Completion modulo E E Contejean, C Marché International Conference on Rewriting Techniques and Applications, 416-419, 1996	61	1996
Separation Analysis for Weakest Precondition-based Verification T Hubert, C Marché HAV 2007-Heap Analysis and Verication, 81--93, 2007	58	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	58	2005
Normalised rewriting and normalised completion C Marché Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 394-403, 1994	57	1994
The termination competition C Marché, H Zantema International Conference on Rewriting Techniques and Applications, 303-313, 2007	56	2007
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	54	2009
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	54	2003

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores