| 2008 |
|---|
| 4 | EE | Luca Benvenuti,
Alberto Ferrari,
Leonardo Mangeruca,
Emanuele Mazzi,
Roberto Passerone,
Christos Sofronis:
A Contract-based Formalism for the Specification of Heterogeneous Systems (invited).
FDL 2008: 142-147 |
| 3 | EE | Luca Benvenuti,
Alberto Ferrari,
Emanuele Mazzi,
Alberto L. Sangiovanni-Vincentelli:
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System.
HSCC 2008: 58-71 |
| 2007 |
|---|
| 2 | EE | Andrea Balluchi,
Emanuele Mazzi,
Alberto L. Sangiovanni-Vincentelli:
Complexity Reduction for the Design of Interacting Controllers.
HSCC 2007: 46-60 |
| 2006 |
|---|
| 1 | EE | Andrea Balluchi,
Antonio Bicchi,
Emanuele Mazzi,
Alberto L. Sangiovanni-Vincentelli,
Gabriele Serra:
Hybrid Modelling and Control of the Common Rail Injection System.
HSCC 2006: 79-92 |
