Follow
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
Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA …, 2001
5482001
Giotto: A time-triggered language for embedded programming
TA Henzinger, B Horowitz, CM Kirsch
Proceedings of the IEEE 91 (1), 84-99, 2003
5202003
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
2152003
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
2112007
The logical execution time paradigm
CM Kirsch, A Sokolova
Advances in Real-Time Systems, 103-120, 2012
1792012
Embedded control systems development with Giotto
TA Henzinger, B Horowitz, CM Kirsch
Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools …, 2001
1652001
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
1202013
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
1162001
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
1141999
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
1122004
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
1112009
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
892006
Software-enabled control: information technology for dynamical systems
T Samad, G Balas
John Wiley & Sons, 2003
862003
Principles of real-time programming
CM Kirsch
International Workshop on Embedded Software, 61-75, 2002
782002
A scalable, correct time-stamped stack
M Dodds, A Haas, CM Kirsch
ACM SIGPLAN Notices 50 (1), 233-246, 2015
772015
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
672013
Composable code generation for distributed Giotto
TA Henzinger, CM Kirsch, S Matic
Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages …, 2005
672005
Schedule-carrying code
TA Henzinger, CM Kirsch, S Matic
International Workshop on Embedded Software, 241-256, 2003
612003
{Information-Acquisition-as-a-Service} for {Cyber-Physical} Cloud Computing
SS Craciunas, A Haas, CM Kirsch, H Payer, H Röck, A Rottmann, ...
2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 10), 2010
592010
Time-safety checking for embedded programs
TA Henzinger, CM Kirsch, R Majumdar, S Matic
Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002
592002
The system can't perform the operation now. Try again later.
Articles 1–20