output
20062026
most citedA Generic Model of Contracts for Embedded Systems

30 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.PFShow all

2 papers · 1 filter

cs.PF2008★ 3 cited

A Model for Probabilistic Reasoning on Assume/Guarantee Contracts

Benoît Delahaye, Benoît Caillaud

In this paper, we present a probabilistic adaptation of an Assume/Guarantee contract formalism. For the sake of generality, we assume that the extended state machines used in the c…

cs.PF2008★ 5 cited

WCET analysis of multi-level set-associative instruction caches

Damien Hardy, Isabelle Puaut

With the advent of increasingly complex hardware in real-time embedded systems (processors with performance enhancing features such as pipelines, cache hierarchy, multiple cores),…