| 2014 | ETFA | BCL: A compositional contract language for embedded systems. | Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis |
| 2012 | SAFECOMP | Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. | Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari |
| 2008 | FDL | A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). | Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis |
| 2006 | EMSOFT | A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. | Christos Sofronis, Stavros Tripakis, Paul Caspi |
| 2005 | EMSOFT | Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. | Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi |
| 2004 | EMSOFT | Defining and translating a "safe" subset of simulink/stateflow into lustre. | Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi |
| 2003 | EMSOFT | Translating Discrete-Time Simulink to Lustre. | Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis |