The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Claude Marché" ( http://dblp.L3S.de/Authors/Claude_Marché )

  Author page on DBLP  Author page in RDF  Community of Claude Marché in ASPL-2

Publication years (Num. hits)
1990-2004 (19) 2005-2011 (18) 2012-2017 (16) 2018 (2)
Publication types (Num. hits)
article(16) inproceedings(37) proceedings(2)
Venues (Conferences, Journals, ...)
RTA(7) VSTTE(6) FoVeOOS(3) J. Symb. Comput.(3) SEFM(3) ABZ(2) PLPV(2) AMAST(1) CAV(1) CCL(1) CPP(1) DISCO(1) ERCIM News(1) F-IDE@FLoC(1) Higher-Order and Symbolic Comp...(1) ICFEM(1) More (+10 of total 36)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 10 keywords

Results
Found 56 publication records. Showing 55 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sylvain Dailler, Claude Marché, Yannick Moy Lightweight Interactive Proving inside an Automatic Program Verifier. Search on Bibsonomy F-IDE@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sylvain Dailler, David Hauzar, Claude Marché, Yannick Moy Instrumenting a weakest precondition calculus for counterexample generation. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ran Chen, Martin Clochard, Claude Marché A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links. Search on Bibsonomy J. Formalized Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Clément Fumex, Claude Marché, Yannick Moy Automating the Verification of Floating-Point Programs. Search on Bibsonomy VSTTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicolas Jeannerod, Claude Marché, Ralf Treinen A Formally Verified Interpreter for a Shell-Like Programming Language. Search on Bibsonomy VSTTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raphaël Rieu-Helft, Claude Marché, Guillaume Melquiond How to Get an Efficient yet Verified Arbitrary-Precision Integer Library. Search on Bibsonomy VSTTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nikolai Kosmatov, Claude Marché, Yannick Moy, Julien Signoles Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Clément Fumex, Claire Dross, Jens Gerlach, Claude Marché Specification and Proof of High-Level Functional Properties of Bit-Level Programs. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Hauzar, Claude Marché, Yannick Moy Counterexamples from Proof Failures in SPARK. Search on Bibsonomy SEFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Claude Marché, Johannes Kanig Bridging the Gap between Testing and Formal Verification in Ada Development. Search on Bibsonomy ERCIM News The full citation details ... 2015 DBLP  BibTeX  RDF
1François Bobot, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich Let's verify this with Why3. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Claude Marché Verification of the functional behavior of a floating-point program: An industrial case study. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Clochard, Claude Marché, Andrei Paskevich Verified programs with binders. Search on Bibsonomy PLPV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Clochard, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich Formalizing Semantics with an Automatic Program Verifier. Search on Bibsonomy VSTTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Delahaye, Catherine Dubois, Claude Marché, David Mentré The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations. Search on Bibsonomy ABZ The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1François Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond, Andrei Paskevich Preserving User Proofs across Specification Changes. Search on Bibsonomy VSTTE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paolo Herms, Claude Marché, Benjamin Monate A Certified Multi-prover Verification Condition Generator. Search on Bibsonomy VSTTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Mentré, Claude Marché, Jean-Christophe Filliâtre, Masashi Asuka Discharging Proof Obligations from Atelier B Using Multiple Automated Provers. Search on Bibsonomy ABZ The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sylvie Boldo, Claude Marché Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thi Minh Tuyen Nguyen, Claude Marché Hardware-Dependent Proofs of Numerical Programs. Search on Bibsonomy CPP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich The COST IC0701 Verification Competition 2011. Search on Bibsonomy FoVeOOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bernhard Beckert, Claude Marché (eds.) Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers Search on Bibsonomy FoVeOOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yannick Moy, Claude Marché Modular inference of subprogram contracts for safety checking. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko Specifying generic Java programs: two case studies. Search on Bibsonomy LDTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ali Ayad, Claude Marché Multi-Prover Verification of Floating-Point Programs. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Asma Tafat, Sylvain Boulmé, Claude Marché A Refinement Methodology for Object-Oriented Programs. Search on Bibsonomy FoVeOOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain Proving operational termination of membership equational programs. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Conditional term rewriting, Operational termination, Declarative rule-based languages, Program transformation, Membership equational logic
1Claude Marché, Hans Zantema The Termination Competition. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Claude Marché Towards Modular Algebraic Specifications for Pointer Programs: A Case Study. Search on Bibsonomy Rewriting, Computation and Proof The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jean-Christophe Filliâtre, Claude Marché The Why/Krakatoa/Caduceus Platform for Deductive Program Verification. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Claude Marché Jessie: an intermediate language for Java and C verification. Search on Bibsonomy PLPV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF behavioral properties, verification conditions generator, verification
1Claude Marché, Nicolas Rousset Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears. Search on Bibsonomy SEFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF JAVA CARD applets, Card Tears, non-atomic methods, Formal verification, Transactions, JML
1Salvador Lucas, Claude Marché, José Meseguer Operational termination of conditional term rewriting systems. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain Mechanically Proving Termination Using Polynomial Interpretations. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF polynomial interpretations, termination, term rewriting
1Thierry Hubert, Claude Marché A case study of C source code verification: the Schorr-Waite algorithm. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Claude Marché, Christine Paulin-Mohring Reasoning About Java Programs with Aliasing and Frame Conditions. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Claude Marché, Xavier Urbain Modular and incremental proofs of AC-termination. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Claude Marché, Christine Paulin-Mohring, Xavier Urbain The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jean-Christophe Filliâtre, Claude Marché Multi-prover Verification of C Programs. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF pointer programs, formal verification and proof, Hoare logic, C programming language
1Bart Jacobs 0001, Claude Marché, Nicole Rauch Formal Verification of a Commercial Smart Card Applet with Multiple Tools. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain Proving termination of membership equational programs. Search on Bibsonomy PEPM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF program transformation, termination, term rewriting, membership equational logic
1Claude Marché, Benoit Robert Dam Failure Risk: Its Definition and Impact on Safety Assessment of Dam Structures. Search on Bibsonomy Journal of Decision Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hubert Comon, Claude Marché, Ralf Treinen (eds.) Constraints in Computational Logics: Theory and Applications, International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures Search on Bibsonomy CCL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Enno Ohlebusch, Claus Claves, Claude Marché TALP: A Tool for the Termination Analysis of Logic Programs. Search on Bibsonomy RTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Claude Marché, Xavier Urbain Termination of Associative-Commutative Rewriting by Dependency Pairs. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Evelyne Contejean, Claude Marché, Landy Rabehasaina Rewrite Systems for Natural, Integral, and Rational Arithmetic. Search on Bibsonomy RTA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Claude Marché Normalized Rewriting: An Alternative to Rewriting Modulo a Set of Equations. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Evelyne Contejean, Claude Marché CiME: Completion Modulo E. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Alexandre Boudet, Evelyne Contejean, Claude Marché AC-Complete Unification and its Application to Theorem Proving. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Claude Marché Normalised Rewriting and Normalised Completion Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Claude Marché Normalized Rewriting - Application to Ground Completion and Standard Bases. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Claude Marché The Word Problem of ACD-Ground Theories is Undecidable. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Claude Marché Termination and Completion Modulo Associativity, Commutativity and Identity. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Claude Marché On Ground AC-Completion. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Claude Marché Completion modulo Associativity, Commutativity and Identity (AC1). Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Class rewriting, Constrained rewriting, Completion modulo AC1, Constrained completion, Rewrite orderings, Termination
Displaying result #1 - #55 of 55 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license