Marché, Claude
Marché, Claude, 19..-..., chercheur en informatique
VIAF ID: 272060881 ( Personal )
Permalink: http://viaf.org/viaf/272060881
Preferred Forms
-
- 100 1 _ ‡a Marché, Claude
-
-
- 100 1 _ ‡a Marché, Claude, ‡d 19..-..., ‡c chercheur en informatique
- 100 1 _ ‡a Marché, Claude
-
Works
Title | Sources |
---|---|
Algorithmes certifiés pour la simplification syntaxique de programmes. | |
Analyse statique et preuve de programmes industriels critiques | |
Approche incrémentale des preuves automatiques de terminaison | |
Automatisation de la Spécification et de la Vérification d'applications Java Card | |
Certification of a Tool Chain for Deductive Program Verification | |
Certification of an Instruction Set Simulator | |
Certification of the transformation of proof tasks. | |
Certified algorithms for program slicing | |
Complétion modulo associativité, commutativité et élément neutre | |
Composition of software product line models. | |
Constraints in computational logics, 2001: | |
FLUIDE : Famille de Logiciels pour l'Utilisation de l'Informatique à des fins Didactiques dans l'étude des Ecoulements | |
Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers | |
Formalisation d'un vérificateur dynamique de propriétés mémoire pour programmes C | |
Formalization of a Runtime Assertion Checker for Memory Properties of C Programs. | |
Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels | |
Methods and tools for specification and proof of difficult properties of sequential programs. | |
Model-driven engineering using heterogeneous modeling languages : application to UML profiles. | |
On AC-termination and ground AC-completion | |
Preuve automatique et modulaire de la sûreté de fonctionnement des programmes C | |
Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur. | |
Procédures de décision génériques pour des théories axiomatiques du premier ordre | |
Processus d’ingénierie des exigences dans un environnment à base de modèles selon les normes automobiles. | |
Proofs by refinement of programs with pointers. | |
Réécriture modulo une théorie présentée par un système convergent et decidabilité des problèmes du mot dans certaines classes de théories équationnelles | |
Requirements Engineering Process according to Automotive Standards in a Model-driven Framework | |
Schematic calculi for the analysis of decision procedures | |
Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C. | |
Specifying and verifying high-level requirements on large programs : application to security of C programs | |
Static analysis and proof of critical industrial programs. | |
Taking architecture and compiler into account in formal proofs of numerical programs | |
Test basé sur la sémantique pour Circus. | |
Towards Synthesizing Open Systems : Tableaux For Multi-Agent Temporal Logics | |
Vérification de programmes avec pointeurs à l'aide de régions et de permissions | |
Vers la Synthèse de Systèmes Ouverts : Tableaux pour les Logiques Temporelles Multi-Agents. | |
The word problem of ACD-Ground theories is undecidable |