| 2008 |
|---|
| 9 | 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 |
| 8 | EE | Paul Caspi,
Norman Scaife,
Christos Sofronis,
Stavros Tripakis:
Semantics-preserving multitask implementation of synchronous programs.
ACM Trans. Embedded Comput. Syst. 7(2): (2008) |
| 2007 |
|---|
| 7 | EE | Albert Benveniste,
Benoît Caillaud,
Alberto Ferrari,
Leonardo Mangeruca,
Roberto Passerone,
Christos Sofronis:
Multiple Viewpoint Contract-Based Specification and Design.
FMCO 2007: 200-225 |
| 2006 |
|---|
| 6 | EE | Christos Sofronis,
Stavros Tripakis,
Paul Caspi:
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling.
EMSOFT 2006: 21-33 |
| 2005 |
|---|
| 5 | EE | Stavros Tripakis,
Christos Sofronis,
Norman Scaife,
Paul Caspi:
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers.
EMSOFT 2005: 353-360 |
| 4 | EE | Stavros Tripakis,
Christos Sofronis,
Paul Caspi,
Adrian Curic:
Translating discrete-time simulink to lustre.
ACM Trans. Embedded Comput. Syst. 4(4): 779-818 (2005) |
| 2004 |
|---|
| 3 | EE | Norman Scaife,
Christos Sofronis,
Paul Caspi,
Stavros Tripakis,
Florence Maraninchi:
Defining and translating a "safe" subset of simulink/stateflow into lustre.
EMSOFT 2004: 259-268 |
| 2003 |
|---|
| 2 | EE | Paul Caspi,
Adrian Curic,
Aude Maignan,
Christos Sofronis,
Stavros Tripakis:
Translating Discrete-Time Simulink to Lustre.
EMSOFT 2003: 84-99 |
| 1 | EE | Paul Caspi,
Adrian Curic,
Aude Maignan,
Christos Sofronis,
Stavros Tripakis,
Peter Niebert:
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.
LCTES 2003: 153-162 |
