| emsoft | participants

Joseph Sifakis

Program Committees:
2002 (cochair), 2005, 2006, and 2008
.

EMSOFT 2010: 10th International Conference on Embedded Software

Model-Based Implementation of Real-Time Applications

Tesnim Abdellatif, Jacques Combaz, and Joseph Sifakis

From High-Level Component-Based Models to Distributed Implementations

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, and Joseph Sifakis

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

Modeling Synchronous Systems in BIP

Marius Bozga, Vassiliki Sfyrla, and Joseph Sifakis

EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software

The Algebra of Connectors: Structuring Interaction in BIP

Simon Bliudze and Joseph Sifakis

EMSOFT 2005: 5th ACM International Conference on Embedded Software

QoS Control for Optimality and Safety

Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, and Joseph Sifakis

EMSOFT 2001: 1st International Workshop on Embedded Software

Modeling Real-Time Systems-Challenges and Work Directions

Joseph Sifakis