Stavros Tripakis
Program Committees:
2007,
2010 (cochair),
2011,
2012,
2013,
2014,
2016,
2017,
2018,
2021, and
2022 .
EMSOFT 2017: 17th International Conference on Embedded Software
Runtime Enforcement of Cyber-Physical Systems
EMSOFT 2014: 14th International Conference on Embedded Software
Refinement Calculus of Reactive Systems
EMSOFT 2013: 13th International Conference on Embedded Software
A Characterization of Integrated Multi-View Modeling in the Context of Embedded and Cyber-Physical Systems
Determinate Composition of Fmus for Co-Simulation
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software
Loosely Time-Triggered Architectures Based on Communication-by-Sampling
EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software
Communication by Sampling in Time-Sensitive Distributed Systems
A Memory-Optimal Buffering Protocol for Preservation of Synchronous Semantics Under Preemptive Scheduling
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
EMSOFT 2004: 4th ACM International Conference on Embedded Software
Defining and Translating a "Safe" Subset of Simulink/Stateflow Into Lustre
EMSOFT 2003: 3rd International Conference on Embedded Software
Translating Discrete-Time Simulink to Lustre
EMSOFT 2002: 2nd International Workshop on Embedded Software
A Protocol for Loosely Time-Triggered Architectures
Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System