Christos Sofronis

13 papers B 1C 2Misc 4Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2018 — ch.
An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems.
Handbook of Parallel Constraint Reasoning
Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti
2014 C conf
BCL: A compositional contract language for embedded systems.
ETFA
Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis
2012 — conf
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems.
SAFECOMP Workshops
Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari
2008 C conf
A Contract-based Formalism for the Specification of Heterogeneous Systems (invited).
FDL
Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis
2008 J jnl
Semantics-preserving multitask implementation of synchronous programs.
ACM Trans. Embed. Comput. Syst.
Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis
2007 — conf
Multiple Viewpoint Contract-Based Specification and Design.
FMCO
Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis
2006 Misc conf
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling.
EMSOFT
Christos Sofronis, Stavros Tripakis, Paul Caspi
2006 — —
Embedded Code Generation from High-level Heterogeneous Components. (Génération du Code Embarqué a partir de Composants de Haut-niveau Hétérogènes).
Christos Sofronis
2005 Misc conf
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers.
EMSOFT
Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi
2005 J jnl
Translating discrete-time simulink to lustre.
ACM Trans. Embed. Comput. Syst.
Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic
2004 Misc conf
Defining and translating a "safe" subset of simulink/stateflow into lustre.
EMSOFT
Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi
2003 B conf
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.
LCTES
Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert
2003 Misc conf
Translating Discrete-Time Simulink to Lustre.
EMSOFT
Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis