The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christos Sofronis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002