Christos Sofronis
According to our database1,
Christos Sofronis
authored at least 13 papers
between 2003 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
2014
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
2012
Proceedings of the Computer Safety, Reliability, and Security, 2012
2008
ACM Trans. Embed. Comput. Syst., 2008
Proceedings of the Forum on specification and Design Languages, 2008
2007
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).
PhD thesis, 2006
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006
2005
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers.
Proceedings of the EMSOFT 2005, 2005
2004
Proceedings of the EMSOFT 2004, 2004
2003
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.
Proceedings of the 2003 Conference on Languages, 2003
Proceedings of the Embedded Software, Third International Conference, 2003