| emsoft | participants

Claudio Pinello

EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software

Loosely Time-Triggered Architectures Based on Communication-by-Sampling

Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, and Stavros Tripakis

EMSOFT 2005: 5th ACM International Conference on Embedded Software

A Formal Approach to Fault Tree Synthesis for the Analysis of Distributed Fault Tolerant Systems

Mark L., Jr. McKelvin, Gabriel Eirea, Claudio Pinello, Sri Kanajan, and Alberto L. Sangiovanni-Vincentelli