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 | 549 | 2001 |
Giotto: A time-triggered language for embedded programming TA Henzinger, B Horowitz, CM Kirsch Proceedings of the IEEE 91 (1), 84-99, 2003 | 522 | 2003 |
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 | 216 | 2003 |
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 | 212 | 2007 |
The logical execution time paradigm CM Kirsch, A Sokolova Advances in Real-Time Systems, 103-120, 2012 | 183 | 2012 |
Embedded control systems development with Giotto TA Henzinger, B Horowitz, CM Kirsch Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools …, 2001 | 165 | 2001 |
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 | 122 | 2013 |
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 | 116 | 2001 |
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 | 114 | 1999 |
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 | 112 | 2004 |
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 | 111 | 2009 |
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 | 89 | 2006 |
Software-enabled control: information technology for dynamical systems T Samad, G Balas John Wiley & Sons, 2003 | 87 | 2003 |
A scalable, correct time-stamped stack M Dodds, A Haas, CM Kirsch ACM SIGPLAN Notices 50 (1), 233-246, 2015 | 80 | 2015 |
Principles of real-time programming CM Kirsch International Workshop on Embedded Software, 61-75, 2002 | 78 | 2002 |
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 | 68 | 2013 |
Composable code generation for distributed Giotto TA Henzinger, CM Kirsch, S Matic Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages …, 2005 | 67 | 2005 |
Schedule-carrying code TA Henzinger, CM Kirsch, S Matic International Workshop on Embedded Software, 241-256, 2003 | 61 | 2003 |
{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 | 59 | 2010 |
Time-safety checking for embedded programs TA Henzinger, CM Kirsch, R Majumdar, S Matic Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002 | 59 | 2002 |