-
The necessity of an holistic code view for static analysis and automatic refa...
Ubiquitous computing has as a consequence, among others, the existing and under development software's size increasing to meet an increasing demand. This race for... -
Calculation of Worst Case Execution Time safe upper bounds for hard real-time...
This report is a presentation of a new approach for Worst Case Execu- tion Time (WCET) computation for hard real-time systems, especially for cache memories hazard... -
Taking architecture and compiler into account in formal proofs of numerical p...
On some recently developed architectures, a numerical program may give different answers depending on the execution hardware and the compilation. These discrepancies... -
Performance prediction of distributed computing applications executed on a pe...
In the field of high performance computing, the architectures evolve continuously. In order to increase the number of computing nodes or the network speed, an... -
Logico-Numerical Verification Methods for Discrete and Hybrid Systems
This thesis studies the automatic verification of safety properties of logico-numerical discrete and hybrid systems. These systems have Boolean and numerical variables... -
Static Analysis of Semantic Web Queries
Query containment is a well-studied problem spanning over several decades of research. Generally, it is defined as the problem of determining if the result of one... -
Classification of errors threats by static analysis, program sclicing and str...
Software validation remains a crucial part in software development process. Two major techniques have improved in recent years, dynamic and static analysis. They have... -
Analysis of probabilistic programs by abstract interpretation
version corrigée de quelques scories -
Certification of static analysis in many-sorted first-order logic
Static program analysis is a core technology for both verifying and finding errors in programs but most static analyzers are complex pieces of software that are not... -
Multicore architectures and worst-case execution time
Critical tasks in the context of real-time systems submit to both timing and correctness constraints. Whence, the validation of a real-time system rely on the... -
Representation and Analyses of Web Content and Processing
Today, web content and applications are becoming the main interface to performing all kinds of daily tasks such as stating and paying government taxes, booking plane... -
Static analysis with dioids and polynomial ideals
Static analysis aims to verify that programs behave correctly i.e. satisfy safety properties. However, generating properties verified by a program is a difficult... -
Static analysis by abstract interpretation of concurrent programs
This report presents the bulk of my research work from the completion of my PhD, in late 2004, until the present day. The overall aim of my research is the development... -
Safe Programming in Finite Precision: Controlling Errors and Information Leaks
In this thesis, we analyze the problem of the finite representation of real numbers and we control the deviation due to this approximation. We particularly focus on... -
Static analysis of numerical properties in the presence of pointers
The fast and furious pace of change in computing technology has become an article of faith for many. The reliability of computer-based systems cru- cially depends on... -
Improving the Quality of Error-Handling Code in Systems Software using Functi...
In C, a typical strategy for implementing error handling code is to follow each operation that may encounter an error by a conditional that checks for an error result... -
Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive ...
Context-aware pervasive computing has attracted a significant research interest from both academy and industry worldwide. It covers a broad range of applications that... -
Etude statistique des affaissements miniers dans le bassin ferrifère lorrain ...
Recent mining subsidences that took place at the end of the 1990s in the iron-ore field cause building damage and put the emphasis on some problems. In particular, is... -
Logics for XML
Cette thèse propose une nouvelle logique d'arbres finis pour analyser les programmes manipulant les données du Web. Cette logique offre le meilleur compromis connu entre...
