Christoph M. Kirsch
Christoph M. Kirsch
Professor of Computer Sciences, University of Salzburg
Verified email at cs.uni-salzburg.at - Homepage
TitleCited byYear
Giotto: A time-triggered language for embedded programming
TA Henzinger, B Horowitz, CM Kirsch
International Workshop on Embedded Software, 166-184, 2001
4452001
Giotto: A time-triggered language for embedded programming
TA Henzinger, B Horowitz, CM Kirsch
Proceedings of the IEEE 91 (1), 84-99, 2003
3922003
From control models to real-time code using Giotto
TA Henzinger, CM Kirsch, MAA Sanvido, W Pree
IEEE Control Systems Magazine 23 (1), 50-64, 2003
1762003
The Embedded Machine: Predictable, portable real-time code
TA Henzinger, CM Kirsch
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (6), 33, 2007
1742007
Embedded control systems development with Giotto
TA Henzinger, B Horowitz, CM Kirsch
ACM SIGPLAN Notices 36 (8), 64-72, 2001
1312001
The two-variable guarded fragment with transitive relations
H Ganzinger, C Meyer, M Veanes
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
991999
jMocha: A model checking tool that exploits design structure
R Alur, L de Alfaro, R Grosu, TA Henzinger, M Kang, CM Kirsch, ...
Proceedings of the 23rd International Conference on Software Engineering …, 2001
952001
Combo drive: Optimizing cost and performance in a heterogeneous storage device
H Payer, MA Sanvido, ZZ Bandic, CM Kirsch
First Workshop on Integrating Solid-state Memory into the Storage Hierarchy …, 2009
922009
Event-driven programming with logical execution times
A Ghosal, TA Henzinger, CM Kirsch, MAA Sanvido
International Workshop on Hybrid Systems: Computation and Control, 357-371, 2004
912004
Software-enabled control
T Samad, G Balas
Wiley, 2003
752003
Quantitative relaxation of concurrent data structures
TA Henzinger, CM Kirsch, H Payer, A Sezgin, A Sokolova
ACM SIGPLAN Notices 48 (1), 317-328, 2013
732013
A hierarchical coordination language for interacting real-time tasks
A Ghosal, A Sangiovanni-Vincentelli, CM Kirsch, TA Henzinger, D Iercan
Proceedings of the 6th ACM & IEEE International conference on Embedded …, 2006
722006
Principles of real-time programming
CM Kirsch
International Workshop on Embedded Software, 61-75, 2002
632002
The logical execution time paradigm
CM Kirsch, A Sokolova
Advances in Real-Time Systems, 103-120, 2012
572012
Composable code generation for distributed Giotto
TA Henzinger, CM Kirsch, S Matic
ACM SIGPLAN Notices 40 (7), 21-30, 2005
572005
Schedule-carrying code
TA Henzinger, CM Kirsch, S Matic
International Workshop on Embedded Software, 241-256, 2003
542003
Time-safety checking for embedded programs
TA Henzinger, CM Kirsch, R Majumdar, S Matic
International Workshop on Embedded Software, 76-92, 2002
512002
Information-acquisition-as-a-service for cyber-physical cloud computing
SS Craciunas, A Haas, CM Kirsch, H Payer, H Röck, A Rottmann, ...
Proceedings of the 2nd USENIX conference on Hot topics in cloud computing, 14-14, 2010
482010
A programmable microkernel for real-time systems
CM Kirsch, MAA Sanvido, TA Henzinger
Proceedings of the 1st ACM/USENIX international conference on Virtual …, 2005
462005
Unification in extensions of shallow equational theories
F Jacquemard, C Meyer, C Weidenbach
International Conference on Rewriting Techniques and Applications, 76-90, 1998
461998
The system can't perform the operation now. Try again later.
Articles 1–20