 | 2008 |
|---|
| 6 |       | Emanuele Mazzi,
Alberto L. Sangiovanni-Vincentelli,
Andrea Balluchi,
Antonio Bicchi:
Hybrid system reduction.
CDC 2008: 227-232 |
| 5 | | Luca Benvenuti,
Alberto Ferrari,
Emanuele Mazzi,
Alberto L. Sangiovanni-Vincentelli:
Composing hybrid systems.
CDC 2008: 4693-4699 |
| 4 | | 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 | | 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 | | Andrea Balluchi,
Emanuele Mazzi,
Alberto L. Sangiovanni-Vincentelli:
Complexity Reduction for the Design of Interacting Controllers.
HSCC 2007: 46-60 |
| 2006 |
|---|
| 1 | | 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 |
