| 2015 | TACAS | Scalable Timing Analysis with Refinement. | Nan Guan, Yue Tang, Jakaria Abdullah, Martin Stigge, Wang Yi |
| 2014 | ECRTS | Refinement-Based Exact Response-Time Analysis. | Martin Stigge, Nan Guan, Wang Yi |
| 2014 | RTSS | Approximate Response Time Analysis of Real-Time Task Graphs. | Nan Guan, Chuancai Gu, Martin Stigge, Qingxu Deng, Wang Yi |
| 2013 | RTSS | Combinatorial Abstraction Refinement for Feasibility Analysis. | Martin Stigge, Wang Yi |
| 2012 | ECRTS | Hardness Results for Static Priority Real-Time Scheduling. | Martin Stigge, Wang Yi |
| 2011 | ECRTS | Resource Sharing Protocols for Real-Time Task Graph Systems. | Nan Guan, Pontus Ekberg, Martin Stigge, Wang Yi |
| 2011 | ECRTS | On the Tractability of Digraph-Based Task Models. | Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi |
| 2011 | RTSS | Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems. | Nan Guan, Pontus Ekberg, Martin Stigge, Wang Yi |
| 2011 | RTAS | The Digraph Real-Time Task Model. | Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi |
| 2010 | RTAS | Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound. | Nan Guan, Martin Stigge, Wang Yi, Ge Yu |
| 2009 | EMSOFT | Cache-aware scheduling and analysis for multicores. | Nan Guan, Martin Stigge, Wang Yi, Ge Yu |
| 2009 | RTSS | New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. | Nan Guan, Martin Stigge, Wang Yi, Ge Yu |