| 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 | 518 | 2001 |
| Giotto: A time-triggered language for embedded programming TA Henzinger, B Horowitz, CM Kirsch Proceedings of the IEEE 91 (1), 84-99, 2003 | 494 | 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 | 210 | 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 | 207 | 2007 |
| Embedded control systems development with Giotto TA Henzinger, B Horowitz, CM Kirsch Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools …, 2001 | 155 | 2001 |
| The logical execution time paradigm CM Kirsch, A Sokolova Advances in Real-Time Systems, 103-120, 2012 | 146 | 2012 |
| Event-driven programming with logical execution times A Ghosal, TA Henzinger, CM Kirsch, MAA Sanvido Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004 | 112 | 2004 |
| 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 | 111 | 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 | 111 | 2001 |
| 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 | 109 | 2009 |
| 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 | 109 | 1999 |
| 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 | 88 | 2006 |
| Software-enabled control T Samad, G Balas Wiley, 2003 | 81 | 2003 |
| Principles of real-time programming CM Kirsch Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002 | 78 | 2002 |
| Composable code generation for distributed Giotto TA Henzinger, CM Kirsch, S Matic Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages …, 2005 | 65 | 2005 |
| 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 | 63 | 2013 |
| 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 | 63 | 2013 |
| A scalable, correct time-stamped stack M Dodds, A Haas, CM Kirsch ACM SIGPLAN Notices 50 (1), 233-246, 2015 | 62 | 2015 |
| Time-safety checking for embedded programs TA Henzinger, CM Kirsch, R Majumdar, S Matic Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002 | 62 | 2002 |
| Schedule-carrying code TA Henzinger, CM Kirsch, S Matic Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia …, 2003 | 61 | 2003 |
