Add to ORKGWe review Wilhelm's work on WCET for hard real-time applications and also recent work on analysis of soft-real time systems using probabilistic methods. We then present Probabilistic Abstract Interpretation (PAI) as a quantitative variation of the classical approach; PAI aims to provide close approximations -- this should be contrasted to the safe approximations studied in the standard setting. We discuss the relation between PAI and classical Abstract Interpretation as well as average case analysis
When modelling a complex system, such as one with distributed functionality, we need to choose an ap...
AbstractWhen modelling a complex system, such as one with distributed functionality, we need to choo...
International audienceIn this paper, we revisit the problem of using Extreme Value Theory (EVT) in t...
We review Wilhelm’s work on WCET for hard real-time applications and also recent work on analysis of...
In order to perform probabilistic program analysis we need to consider probabilistic languages or la...
In order to perform probabilistic program analysis we need to consider probabilistic languages or la...
Probabilistic Abstract Interpretation is a framework for program analysis that allows us to accommod...
Traditional approaches for worst case execution time (WCET) analysis produce values which are very p...
The aims of these lecture notes are two-fold: (i) we investigate the relation between the operationa...
AbstractIn this paper we show how the framework of probabilistic abstract interpretation can be appl...
Although generally too weak to guarantee correctness, testing is an indispensable technique for the ...
International audienceSince the early work of Lehoczky on real-time queuing theory, probabilistic ap...
The difficulties in estimating the Worst-Case Execution Time (WCET) of applications make the use of ...
We introduce the concept of weak average-case analysis as an attempt to achieve theoretical complexi...
We present a method for approximating the semantics of probabilistic programs to the purpose of cons...
When modelling a complex system, such as one with distributed functionality, we need to choose an ap...
AbstractWhen modelling a complex system, such as one with distributed functionality, we need to choo...
International audienceIn this paper, we revisit the problem of using Extreme Value Theory (EVT) in t...
We review Wilhelm’s work on WCET for hard real-time applications and also recent work on analysis of...
In order to perform probabilistic program analysis we need to consider probabilistic languages or la...
In order to perform probabilistic program analysis we need to consider probabilistic languages or la...
Probabilistic Abstract Interpretation is a framework for program analysis that allows us to accommod...
Traditional approaches for worst case execution time (WCET) analysis produce values which are very p...
The aims of these lecture notes are two-fold: (i) we investigate the relation between the operationa...
AbstractIn this paper we show how the framework of probabilistic abstract interpretation can be appl...
Although generally too weak to guarantee correctness, testing is an indispensable technique for the ...
International audienceSince the early work of Lehoczky on real-time queuing theory, probabilistic ap...
The difficulties in estimating the Worst-Case Execution Time (WCET) of applications make the use of ...
We introduce the concept of weak average-case analysis as an attempt to achieve theoretical complexi...
We present a method for approximating the semantics of probabilistic programs to the purpose of cons...
When modelling a complex system, such as one with distributed functionality, we need to choose an ap...
AbstractWhen modelling a complex system, such as one with distributed functionality, we need to choo...
International audienceIn this paper, we revisit the problem of using Extreme Value Theory (EVT) in t...