Christoph M Kirsch

Christoph M Kirsch

Universität Salzburg - Salzburg / Austria
Engineering & Technology / Computer Science
AD Scientific Index ID: 1400799
University of Salzburg
person_outline Christoph M Kirsch's MOST POPULAR ARTICLES
1-) Giotto: A time-triggered language for embedded programmingTA Henzinger, B Horowitz, CM KirschInternational Workshop on Embedded Software, 166-184, 20015082001
2-) Giotto: A time-triggered language for embedded programmingTA Henzinger, B Horowitz, CM KirschProceedings of the IEEE 91 (1), 84-99, 20034822003
3-) From control models to real-time code using GiottoTA Henzinger, CM Kirsch, MAA Sanvido, W PreeIEEE Control Systems Magazine 23 (1), 50-64, 20032082003
4-) The Embedded Machine: Predictable, portable real-time codeTA Henzinger, CM KirschACM Transactions on Programming Languages and Systems (TOPLAS) 29 (6), 33-es, 20072122007
5-) The logical execution time paradigmCM Kirsch, A SokolovaAdvances in Real-Time Systems, 103-120, 20121852012