| emsoft | participants

Christos Sofronis

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

A Memory-Optimal Buffering Protocol for Preservation of Synchronous Semantics Under Preemptive Scheduling

Christos Sofronis, Stavros Tripakis, and Paul Caspi

EMSOFT 2005: 5th ACM International Conference on Embedded Software

Semantics-Preserving and Memory-Efficient Implementation of Inter-Task Communication on Static-Priority or EDF Schedulers

Stavros Tripakis, Christos Sofronis, Norman Scaife, and Paul Caspi

EMSOFT 2004: 4th ACM International Conference on Embedded Software

Defining and Translating a "Safe" Subset of Simulink/Stateflow Into Lustre

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

EMSOFT 2003: 3rd International Conference on Embedded Software

Translating Discrete-Time Simulink to Lustre

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