Français Anglais
Accueil Annuaire Plan du site
Accueil > Production > Les résultats majeurs
Production
Les résultats majeurs
#
Date
Titre et Description
Contact
1.
01/02/2010
HOL-Boogie - An Interactive Prover-Backend for the Verified C Compiler
Boogie is a verification condition generator for a ...
2.
01/12/2009
Non-conservative Extension of a Peer in a P2P Inference System
This paper points out that the notion of non-conse ...
3.
09/07/2009
Meilleur SAT-Solveur au monde sur les instances industrielles
glucose, démonstrateur SAT développé par L. Sim ...
4.
05/05/2009
Proving Fairness and Implementation Correctness of a Microkernel Scheduler
We report on the formal proof of a microkernel’s ...
5.
21/04/2009
GCC 4.4.0 devient le premier compilateur "polyédrique" grâce à GRAPHITE
Le compilateur GCC 4.4.0 a été publié aujourd'h ...
6.
01/04/2009
DL-liteR in the Light of Propositional Logic for Decentralized Data Management
This paper provides a decentralized data model and ...
7.
26/03/2009
8.
02/03/2009
Semantics, Calculi, and Analysis for Object-oriented Specifications.
We present a formal semantics for an object-orient ...
9.
29/11/2008
Automated motif extraction and classification in RNA tertiary structures
We used a novel graph-based approach to extract RN ...
10.
20/10/2008
11.
01/09/2008
Model-Based Adaptation of Behavioral Mismatching Components
Component-Based Software Engineering focuses on th ...
12.
01/07/2008
13.
09/04/2008
Sigma Lenses: Focus-Context Transitions Combining Space, Time and Translucence
Focus+context techniques such as fisheye lenses ar ...
14.
25/03/2008
15.
01/02/2008
16.
28/01/2008
The Average Complexity of Tree Alignment
Le fait étonnant est que la complexité moyenne d ...
17.
06/11/2007
Exploration Uniforme de très grands modèles
Etant donné un système qui est modélisé comme ...
18.
08/10/2007
Verifying a signature architecture: a comparative case study.
We report on a case study in applying different fo ...
19.
22/07/2007
L2R: A Logical Method for Reference Reconciliation
The reference reconciliation problem consists in d ...
20.
25/06/2007
Formal Verification of Floating-Point Programs
This paper introduces a methodology to perform for ...
21.
01/04/2007
Copy-and-Paste Between Overlapping Windows
Copy-and-paste, one of the fundamental operations ...
22.
01/01/2007
SomeRDFS in the Semantic Web
The Semantic Web envisions a world-wide distribute ...
23.
01/10/2006
User Interface Façades: Towards Fully Adaptable User Interfaces
User interfaces are becoming more and more complex ...
24.
01/08/2006
MoGo: un joueur de Go artificiel
MoGo has been developped tackling specifically and ...
25.
01/01/2006
1 - 2 - Suivant [Page 1 sur 2]