| 2014 | Can we put concurrency back into redundant multithreading? | Bjrn Dbel, Hermann Hrtig |
| 2014 | Deductive control synthesis for alternating-time logics. | Rayna Dimitrova, Rupak Majumdar |
| 2014 | Synthesising optimal timing delays for Timed I/O Automata. | Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre |
| 2014 | Embedded software reliability for unreliable hardware. | Jian-Jia Chen, Muhammad Shafique |
| 2014 | Precise piecewise affine models from input-output data. | Rajeev Alur, Nimit Singhania |
| 2014 | Schedulability analysis of global memory-predictable scheduling. | Ahmed Alhammad, Rodolfo Pellizzoni |
| 2014 | Automated software testing of memory performance in embedded GPUs. | Sudipta Chattopadhyay, Petru Eles, Zebo Peng |
| 2013 | Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. | Liang Zou, Naijun Zhan, Shuling Wang, Martin Frnzle, Shengchao Qin |
| 2013 | Diversifying wear index for MLC NAND flash memory to extend the lifetime of SSDs. | Yeong-Jae Woo, Jin-Soo Kim |
| 2013 | Pre-orders for reasoning about stability properties with respect to input of hybrid systems. | Pavithra Prabhakar, Jun Liu, Richard M. Murray |
| 2013 | A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. | Magnus Persson, Martin Trngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil |
| 2013 | Energy-aware thread co-location in heterogeneous multicore processors. | Rajiv Nishtala, Daniel Moss, Vinicius Petrucci |
| 2013 | Time-aware relational abstractions for hybrid systems. | Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta |
| 2013 | An efficient code update solution for wireless sensor network reprogramming. | Biswajit Mazumder, Jason O. Hallstrom |
| 2013 | On the schedulability of real-time discrete-event systems. | Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee |
| 2013 | Simple analysis of partial worst-case execution paths on general control flow graphs. | Jan C. Kleinsorge, Heiko Falk, Peter Marwedel |
| 2013 | WakeScope: Runtime WakeLock anomaly management scheme for Android platform. | Kwanghwan Kim, Hojung Cha |
| 2013 | Diversely enumerating system-level architectures. | Ethan K. Jackson, Gabor Simko, Janos Sztipanovits |
| 2013 | A generalized software framework for accurate and efficient management of performance goals. | Henry Hoffmann, Martina Maggio, Marco D. Santambrogio, Alberto Leva, Anant Agarwal |
| 2013 | Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. | Paula Herber, Robert Reicherdt, Patrick Bittner |
| 2013 | On composing and proving the correctness of reactive behavior. | David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss |
| 2013 | Scheduling of mixed-criticality applications on resource-sharing multicore systems. | Georgia Giannopoulou, Nikolay Stoimenov, Pengcheng Huang, Lothar Thiele |
| 2013 | Message from the program co-chairs. | Rolf Ernst, Oleg Sokolsky |
| 2013 | Safety verification for linear systems. | Parasara Sridhar Duggirala, Ashish Tiwari |
| 2013 | Verification of annotated models from executions. | Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan |