dblp.uni-trier.dewww.uni-trier.de

Emanuele Mazzi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EELuca 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
3EELuca 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
2EEAndrea Balluchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli: Complexity Reduction for the Design of Interacting Controllers. HSCC 2007: 46-60
2006
1EEAndrea 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

Coauthor Index

1Andrea Balluchi [1] [2]
2Luca Benvenuti [3] [4]
3Antonio Bicchi [1]
4Alberto Ferrari [3] [4]
5Leonardo Mangeruca [4]
6Roberto Passerone [4]
7Alberto L. Sangiovanni-Vincentelli [1] [2] [3]
8Gabriele Serra [1]
9Christos Sofronis [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)