| 2013 | Synthesis of fixed-point programs. | Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha |
| 2013 | Path-sensitive resource analysis compliant with assertions. | Duc-Hiep Chu, Joxan Jaffar |
| 2013 | StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions. | Dai N. Bui, Edward A. Lee |
| 2013 | Determinate composition of FMUs for co-simulation. | David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter |
| 2013 | BPDF: A statically analyzable dataflow model with integer and boolean parameters. | Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur |
| 2013 | A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. | Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet |
| 2013 | Limited preemptive scheduling of non-independent task sets. | Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega |
| 2013 | DIME: Time-aware dynamic binary instrumentation using rate-based resource allocation. | Pansy Arafa, Hany Kashif, Sebastian Fischmeister |
| 2013 | Stability-aware analysis and design of embedded control systems. | Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin |
| 2013 | Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems. | Abdullah Al-Nayeem, Cheolgi Kim, Woochul Kang, Po-Liang Wu, Lui Sha |
| 2012 | Input-output robustness for discrete systems. | Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar |
| 2012 | Trigger memoization in self-triggered control. | Indranil Saha, Rupak Majumdar |
| 2012 | Estimation of probabilistic bounds on phase CPI and relevance in WCET analysis. | Archana Ravindar, Y. N. Srikant |
| 2012 | Server-based scheduling of parallel real-time tasks. | Lus Nogueira, Lus Miguel Pinho |
| 2012 | Towards network-on-chip agreement protocols. | Borislav Nikolic, Stefan M. Petters |
| 2012 | Synthesis of minimal-error control software. | Rupak Majumdar, Indranil Saha, Majid Zamani |
| 2012 | A new data flow analysis model for TDM. | Alok Lele, Orlando Moreira, Pieter J. L. Cuijpers |
| 2012 | Smart layers and dumb result: IO characterization of an android-based smartphone. | Kisung Lee, Youjip Won |
| 2012 | Flattening hierarchical scheduling. | Adam Lackorzynski, Alexander Warg, Marcus Vlp, Hermann Hrtig |
| 2012 | Compositional temporal analysis model for incremental hard real-time system design. | Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Bekooij |
| 2012 | Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems. | Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov, Lothar Thiele |
| 2012 | Feedback thermal control of real-time systems on multicore processors. | Yong Fu, Nicholas Kottenstette, Chenyang Lu, Xenofon D. Koutsoukos |
| 2012 | Assessing the suitability of the NGMP multi-core processor in the space domain. | Mikel Fernndez, Roberto Gioiosa, Eduardo Quiones, Luca Fossati, Marco Zulianello, Francisco J. Cazorla |
| 2012 | Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. | Heiko Falk, Kevin Hammond, Kim G. Larsen, Bjrn Lisper, Stefan M. Petters |
| 2012 | Mixed critical system design and analysis. | Rolf Ernst, Alan Burns, Lothar Thiele, Jimmy Le Rhun |