Translating Discrete-Time Simulink to Lustre. - Paul Caspi; Adrian Curic; Aude Maignan; Christos Sofronis; Stavros Tripakis (EMSOFT, 2003)

From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. - Paul Caspi; Adrian Curic; Aude Maignan; Christos Sofronis; Stavros Tripakis; Peter Niebert (LCTES, 2003)

Defining and translating a "safe" subset of simulink/stateflow into lustre. - Norman Scaife; Christos Sofronis; Paul Caspi; Stavros Tripakis; Florence Maraninchi (EMSOFT, 2004)

Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. - Stavros Tripakis; Christos Sofronis; Norman Scaife; Paul Caspi (EMSOFT, 2005)

Translating discrete-time simulink to lustre. - Stavros Tripakis; Christos Sofronis; Paul Caspi; Adrian Curic (ACM Trans. Embed. Comput. Syst., 2005)

A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. - Christos Sofronis; Stavros Tripakis; Paul Caspi (EMSOFT, 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 (2006)

Multiple Viewpoint Contract-Based Specification and Design. - Albert Benveniste; Benoît Caillaud; Alberto Ferrari; Leonardo Mangeruca; Roberto Passerone; Christos Sofronis (FMCO, 2007)

A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). - Luca Benvenuti; Alberto Ferrari; Leonardo Mangeruca; Emanuele Mazzi; Roberto Passerone; Christos Sofronis (FDL, 2008)

Semantics-preserving multitask implementation of synchronous programs. - Paul Caspi; Norman Scaife; Christos Sofronis; Stavros Tripakis (ACM Trans. Embed. Comput. Syst., 2008)

Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. - Orlando Ferrante; Luca Benvenuti; Leonardo Mangeruca; Christos Sofronis; Alberto Ferrari (SAFECOMP Workshops, 2012)

BCL: A compositional contract language for embedded systems. - Orlando Ferrante; Roberto Passerone; Alberto Ferrari; Leonardo Mangeruca; Christos Sofronis (ETFA, 2014)

An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. - Orlando Ferrante; Alberto Ferrari; Christos Sofronis; Leonardo Mangeruca; Luca Benvenuti (Handbook of Parallel Constraint Reasoning, 2018)