Christos Sofronis

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Venues

SAFECOMP Workshops

ETFA

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis
BCL: A compositional contract language for embedded systems. ETFA (2014)
Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. SAFECOMP Workshops (2012)
Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis
Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embed. Comput. Syst. 7 (2) (2008)
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)
Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis
Multiple Viewpoint Contract-Based Specification and Design. FMCO (2007)
Christos Sofronis, Stavros Tripakis, Paul Caspi
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. EMSOFT (2006)
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)
Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic
Translating discrete-time simulink to lustre. ACM Trans. Embed. Comput. Syst. 4 (4) (2005)
Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi
Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT (2004)
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)
Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
Translating Discrete-Time Simulink to Lustre. EMSOFT (2003)

Christos Sofronis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christos Sofronis