| emsoft | participants

Roberto Passerone

EMSOFT 2019: 19th International Conference on Embedded Software

Coherent Extension, Composition, and Merging Operators in Contract Models for System Design

Roberto Passerone, Íñigo Íncer Romeo, and Alberto L. Sangiovanni-Vincentelli

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

Modal Interfaces: Unifying Interface Automata and Modal Specifications

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, and Roberto Passerone

EMSOFT 2004: 4th ACM International Conference on Embedded Software

Conservative Approximations for Heterogeneous Design

Roberto Passerone, Jerry R. Burch, and Alberto L. Sangiovanni-Vincentelli

EMSOFT 2001: 1st International Workshop on Embedded Software

Using Multiple Levels of Abstractions in Embedded Software Design

Jerry R. Burch, Roberto Passerone, and Alberto L. Sangiovanni-Vincentelli