Christos Sofronis

According to our database, Christos Sofronis authored at least 13 papers between 2003 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems.

Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2014

BCL: A compositional contract language for embedded systems.

Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2012

Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems.

Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari

Proceedings of the Computer Safety, Reliability, and Security, 2012

2008

Semantics-preserving multitask implementation of synchronous programs.

Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis

ACM Trans. Embed. Comput. Syst., 2008

A Contract-based Formalism for the Specification of Heterogeneous Systems (invited).

Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis

Proceedings of the Forum on specification and Design Languages, 2008

2007

Multiple Viewpoint Contract-Based Specification and Design.

Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

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

PhD thesis, 2006

A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling.

Christos Sofronis, Stavros Tripakis, Paul Caspi

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Translating discrete-time simulink to lustre.

Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic

ACM Trans. Embed. Comput. Syst., 2005

Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers.

Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi

Proceedings of the EMSOFT 2005, 2005

2004

Defining and translating a "safe" subset of simulink/stateflow into lustre.

Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi

Proceedings of the EMSOFT 2004, 2004

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

Proceedings of the 2003 Conference on Languages, 2003

Translating Discrete-Time Simulink to Lustre.

Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis

Proceedings of the Embedded Software, Third International Conference, 2003