| 2011 | Relating average and discounted costs for quantitative analysis of timed systems. | Rajeev Alur, Ashutosh Trivedi |
| 2011 | Formal verification of hybrid systems. | Rajeev Alur |
| 2010 | Reducing stack with intra-task threshold priorities in real-time systems. | Gang Yao, Giorgio C. Buttazzo |
| 2010 | Optimal WCET-aware code selection for scratchpad memory. | Hui Wu, Jingling Xue, Sridevan Parameswaran |
| 2010 | Initiating a design pattern catalog for embedded network systems. | Sally K. Wahba, Jason O. Hallstrom, Neelam Soundarajan |
| 2010 | Switching logic synthesis for reachability. | Ankur Taly, Ashish Tiwari |
| 2010 | Resource adaptations with servers for hard real-time systems. | Nikolay Stoimenov, Lothar Thiele, Luca Santinelli, Giorgio C. Buttazzo |
| 2010 | Energy-aware packet and task co-scheduling for embedded systems. | Luca Santinelli, Mauro Marinoni, Francesco Prosperi, Francesco Esposito, Gianluca Franchino, Giorgio C. Buttazzo |
| 2010 | Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation. | A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh |
| 2010 | Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures. | Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister |
| 2010 | Online stability validation using sector analysis. | Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits |
| 2010 | Modeling buffers with data refresh semantics in automotive architectures. | Linh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty, Insup Lee |
| 2010 | Automatic verification of control system implementations. | Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada |
| 2010 | PinaVM: a systemC front-end based on an executable intermediate representation. | Kevin Marquet, Matthieu Moy |
| 2010 | Load-based schedulability analysis of certifiable mixed-criticality systems. | Haohan Li, Sanjoy K. Baruah |
| 2010 | Online robust optimization framework for QoS guarantees in distributed soft real-time systems. | Jinkyu Lee, Insik Shin, Arvind Easwaran |
| 2010 | Janus-FTL: finding the optimal point on the spectrum between page and block mapping schemes. | Hunki Kwon, Eunsam Kim, Jongmoo Choi, Donghee Lee, Sam H. Noh |
| 2010 | Dynamic tuning of feature set in highly variant interactive applications. | Tushar Kumar, Romain Cledat, Santosh Pande |
| 2010 | Components, platforms and possibilities: towards generic automation for MDA. | Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen |
| 2010 | A model based approach for debugging embedded systems in real-time. | Padma Iyenghar, Clemens Westerkamp, Juergen Wuebbelmann, Elke Pulvermller |
| 2010 | Quantitative system validation in model driven design. | Holger Hermanns, Kim Guldstrand Larsen, Jean-Franois Raskin, Jan Tretmans |
| 2010 | A marketplace for cloud resources. | Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey |
| 2010 | Nucleos: a runtime system for ultra-compact wireless sensor nodes. | Jiwon Hahn, Pai H. Chou |
| 2010 | Ptera: an event-oriented model of computation for heterogeneous systems. | Thomas Huining Feng, Edward A. Lee, Lee W. Shruben |
| 2010 | Power-aware temporal isolation with variable-bandwidth servers. | Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova |