-
Contributions to the Static Analysis of Programs Handling Arrays
Array bound checking has been widely studied. However, there are very few convincing results about array contents analysis. For such an analysis, numerical analyses... -
Static Analyses for Manipulations of Hierarchically Structured Data
Travaux de recherche effectués au sein de l'équipe de Benjamin Pierce (Université de Pennsylvanie, Philadelphie, USA), l'équipe-projet Sardes (INRIA Grenoble - Rhône- Alpes) et... -
Modelling, Simulation and Verification of Large Biological Regulatory Networks
Biological Regulatory Networks (BRN) are widely used in systems biology to model, understand and control the dynamics of production of proteins within cells. While... -
Génération et évaluation de mécanismes de détection des intrusions au niveau ...
The most common anomaly detection mechanisms at application level consists in detecting a deviation of the control-flow of a program. A popular method to detect such... -
Finite elements tools to compite stresses at interfaces in sandwich structures
The goal of this work is to develop finite elements tools allowing to compute sandwich structures without adding any other hypothese than the very general asumption of... -
Essays on Transport Congestion in the Central Paris Area
This PhD thesis focuses on urban transport congestion. Crossing traffic data and survey data, we study three major infrastructures in the central Paris area: the Paris... -
Prédiction de performances d'applications de calcul haute performance sur rés...
Manufacturers of computer clusters require tools to assist them in making better decisions in terms of architectural design. To address this need, in this thesis work,... -
Worst-case execution time analysis of real-time tasks executed on a multicore...
Software failures in hard real-time systems may have hazardous effects (industrial disasters, human lives endangering). The verification of timing constraints in a... -
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...
