Search the dblp DataBase

Publications of Author

1. Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
   Translating Discrete-Time Simulink to Lustre. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2003, pp:84-99 [Conf]
   
2. Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi
   Defining and translating a "safe" subset of simulink/stateflow into lustre. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2004, pp:259-268 [Conf]
   
3. Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi
   Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2005, pp:353-360 [Conf]
   
4. Christos Sofronis, Stavros Tripakis, Paul Caspi
   A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2006, pp:21-33 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   LCTES, 2003, pp:153-162 [Conf]
   
6. Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic
   Translating discrete-time simulink to lustre. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Embedded Comput. Syst., 2005, v:4, n:4, pp:779-818 [Journal]
   
7. 
   Multiple Viewpoint Contract-Based Specification and Design. [Citation Graph (, )][DBLP]
   
   
8. 
   A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). [Citation Graph (, )][DBLP]