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

Christos Sofronis Vis

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

*2008
9EELuca 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
8EEPaul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis: Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embedded Comput. Syst. 7(2): (2008)
2007
7EEAlbert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225
2006
6EEChristos Sofronis, Stavros Tripakis, Paul Caspi: A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. EMSOFT 2006: 21-33
2005
5EEStavros 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
4EEStavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic: Translating discrete-time simulink to lustre. ACM Trans. Embedded Comput. Syst. 4(4): 779-818 (2005)
2004
3EENorman 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
2EEPaul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis: Translating Discrete-Time Simulink to Lustre. EMSOFT 2003: 84-99
1EEPaul 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

Coauthor Index

1Albert Benveniste [7]
2Luca Benvenuti [9]
3Benoît Caillaud [7]
4Paul Caspi [1] [2] [3] [4] [5] [6] [8]
5Adrian Curic [1] [2] [4]
6Alberto Ferrari [7] [9]
7Aude Maignan [1] [2]
8Leonardo Mangeruca [7] [9]
9Florence Maraninchi [3]
10Emanuele Mazzi [9]
11Peter Niebert [1]
12Roberto Passerone [7] [9]
13Norman Scaife [3] [5] [8]
14Stavros Tripakis [1] [2] [3] [4] [5] [6] [8]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)