-
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... -
Static Analysis using Parameterised Boolean Equation Systems
Submitted to an international 2006 conference -
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 -
The ASTRÉE analyzer
Astrée is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors in programs written in the C... -
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Nu...
Last version = author version of our CSI Journal of Computer Paper (same title and same content) -
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... -
Detailed analysis of compilation options for robust software-based embedded s...
International audience -
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... -
Backward under-approximations in numeric abstract domains to automatically in...
International audience -
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... -
Relational thread-modular static value analysis by abstract interpretation
International audience -
A structural model for WCET estimation of Simple Out-of-Order Superscalar Pro...
In the field of hard real time systems, there are two existing techniques to determine the worst-case execution time (WCET). The first techniques are based on... -
Andromeda: Accurate and Scalable Security Analysis of Web Applications
Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 -
Inference of polynomial invariants for imperative programs: a farewell to Grö...
International audience
