List of publications: index
Selection by year

2006 2005 2004 2003 2002 2001 2000 1999 1998
1997 1996 1995 1994 1993 1992 1991

Selection by category

Books and proceedings Thesis Articles in journal or book chapters
Conference articles Internal reports Manuals, booklets
Miscellaneous

Selection by author

A B C D E F G H I J K L M N
O P Q R S T U V W X Y Z

B Frédéric Besson Y. Boichut P. Brisset
C David Cachera Thomas Colcombet
D Thomas de Grenier de Latour T. Denmat Ewen Denney
Rémi Douence Mireille Ducassé
E M. Eluard
F G. Feuillade Pascal Fradet
G R. Gaugne Thomas Genet Y. Glouche
Arnaud Gotlieb V. Gouranton S.D. Gouraud
G. Le Guernic
H Stéphane Hong Tuan Ha A. A. Holzbacher S. Le Huitouze
J E. Jahier Thomas Jensen
L Ludovic Langevine P. Louvet Marc Éluard
M J. Mallet S. Mallet D. Le Métayer
Katell Morin-Allory
N V.-A. Nicolas J. Noyé
P Michaël Périn Matthieu Petit David Pichardie
Florimond Ployette Jean-Philippe Pouzol
R Olivier Ridoux Siegfried Rouvrais
S Gerardo Schneider S. Schoenig Pascal Sotin
F. Spoto Mario Südholt
T T. Thorn
V Lionel van Aertryck

Selection by keyword

A B C D E F G H I J K L M N
O P Q R S T U V W X Y Z

A abstract interpretation Abstract Views of Program Executions alias analysis
analyse de durée de vie analyse de globalisation analyse de nécessité
analyse dynamique analyse statique AOP
Approximation Approximations Artificial Intelligence
aspect-oriented programming attributed grammar Automated Debugging
automated test data generation automatic data distribution Automatic test data generation
availability
B B formal method bases de données déductives benchmarking
C C. C Debugging tool. CAM
CAP Format chemical reaction CLP
combinators. Compilation Compiler
composition operator computational linguistics computer security
Conditional Term Rewriting Constraint and logic languages constraint-based algorithm
Constraint-Based Test data generation Constraint Logic Programming Constraint satisfaction
Constraint solving context handling in syntactic analysis. continuation
continuation semantics continuations control flow
coordination correctness cost analysis
CPS conversion. Cryptographic Protocol
D data distribution data distribution algebra data parallelism
DCG débogage debugging
Debugging language Debugging tool deductive databases
Descendants differential inclusion distribution
Dynamic analysis dynamic slicing analysis
E ensembles de substitutions Equational theories exception handling.
exceptions explanations expressivity
F families of graphs finite-state system Flexibility
Floating-point computations fonctionnal testing formal method
formal methods formal semantics formal verification
function-lists functional functional languages
G Gamma garbage collection Globalization
Goal-oriented test data generation grammaires logiques grammar transformations
graph grammar graph grammars graph rewriting
H head reduction higher-order unification. Hoare's logic.
hybrid system
I implementation in-place update infinite behavior
infinite state systems information flow instrumentation
interaction interprétation abstraite invariance kernel
invariant
J Java Java Card
K Knowledge acquisition Krivine Machine
L élagage de programmes lambda-calcul lambda-calculus
lambda-terms LambdaProlog langages fonctionnels
Learning Limbo logic grammars
Logic programming logic programming language.
M Measure of test coverage memory analysis memory management.
Mercury méta-interprète meta-interpreter
Mobile agents mobile code Monitoring
Monitors multi-SLD-AL multiple views
multiset rewriting
N name scoping natural semantics neededness analysis
network programming numerical algorithm
O object orientation Objective Caml Obliq
operational semantics optimisation de compilateurs optimising compilers
optimizations
P parallel programming parallelism parametricity.
partition algorithm paths analysis performance
phase portrait Pointer structures and manipulations pointer variables
polymorphism polytopes portability
portée process calculi program analysis
Program behavior understanding Program Execution Analysis program learning
program robustness program schemes program skeleton
program transformation Program verification Programmation logique
Programming environment Programming Environments Prolog
Prolog Debugging tool Prolog II Proof Assistant
proof by induction proof tree PVS
Q quantifications
R rational terms. Reachability reachability analysis
Reference Manual refinement représentation du contexte.
rewriting robustness RPC
S Safe-Tcl safety scalability
scope second-order lambda-calculus. security
See \citebo92a See \citebo92b sémantique naturelle
semantique operationnelle single-threading skeleton
skeleton-based language Skeletons slicing
slicing analysis software architecture Software engineering
software evolution source to source transformation space leaks
SPDI specialized language specification
stack-directed pointers static analysis static consistency verification
Static Single Assignment form static verification strong reduction
structural testing substitution set Symbolic execution
synchronous languages Syntax-directed translation systematic derivation.
T Tabac. teaching Telescript.
Term Rewriting test cases test generation
test suites testing Testing and Debugging
Timbuk trace Trace abstraction mechanisms
Trace analyser Trace analysis trace models
Trace query language Trace query mechanism tracing
transformation de programmes Tree Automata Tutorial
type checking types. types. logic programming
typing
U UML diagrams uniformity hypothesis usefulness logic.
User manual
V validation verification verification tools
W white-box testing

Complete bibliography

Complete bibliography as a single HTML page
Complete bibliography as a single BIBTEX file


BACK TO INDEX




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Mon Feb 26 15:35:09 2007
Author: ferre.


This document was translated from BibTEX by bibtex2html