BibSonomy :: author  ::

bookmarks

publications

(49)

• Proving operational termination of membership equational programs.
  Francisco Durán and Salvador Lucas and Claude Marché and José Meseguer and Xavier Urbain Higher-Order and Symbolic Computation 21 59-88 (2008)
  to dblp by dblp on 2008-11-25 00:00:00
  | URL | BibTeX  
• A Positive Preserving High Order VFRoe Scheme for Shallow Water Equations: A Class of Relaxation Schemes.
  Christophe Berthon and Fabien Marche SIAM J. Scientific Computing 30 2587-2612 (2008)
  to dblp by dblp on 2008-08-07 00:00:00
  | URL | BibTeX  
• . A new switch compensation technique for inverted R-2R ladder DACs.
  D. Marche and Yves Gagnon and Yvon Savaria ISCAS (1) 196-199 (2005)
  to dblp by dblp on 2007-12-03 00:00:00
  | URL | BibTeX  
• Jessie: an intermediate language for Java and C verification.
  Claude Marché PLPV 1-2 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• Towards Modular Algebraic Specifications for Pointer Programs: A Case Study.
  Claude Marché Rewriting, Computation and Proof 235-258 (2007)
  to dblp by dblp on 2007-09-07 00:00:00
  | URL | BibTeX  
• The Termination Competition.
  Claude Marché and Hans Zantema RTA 303-313 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• The Why/Krakatoa/Caduceus Platform for Deductive Program Verification.
  Jean-Christophe Filliâtre and Claude Marché CAV 173-177 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Mechanically Proving Termination Using Polynomial Interpretations.
  Evelyne Contejean and Claude Marché and Ana Paula Tomás and Xavier Urbain J. Autom. Reasoning 34 325-363 (2005)
  to dblp by dblp on 2007-02-09 00:00:00
  | URL | BibTeX  
• Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears.
  Claude Marché and Nicolas Rousset SEFM 137-146 (2006)
  to dblp by dblp on 2007-01-18 00:00:00
  | URL | BibTeX  
• Electronic commerce and the strategic management of deep-sea container shipping companies: an exploratory survey analysis.
  Eladio Peñaloza and Mary Brooks and Sunny Marche ICEC 381-390 (2006)
  to dblp by dblp on 2006-10-04 00:00:00
  | URL | BibTeX