Christoph M. Kirsch
Christoph M. Kirsch
Professor of Computer Sciences, University of Salzburg
Verified email at cs.uni-salzburg.at - Homepage
Title
Cited by
Cited by
Year
Giotto: A time-triggered language for embedded programming
TA Henzinger, B Horowitz, CM Kirsch
International Workshop on Embedded Software, 166-184, 2001
4932001
Giotto: A time-triggered language for embedded programming
TA Henzinger, B Horowitz, CM Kirsch
Proceedings of the IEEE 91 (1), 84-99, 2003
4682003
The Embedded Machine: Predictable, portable real-time code
TA Henzinger, CM Kirsch
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (6), 33-es, 2007
2022007
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
1982003
Embedded control systems development with Giotto
TA Henzinger, B Horowitz, CM Kirsch
Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools …, 2001
1522001
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
1052009
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
1052004
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
1052001
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
1031999
Quantitative relaxation of concurrent data structures
TA Henzinger, CM Kirsch, H Payer, A Sezgin, A Sokolova
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
962013
The logical execution time paradigm
CM Kirsch, A Sokolova
Advances in Real-Time Systems, 103-120, 2012
962012
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
852006
Software-enabled control: information technology for dynamical systems
T Samad, G Balas
John Wiley & Sons, 2003
802003
Principles of real-time programming
CM Kirsch
International Workshop on Embedded Software, 61-75, 2002
732002
Composable code generation for distributed Giotto
TA Henzinger, CM Kirsch, S Matic
Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages …, 2005
632005
Schedule-carrying code
TA Henzinger, CM Kirsch, S Matic
International Workshop on Embedded Software, 241-256, 2003
602003
Time-safety checking for embedded programs
TA Henzinger, CM Kirsch, R Majumdar, S Matic
International Workshop on Embedded Software, 76-92, 2002
602002
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation
A Haas, M Lippautz, TA Henzinger, H Payer, A Sokolova, CM Kirsch, ...
Proceedings of the ACM International Conference on Computing Frontiers, 1-9, 2013
572013
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation
A Haas, M Lippautz, TA Henzinger, H Payer, A Sokolova, CM Kirsch, ...
Proceedings of the ACM International Conference on Computing Frontiers, 1-9, 2013
572013
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
572010
The system can't perform the operation now. Try again later.
Articles 1–20