| emsoft | participants

Christoph M. Kirsch

Program Committees:
2005, 2007 (chair), 2008, 2009, 2010, 2011, 2013, 2014, and 2017
.

EMSOFT 2010: 10th International Conference on Embedded Software

Power-Aware Temporal Isolation with Variable-Bandwidth Servers

Silviu S. Craciunas, Christoph M. Kirsch, and Ana Sokolova

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 2005: 5th ACM International Conference on Embedded Software

High-level Real-Time Programming in Java

David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, and Martin T. Vechev

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

EMSOFT 2002: 2nd International Workshop on Embedded Software

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

Principles of Real-Time Programming

Christoph M. Kirsch

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