| emsoft | participants

Thomas A. Henzinger

Program Committees:
2002, 2004, 2005, and 2006
.

EMSOFT 2012: 12th International Conference on Embedded Software

Synthesis from Incompatible Specifications

Pavol Černý, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, and Nishant Totla

Finite Automata with Time-Delay Blocks

Krishnendu Chatterjee, Thomas A. Henzinger, and Vinayak S. Prabhu

EMSOFT 2011: 11th International Conference on Embedded Software

From Boolean to Quantitative Synthesis

Pavol Černý and Thomas A. Henzinger

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

On Relational Interfaces

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, and Edward A. Lee

EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software

Interface Theories with Component Reuse

Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, and Tatjana Petrov

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

A Hierarchical Coordination Language for Interacting Real-Time Tasks

Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, and Daniel T. Iercan

EMSOFT 2004: 4th ACM International Conference on Embedded Software

A Typed Assembly Language for Real-Time Programs

Thomas A. Henzinger and Christoph M. Kirsch

EMSOFT 2003: 3rd International Conference on Embedded Software

Schedule-Carrying Code

Thomas A. Henzinger, Christoph M. Kirsch, and Slobodan Matic

Resource Interfaces

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, and Mariëlle Stoelinga

EMSOFT 2002: 2nd International Workshop on Embedded Software

Timed Interfaces

Luca de Alfaro, Thomas A. Henzinger, and Mariëlle Stoelinga

Time-Safety Checking for Embedded Programs

Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, and Slobodan Matic

A Giotto-Based Helicopter Control System

Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, and Wolfgang Pree

EMSOFT 2001: 1st International Workshop on Embedded Software

Giotto: A Time-Triggered Language for Embedded Programming

Thomas A. Henzinger, Benjamin Horowitz, and Christoph M. Kirsch

Interface Theories for Component-Based Design

Luca de Alfaro and Thomas A. Henzinger