Pierre-Olivier Ribet

Learn More
Concurrent systems are commonly veriied after computing a state graph describing all possible behaviors. Unfortunately, this state graph is often too large to be eeectively built. Partial-order techniques have been developed to avoid combinatorial explosion while preserving the properties of interest. This paper investigates the combination of two such(More)
The Cotre Project 1 is aimed at providing a design methodology and an associated software environment for the development of embedded realtime avionic systems. It contributes to bridging the gap between requirements of such systems, typically expressed in Architecture Description Languages, and formal development techniques, relying on system modeling and(More)
With aggressive technology scaling in nanometer regime, a significant fraction of dynamic power is consumed in the clock network due to its high switching activity. Clock networks are typically synthesized and routed to optimize for zero clock skew. However, clock skew optimization is often accompanied with routing overhead which increases the clock net(More)
  • 1