| 2011 | Performance-aware scheduler synthesis for control systems. | Rupak Majumdar, Indranil Saha, Majid Zamani |
| 2011 | Computing semi-algebraic invariants for polynomial dynamical systems. | Jiang Liu, Naijun Zhan, Hengjun Zhao |
| 2011 | A practical ontology framework for static model analysis. | Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee |
| 2011 | Heterogeneous actor modeling. | Edward A. Lee |
| 2011 | Demand bound server: generalized resource reservation for hard real-time systems. | Pratyush Kumar, Jian-Jia Chen, Lothar Thiele |
| 2011 | A synergetic approach to accurate analysis of cache-related preemption delay. | Jan C. Kleinsorge, Heiko Falk, Peter Marwedel |
| 2011 | Aciom: application characteristics-aware disk and network i/o management on android platform. | Hyosu Kim, Minsub Lee, Wookhyun Han, Kilho Lee, Insik Shin |
| 2011 | Safety-assured development of the GPCA infusion pump software. | BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley |
| 2011 | Synthesis of optimal switching logic for hybrid systems. | Susmit Jha, Sanjit A. Seshia, Ashish Tiwari |
| 2011 | Task synchronization and allocation for many-core real-time systems. | Pi-Cheng Hsiu, Der-Nien Lee, Tei-Wei Kuo |
| 2011 | Software certification: coding, code, and coders. | Klaus Havelund, Gerard J. Holzmann |
| 2011 | Model-checking behavioral programs. | David Harel, Robby Lampert, Assaf Marron, Gera Weiss |
| 2011 | Real-time communication analysis for networks with two-stage arbitration. | Jonas Diemer, Jonas Rox, Mircea Negrean, Steffen Stein, Rolf Ernst |
| 2011 | Symbolic simulation on complicated loops for WCET path analysis. | Duc-Hiep Chu, Joxan Jaffar |
| 2011 | Timing and schedulability analysis for distributed automotive control applications. | Samarjit Chakraborty, Marco Di Natale, Heiko Falk, Martin Lukasiewycz, Frank Slomka |
| 2011 | From boolean to quantitative synthesis. | Pavol Cern, Thomas A. Henzinger |
| 2011 | Cross-layer analysis, testing and verification of automotive control software. | Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree |
| 2011 | Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks. | Bjrn B. Brandenburg, James H. Anderson |
| 2011 | Synchronous control of reconfiguration in fractal component-based systems: a case study. | Tayeb Bouhadiba, Quentin Sabah, Gwenal Delaval, ric Rutten |
| 2011 | Automated addition of fault recovery to cyber-physical component-based models. | Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni |
| 2011 | Automated distributed implementation of component-based models with priorities. | Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf |
| 2011 | Challenges and potential solutions for complex embedded systems. | Grard Berry |
| 2011 | A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. | Albert Benveniste, Timothy Bourke, Benot Caillaud, Marc Pouzet |
| 2011 | Time-predictable and composable architectures for dependable embedded systems. | Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis |
| 2011 | Hard-real-time scheduling of data-dependent tasks in embedded streaming applications. | Mohamed Bamakhrama, Todor P. Stefanov |