| emsoft | participants

Henny B. Sipma

Program Committees:
2008
.

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

Reusable Models for Timing and Liveness Analysis of Middleware for Distributed Real-Time and Embedded Systems

Venkita Subramonian, Christopher D. Gill, César Sánchez, and Henny B. Sipma

Efficient Distributed Deadlock Avoidance with Liveness Guarantees

César Sánchez, Henny B. Sipma, Zohar Manna, and Christopher D. Gill

EMSOFT 2003: 3rd International Conference on Embedded Software

Event Correlation: Language and Semantics

César Sánchez, Sriram Sankaranarayanan, Henny B. Sipma, Ting Zhang, David L. Dill, and Zohar Manna