Software, Survey and Tutorial, Published work, Edited volumes, Theses, Workshop contributions

H-index: 62 by Google Scholar
Publications listed by DBLP server

• UPPAAL , a Model Checker for Real-Time Systems, co-author:
  • Wang Yi, Paul Pettersson and Mats Daniels. Automatic Verification of Real-Time Communicating Systems by Constraint Solving. In Proc. of FORTE94, Switzerland, 4-7 Oct, 1994. Pages: 243-258. (pdf)
  • Kim G. Larsen, Paul Pettersson and Wang Yi. UPPAAL in a Nutshell. Springer Journal: Software Tools for Technology Transfer 1(1/2), 1997. Pages: 134-152. (pdf)
• TIMES , a Tool box for Modeling and Implementation of Embedded Systems, co-author:
  • Elena Fersman, Pavel Krcal, Paul Pettersson and Wang Yi. Task Automata: Schedulability, Decidability and Undecidability. In Journal: Information and Computation, 205(8), 2007. pages: 1149-1172. ( pdf )
  • Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. TIMES: A Tools for Modelling and Implementation of Embedded Systems. In Proc of TACAS02, Grenoble, , Apr 6-14, 2002. LNCS 2280, pages: 460-464.
• CATS , a Tool for Compositional Modeling and Analysis Using Timed Automata and the Real-Time Calculus, co-author:
  • Pavel Krcal, Leonid Mokrushin, Wang Yi: A tool for compositional analysis of timed systems by abstraction (pdf), Proceedings of 19th Nordic workshop on programming theory (NWPT07's proceedings), Oslo, 2007.
• TIMES-Pro , a Tool box for Design, Analysis, Implementation and Update of CPS, co-author:
  • Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi: The Digraph Real-Time Task Model. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 71-80. (pdf)
  • Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, Wang Yi: Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. Models, Algorithms, Logics and Tools 2017: 623-639 ( pdf )

• Complexity of Uniprocessor Scheduling. Pontus Ekberg and Wang Yi. Handbook of Real-Time Computing. Springer, 2018. (pdf)
• Real-Time Task Models. Yue Tang, Nan Guan and Wang Yi. Handbook of Real-Time Computing. Springer, 2018. (pdf)
• A survey on cache analysis for real-time systems. Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm and Wang Yi. LITES 3(1): 05:1-05:48 (2016) (pdf)
• Graph-Based Models for Real-Time Workload: a Survey. Martin Stigge and Wang Yi. For the celebration of Professor Alan Burns 60's birthday, 2013. Real-Time Systems Journal, 2015. (pdf)
• Building Timing Predictable Embedded Systems . Philip Axer, Rolf Ernst et al. ACM Transactions on Embedded Computing Systems, 2013. (pdf)
• Timed Automata: Semantics, Algorithms and Tools . Johan Bengtsson and Wang Yi. In Lecture Notes on Concurrency and Petri Nets, Lectures on Concurrency and Petri Nets, 2003. Edited by W. Reisig and G. Rozenberg. Lecture Notes in Computer Science Volume 3098, pages: 87-124. (pdf)

2020

• Wang Yi, Morteza Meqeqi, Susanne Graf. MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. https://arxiv.org/submit/3484291 (pdf)
• Jinghao Sun, Nan Guan, Feng Li, Huimin Gao, Chang Shi, Wang Yi: Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism. IEEE Trans. Computers 69(9): 1335-1348 (2020)
• Dong Ji, Mingsong Lv, Jiayu Yang, Wang Yi: Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area. IEEE Access 8: 112772-112782 (2020)
• Gang Chen, Nan Guan, Kai Huang, Wang Yi: Fault-tolerant real-time tasks scheduling with dynamic fault handling. J. Syst. Archit. 102 (2020)
• Zhiwei Feng, Nan Guan, Mingsong Lv, Wenchen Liu, Qingxu Deng, Xue Liu, Wang Yi: Efficient drone hijacking detection using two-step GA-XGBoost. J. Syst. Archit. 103: 101694 (2020)
• Jinghao Sun, Nan Guan, Shuangshuang Chang, Feng Li, Qingxu Deng, Wang Yi: Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(12): 4537-4548 (2020)
• Jinghao Sun, Feng Li, Nan Guan, Wentao Zhu, Minjie Xiang, Zhishan Guo, Wang Yi: On Computing Exact WCRT for DAG Tasks†. DAC 2020: 1-6
• Jinghao Sun, Yaoyao Chi, Tianfei Xu, Lei Cao, Nan Guan, Zhishan Guo, Wang Yi: On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms*. DATE 2020: 204-209
• Xu Jiang, Nan Guan, He Du, Weichen Liu, Wang Yi: On the Analysis of Parallel Real-Time Tasks with Spin Locks. CoRR abs/2003.08233 (2020)
• Xu Jiang, Nan Guan, Maolin Yang, Yue Tang, Wang Yi: Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling. CoRR abs/2011.06762 (2020)

  2019

• Wang Yi: Design and Dynamic Update of Real-Time Systems. RTSS 2019: 1-3
• Xiaochen Hao, Mingsong Lv, Jiesheng Zheng, Zhengkui Zhang, Wang Yi: Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems. ICCD 2019: 237-245
• He Du, Wei Zhang, Nan Guan, Wang Yi: Scope-aware data cache analysis for OpenMP programs on multi-core processors. J. Syst. Archit. 98: 443-452 (2019)
• Desheng Wang, Yangjie Wei, Ke Zhang, Wang Yi: Evaluating Audio System Dynamic Range Performance under Variable Distortion Condition. ISCID (2) 2019: 279-284
• Jakaria Abdullah, Gaoyang Dai, and Wang Yi: Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. Proc. of DATE 2019. (pdf)
• S Liu, N Guan, D Ji, W Liu, X Liu, W Yi: Leaking your engine speed by spectrum analysis of real-time scheduling sequences. Journal of Systems Architecture, 2019.
• Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, Wang Yi: An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit. ACM Trans. Embedded Comput. Syst. 17(6): 96:1-96:19, 2019 (pdf)

  2018

• Gang Chen, Nan Guan, Biao Hu, Wang Yi: EDF-VD Scheduling of Flexible Mixed-Criticality System with Multiple-Shot Transitions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Proc. of EMSOFT 2018. ( pdf)
• Jinghao Sun, Nan Guan, Xu Jiang, Shuangshuang Chang, Zhishan Guo, Qingxu Deng, and Wang Yi: A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks under GEDF. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Proc. of EMSOFT 2018. ( pdf)
• Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi and Wang Yi: Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. Proc. of RTAS 2018. ( pdf)
• Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang and Wang Yi: Model Checking Continuous-time Duration Calculus Against Bounded Behaviour of Timed Automata. Proc. of HSCC 2018. ( pdf)
• Pontus Ekberg and Wang Yi: Complexity of Uniprocessor Scheduling. Handbook of Real-Time Computing. Springer, 2018. (book chapter, pdf)
• Yue Tang, Nan Guan and Wang Yi: Real-Time Task Models. Handbook of Real-Time Computing. Springer, 2018. (book chapter, pdf)
• Gang Chen, Nan Guan, Di Liu, Qingqiang He, Kai Huang, Todor Stefanov, Wang Yi: Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. IEEE Transactions on Computers, 67 (4), 543-558. 2018. (pdf)
• Qingqiang He, Nan Guan, Mingsong Lv, Wang Yi: On the Consensus Mechanisms of Blockchain/DLT for Internet of Things. Proc. of SIES 2018: 1-10. (pdf)
• Z. Feng, N. Guan, M. Lv, W. Liu, Q. Deng, X. Liu and W. Yi: Efficient Drone Hijacking Detection using Onboard Motion Sensors. Transactions on Embedded Computing Systems. (pdf)
• Di Liu, Nan Guan, Jelena Spasic, Gang Chen, Songran Liu, Todor Stefanov and Wang Yi: Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks. IEEE Transactions on Computers, 67 (7), 975-991. 2018 (pdf)

  2017

• Wang Yi: Towards Customizable CPS: Composability, Efficiency and Predictability. In proc. of ICFEM17. Lecture Notes in Computer Science 10610, Springer 2017. pages 3-15. (pdf)
• Pontus Ekberg and Wang Yi: Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-hard, RTSS 2017. Best Paper Award (pdf)
• Jinghao Sun, Nan Guan, Yang Wang, Qingqing He Wang Yi: Scheduling and Analysis of Real-Time OpenMP Task Systems with Tied Tasks, RTSS 2017. ( pdf )
• Yue Tang, Nan Guan, Weichen Liu, Linh Thi Xuan Phan and Wang Yi: Revisiting GPC and AND Connector in Real-Time Calculus, RTSS 2017. ( pdf )
• Xu Jiang, Nan Guan, Xiang Long and Wang Yi: Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors, RTSS 2017. ( pdf )
• Morteza Mohaqeqi, Syed Md Jakaria Abdullah, Pontus Ekberg, Wang Yi: Refinement of Workload Models for Engine Controllers by State Space Partitioning. ECRTS 2017: 11:1-11:22 ( pdf )
• M Mohaqeqi, J Abdullah, W Yi: An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. Ada-Europe 2017, P137-152 ( pdf )
• J Abdullah, M Mohaqeqi, W Yi: Synthesis of ada code from graph-based task models. ACM SAC 2017. ( pdf )
• Z Feng, N Guan, M Lv, W Liu, Q Deng, X Liu, W Yi: Efficient drone hijacking detection using onboard motion sensors. DATE 2017. ( pdf )
• Yang Wang, Nan Guan, Jinghao Sun, Mingsong Lv, Qingqiang He, Tianzhang He, Wang Yi: Benchmarking OpenMP programs for real-time scheduling. RTCSA 2017: 1-10 ( pdf )
• K Lampka, S Bondorf, JB Schmitt, N Guan, W Yi: Generalized Finitary Real-Time Calculus. Proc. IEEE INFOCOM 2017. ( pdf )
• Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, Wang Yi: Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical S ystems. Models, Algorithms, Logics and Tools 2017: 623-639 ( pdf )

  2016

• Morteza Mohaqeqi, Jakaria Abdullah, Nan Guan, Wang Yi: Schedulability Analysis of Synchronous Digraph Real-Time Tasks. ECRTS 2016. (pdf)
• Chuancai Gu, Nan Guan, Zhiwei Feng, Qingxu Deng, Xiaobo Sharon Hu and Wang Yi: Transforming Real-Time Task Graphs to Improve Schedulability. RTCSA 2016. (pdf)
• Mingsong Lv, Nan Guan, Ye Ma, Dong Ji, Erwin Knippel, Xue Liu, Wang Yi: Speed planning for solar-powered electric vehicles. e-Energy 2016: 6 (pdf)
• Di Liu, Jelena Spasic, Gang Chen, Nan Guan, Songran Liu, Todor Stefanov, Wang Yi: EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees. RTSS 2016. (pdf)
• Syed Md Jakaria Abdullah, Kai Lampka, Wang Yi: Improving performance by monitoring while maintaining worst-case guarantees. DATE 2016: 257-260 (pdf)
• Philipp Rümmer, Wang Yi: Characterization of Simulation by Probabilistic Testing. Theory and Practice of Formal Methods 2016: 360-372 (pdf)
• Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi: Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. Ada-Europe 2016: 15-29 (pdf)
• Pontus Ekberg, Wang Yi: Schedulability analysis of a graph-based task model for mixed-criticality systems. Real-Time Systems 52(1): 1-37 (2016) (pdf)
• Jinghao Sun, Nan Guan, Yang Wang, Qingxu Deng, Peng Zeng, Wang Yi: Feasibility of Fork-Join Real-Time Task Graph Models: Hardness and Algorithms. ACM Trans. Embedded Comput. Syst. 15(1): 14 (2016) (pdf)
• A survey on cache analysis for real-time systems. Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm and Wang Yi. LITES 3(1): 05:1-05:48 (2016) (pdf)
• AutoDietary: A Wearable Acoustic Sensor System for Food Intake Recognition in Daily Life Y Bi, M Lv, C Song, W Xu, N Guan, W Yi IEEE Sensors Journal 16 (3), 806-816.
• Multi-feature fusion for thermal face recognition Y Bi, M Lv, Y Wei, N Guan, W Yi Infrared Physics & Technology, 2016.
• tart time configuration for strictly periodic real-time task systems T Zhang, N Guan, Q Deng, W Yi Journal of Systems Architecture 66, 61-68 (2016)

  2015

• Pontus Ekberg and Wang Yi: Uniprocessor Feasibility of Sporadic Tasks Remains coNP-complete Under Bounded Utilization. RTSS 2015 Best Paper Award (pdf)
• Nan Guan, Mengying Zhao, Chun Jason Xue, Yongpan Liu and Wang Yi: Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems. RTSS 2015. (pdf)
• Pontus Ekberg and Wang Yi: Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines is Strongly coNP-complete. ECRTS 2015 Best Paper Award (pdf)
• Hao Lin, Wenyao Xu, Nan Guan, Dong Ji, Yangjie Wei, Wang Yi: Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks. IEEE Intelligent Systems 30(6): 38-48 (2015)
• Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks H Lin, W Xu, N Guan, D Ji, Y Wei, W Yi IEEE Intelligent Systems 30 (6), 38-48 (2015)
• Martin Stigge, Wang Yi: Combinatorial abstraction refinement for feasibility analysis of static priorities. Real-Time Systems Journal, 2015. (pdf)
• Nan Guan, Meiling Han, Chuancai Gu, Qingxu Deng, Wang Yi: Bounding Carry-in Interference to Improve Fixed-Priority Global Multiprocessor Scheduling Analysis. RTCSA 2015: 11-20
• Martin Stigge, Wang Yi: Graph-Based Models for Real-TimeWorkload: a Survey. Real-Time Systems Journal, 2015. (pdf)
• Pontus Ekberg, Nan Guan, Martin Stigge, Wang Yi: An optimal resource sharing protocol for generalized multiframe tasks. Journal of Logical and Algebraic Methods in Programming 84 (1), 92-105(2015) (pdf)
• Nan Guan, Jakaria Abdullah, Martin Stigge, Yue Tang and Wang Yi: Scalable Timing Analysis by Refinement. TACAS 2015 (invited paper). (pdf)
• Nan Guan1, Yue Tang, Yang Wang and Wang Yi: Delay Analysis of Structural Real-Time Workload. DATE 2015. (pdf)

  2014

• Nan Guan, Mingsong Lv, Wang Yi, Ge Yu: WCET analysis with MRU cache: Challenging LRU for predictability ACM Transactions on Embedded Computing Systems (TECS) 13 (4s), 123 (2014) (pdf)
• Pontus Ekberg, Wang Yi: Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Real-Time Systems, 50(1): 48-86 (2014) (pdf)
• Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, Wang Yi: Building Timing Predictable Embedded Systems. ACM Trans. Embedded Computing Systems (TECS) 13(4): 82 (2014) (pdf)
• Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi: Horn Clauses for Communicating Timed Systems. HCVS 2014:39-52. (pdf)
• Nan Guan and Wang Yi. General and Efficient Response Time Analysis for EDF Scheduling. DATE 2014. (pdf)
• Nan Guan, Chuan Gu, Martin Stigge, Qingxu Deng, Wang Yi: Approximate Response Time Analysis of Real-Time Task Graphs. RTSS 2014, 304-313 (2014) (pdf)
• Martin Stigge, Nan Guan, Wang Yi: Refinement-based Exact Response-Time Analysis. ECRTS 2014, 143-152 (2014) (pdf)
• Youcheng Sun, Giuseppe Lipari, Nan Guan, Wang Yi: Improving the response time analysis of global fixed-priority multiprocessor scheduling. Proc. of the 20th IEEE Conference on Embedded and Real-Time Computing Systems and Applications, 2014. (pdf)
• Jonas Flodin, Kai Lampka,Wang Yi: Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. Proc. of SIES 2014. The 9th IEEE International Symposium on Industrial Embedded Systems, 2014. (pdf)
• Tianyu Zhang, Nan Guan, Qingxu Deng, Wang Yi: On the analysis of EDF-VD scheduled mixedcriticality real-time systems. Proc. of SIES 2014. The 9th IEEE International Symposium on Industrial Embedded Systems, 2014. (pdf)
• Wei Jing, Nan Guan, Wang Yi: Performance isolation for real-time systems with Xen hypervisor on multi-cores. RTCSA 2014:1-7. (pdf)
• Yi Zhang, Nan Guan andWang Yi: Understanding the Dynamic Caches on Intel Processors: Methods and Applications. Proc. of the 12th IEEE International Conference on Embedded and Ubiquitous Computing (EUC), 2014. (pdf)
• Chuanwen Li, Yu Gu, Jianzhong Qi, Ge Yu, Rui Zhang, Wang Yi: Processing Moving kNN Queries Using Influential Neighbor Sets. PVLDB 8(2):113-124 (2014). (pdf)
• Chuancai Gu, Nan Guan, Qingxu Deng, Wang Yi: Partitioned mixed-criticality scheduling on multiprocessor platforms. DATE 2014. (pdf)

  2013

• Nan Guan and Wang Yi. Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems. In the proc. of RTSS 2013. (pdf)
• Martin Stigge, Pontus Ekberg, Wang Yi: The fork-join real-time task model. SIGBED Review 10(2): 20 (2013) (pdf)
• Martin Stigge and Wang Yi. Combinatorial Abstraction Refinement for Feasibility Analysis. In the proc. of RTSS 2013. (pdf)
• Chuancai Gu, Nan Guan, Qingxu Deng and Wang Yi. Improving OCBP-based Scheduling for Mixed-Criticality Sporadic Task Systems. In the proc. of RTCSA 2013. (pdf)
• Pontus Ekberg and Wang Yi. Bounding and Shaping the Demand of Generalized Mixed-Criticality Sporadic Task Systems. In Journal: Real Time Systems, 2013 . (pdf)
• Nan Guan, Mingsong Lv and Wang Yi. FIFO Cache Analysis for WCET Estimation: a Quantitative Approach. In the proc. of DATE 2013. (pdf)

  2012

• Pontus Ekberg and Wang Yi. Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks. In the proc of the 24rd Euromicro Conference on Real-Time Systems. 10-13 July, 2012, Pisa, Italy. Outstanding paper award (pdf)
• Martin Stigge and Wang Yi. Hardness Results for Static Priority Real-Time Scheduling. In the proc of the 24rd Euromicro Conference on Real-Time Systems. 10-13 July, 2012, Pisa, Italy. (pdf)
• Nan Guan, Martin Stigge, Yu Ge, and Wang Yi. Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling. In the proc. of the 26th IEEE International Parallel & Distributed Processing Symposium. May 21-25, 2012, Shanghai, China. (pdf)
• Nan Guan and Wang Yi. Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound. 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops and PhD Forum. May 21-25, 2012, Shanghai, China. (pdf)
• Nan Guan, Mingsong Lv, Yu Ge and Wang Yi. WCET Analysis with MRU Caches: Challenging LRU for Predictability. In the proc. of RTAS 2012. (pdf)

  2011

• Nan Guan, Pontus Ekberg, Martin Stigge and Wang Yi. Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems. In the proc. of IEEE RTSS 2011, Vienna, Austria. Nov 30 - Dec 2, 2011. (pdf)
• Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi: McAiT - A Timing Analyzer for Multicore Real-Time Software. In the proc. of ATVA 2011: 414-417.
• Yi Zhang, Nan Guan, Yanbin Xiao, Wang Yi. Implementation and Empirical Comparison of Partitioning-based Multi-core Scheduling. In the proc. of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES11), Vaesteraas, Sweden, June 15th - 17th, 2011 (pdf)
• Martin Stigge, Pontus Ekberg, Nan Guan, and Wang Yi. On the Tractability of Digraph-Based Task Models. In the proc of the 23rd Euromicro Conference on Real-Time Systems Polytechnic Institute of Porto (ISEP-IPP) Porto, Portugal July 6th - 8th, 2011. (pdf)
• Xi Jin, Nan Guan, Qingxu Deng, Wang Yi " Memory Aware Mapping for Network-on-Chips", In the proc. of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2011), August 28-31, Toyama, Japan.
• Nan Guan, Pontus Ekberg, Martin Stigge and Wang Yi. Resource Sharing Protocols for Real-Time Task Graph Systems. In the proc. of the 23rd Euromicro Conference on Real-Time Systems Polytechnic Institute of Porto (ISEP-IPP) Porto, Portugal July 6th - 8th, 2011. (pdf)
• Martin Stigge, Pontus Ekberg, Guan Nan and Wang Yi. The Digraph Real-Time Task Model. In the proc. of IEEE RTAS11, the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, Chicago, IL, USA April 11 - 14, 2011. Best Paper Nomination (pdf)
• Nan Guan, Wang Yi, Qingxu Deng, Zonghua Gu, Ge Yu: Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling. Journal of Systems Architecture - Embedded Systems Design 57(5): 536-546 (2011).
• Fanxin Kong, Wang Yi, Qingxu Deng: Energy-efficient scheduling of real-time tasks on cluster-based multicores. In the proc. of DATE 2011: 1135-1140.
• Fanxin Kong, Nan Guan, Qingxu Deng, Wang Yi: Energy-efficient scheduling for parallel real-time tasks based on level-packing. In the proc of ACM SAC 2011: 635-640.
• Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson and Wang Yi. Developing UPPAAL over 15 years. In Journal: Software - Practice and Experience, 41(2): 133-142 (2011). Wiley Publisher. (pdf)

  2010

• Mingsong Lv, Guan Nan, Wang Yi and Ge Yu. Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. In the proc. of the 31th IEEE Real-Time Systems Symposium, November 30 - December 3, 2010, San Diego, CA, USA. Best Paper Nomination (pdf)
• Nan Guan, Martin Stigge, Wang Yi and Ge Yu. Fixed Priority Multiprocessor Scheduling: Beyond Layland and Liu's Utilization Bound. In the proc. of RTSS10 Work in Progress, November 30 - December 3, 2010, San Diego, CA, USA. ( pdf for the technical report )
• Parosh Aziz Abdulla, Pavel Krcal, and Wang Yi. Sampled Semantics of Timed Automata Logical Methods in Computer Science, vol 6(3), 2010. (pdf)
• Nan Guan, Martin Stigge, Wang Yi and Ge Yu. Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound. In the proc. of RTAS10, the 16th IEEE Real-Time and Embedded Technology and Applications Symposium Stockholm, Sweden, April 12 - 15, 2010. Best Paper Nomination (pdf)
• Fanxin Kong, Yiqun Wang, Qingxu Deng and Wang Yi. Minimizing Multi-Resource Energy for Real-Time Systems with Discrete Operation Modes. Proc of ECRTS 2010, the 22nd Euromicro Conference on Real-Time Systems, Brussels, Belgium. July 6-9, 2010. (pdf)

  2009

• Nan Guan, Martin Stigge, Wang Yi and Ge Yu. New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. In the proc. of RTSS09, the 30th IEEE Real-Time Systems Symposium December 1 - December 4, 2009 Washington, D.C., USA. RTSS 2009 Best Paper Award ( pdf )
• Parosh Abdulla, Pavel Krcal and Wang Yi. R-automata with value copying. In the proceedings of 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada, 23rd of August 2008. In Electronic Notes in Theoretical Computer Science, 239: 131-141 (2009). ( pdf )

• Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi. Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. In the proc. of ICFEM 2009, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. LNCS 5885, p367-386. ( pdf )
• Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu and Wang Yi. WCET Analysis of the C/OS-II Real-Time Kernel. In the proc. of 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Vancouver, Canada, August 29-31, 2009. ( pdf )
• Nan Guan, Martin Stigge, Wang Yi and Ge Yu. Cache-Aware Scheduling and Analysis for Multicores. In the proc. of the 7th International Conference on Embedded Software, Oct. 12-16, Grenoble, France. ( pdf )
• Nan Guan, Zonghua Gu, Wang Yi and Ge Yu. Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs. In the proc. of the 14th Asia and South Pacific Design Automation Conference, Jan. 19-22 2009. Yokohama, Japan. ( pdf )

  2008

• Nan Guan, Wang Yi, Zonghua Gu and Ge Yu. New Schedulability Test Conditions for Non-Preemptive Scheduling on Multiprocessor Platforms. In the proc. of the 29th IEEE Real-Time Systems Symposium, Barcelona. ( pdf )
• Bengt Jonsson, Simon Perathoner, Lothar Thiele, and Wang Yi. Cyclic dependencies in modular performance analysis. In the proc. of the 8th International Conference on Embedded Software, Atlanta, USA, 2008. ( pdf )
• Simon Tschirner, Liang Xuedong and Wang Yi. Model-Based Validation of QoS Properties of Biomedical Sensor Networks. In the proc. of the 8th International Conference on Embedded Software, Atlanta, USA, 2008. ( pdf )
• Qingxu Deng, Fanxin Kong, Nan Guan, Mingsong Lv and Wang Yi. On-line Placement of Real-time Tasks on 2D Partially Run-time Reconfigurable FPGAs. In Proc. of the 5th IEEE International Symposium on Embedded Computing.
• Parosh Abdulla, Pavel Krcal and Wang Yi. R-automata. In the proceedings of the 19th International Conference on Concurrency Theory, Toronto, Canada, 2008. Lecture Notes in Computer Science, Volume 5021, pages: 67-81. ( pdf )
• Jin Song Dong, Hao Ping, Qin Shengchao, Jun Sun and Wang Yi. Timed Automata Patterns. IEEE Transactions on Software Engineering, Volume 34 , Issue 6, November 2008, Pages 844-859.

  2007

• Elena Fersman, Pavel Krcal, Paul Pettersson and Wang Yi. Task Automata: Schedulability, Decidability and Undecidability. In Journal: Information and Computation, 205(8), 2007. pages: 1149-1172. ( pdf )
• Pavel Krcal, Martin Stigge, Wang Yi. Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. In the proc. of 5th International Conference on Formal Modeling and Analysis of Timed Systems, Salzburg, Austria, October 3-5, 2007. Lecture Notes in Computer Science, Volume 4763, pages: 274-289. ( pdf )
• Parosh Abdulla, Pavel Krcal and Wang Yi. Sampled Universality of Timed Automata. In the proceedings of 10th International Conference on Foundations of Software Science and Computational Structures (as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007), Braga, Portugal, March 24-April 1, 2007. Lecture Notes in Computer Science, Volume 4423, pages: 2-16. ( pdf )

  2006

• Pavel Krcal, Wang Yi. Communicating Timed Automata: the More Synchronous, the More Difficult to Verify. In the proceedings of 18th International Conference on Computer Aided Verification, Seattle, WA, USA, August 17-20, 2006. Lecture Notes in Computer Science Volume 4144, pages: 249-262. ( pdf )
• Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks. UPPAAL 4.0. In the proc. of 3rd International Conference on the Quantitative Evaluaiton of Systems, 11-14 September 2006, Riverside, California, USA. IEEE Computer Society, pages: 125-126. ( pdf )
• Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Schedulability Analysis of Fixed-Priority Systems Using Timed Automata. In journal: Theoretical Computer Science, 354(2), 2006, pages: 301-317. ( pdf ) Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, and Wang Yi. Integrating timed automata into tabu algorithm for hw-sw partitioning. In Proc. of 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA, pages 131–138. IEEE Computer Society, 2006.

  2005

• J. He, D. Hung, G. Pu, Z. Qiu, and Wang Yi. Exploring optimal solutions in hardware/software partitioning for synchronous models. In journal: Formal Aspects of Computing, volume 17, number 4, 2005, pages: 443--460.
• Paul Caspi, Alberto L. Sangiovanni-Vincentelli et al. Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3), 2005, pages: 587-611.

  2004

• Pavel Krcal and Wang Yi. Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. In the proceedings of 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, March 29 - April 2, 2004 Barcelona, Spain. Lecture Notes in Computer Science Volume 2988, pages 236-250.
• Leonid Mokrushin, Pavel Krcal, P.S. Thiagarajan and Wang Yi. Timed vs. Time Triggered Automata. In the proceedings of 15th International Conference on Concurrency Theory, London, UK, Aug 31 - Sept 3, 2004. Lecture Notes in Computer Science 3170, pages: 340-354.
• Elena Fersman and Wang Yi. A Generic Approach to Schedulability Analysis of Real Time Tasks, In Nordic Journal of Computing, Volume 11(2), 2004, pages: 129-147.
• Pu Geguang, Zhao Xiaopeng, Qiu Zongyan, He Jifeng and Wang Yi. An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model, In the proceedings of 3nd IEEE International Conference on Software Engineering and Formal Methods, 26 - 30 September, 2004, IEEE press, pages: 376-385.
• Ping Hao, Jin Song Dong, Sheng Chao Qin, Jun Sun and Wang Yi. Timed Patterns: TCOZ to Timed Automata, In the proceedings of 6th International Conference on Formal Engineering Methods. 8-12 November 2004, Microsoft (Seattle, WA), USA. Lecture Notes in Computer Science 3308, pages: 483-498.
• Pu Geguang, Dang van Hung, He Jifeng and Wang Yi. An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. In the proceedings of 4th International Conference on Integrated Formal Methods, 5-7 April 2004 in Canterbury, Kent, England. Lecture Notes in Computer Science 2999, pages: 363-381.

  2003

• Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi. Compact Data Structure and State-Space Reduction for Model Checking Real Time Systems, In Journal: Real-Time Systems, volume 25, issue 2, 2003, pages 255-275.
• Johan Bengtsson and Wang Yi. Timed Automata: Semantics, Algorithms and Tools. In Lecture Notes on Concurrency and Petri Nets, Lectures on Concurrency and Petri Nets, 2003. Edited by W. Reisig and G. Rozenberg. Lecture Notes in Computer Science Volume 3098, pages: 87-124.
• Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Schedulability Analysis using Two Clocks. In the proceedings of 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Warsaw, Poland, April 7-11, 2003. Lecture Notes in Computer Science 2619, pages: 224-239.
• Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi. Unification & Sharing in Timed Automata Verification. In the proceedings of 10th International SPIN Workshop on Model Checking Software, Portland, USA, May 9-10, 2003. Lecture Notes in Computer Science 2648, pages: 225-229
• Johan Bengtsson and Wang Yi. On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata, In the proc. of 5th International Conference on Formal Engineering Methods, Singapore, November 5-7, 2003. Lecture Notes in Computer Science 2885, pages: 491-503.
• Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems. In the proc. of International conference on Formal Modeling and Analysis of Timed Systems, Marseille, France, September 6-7, 2003. Lecture Notes in Computer Science 2791, pages: 60-72.

  2002

• Bengt Jonsson and Wang Yi. Testing Preorders for Probabilistic Processes can be Characterized by Simulations. In Journal: Theoretical Computer Science, Vol 282(1), 2002, pages: 33-51.
• Paul Pettersson, Hongyan Sun, Wang Yi. Code Synthesis for Timed Automata, Tobias Amnell, Elena Fersman. In Nordic Journal of Computing 9(4), 2002, pages: 269-300.
• Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson, and Wang Yi. UPPAAL Implementation Secrets. 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Lecture Notes in Computer Science 2469, pages: 3-22.
• Huimin Lin and Wang Yi. Axiomatizing Timed Automata, In Journal: Acta Informatica 38(4), 2002. pages: 277-305.
• Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen and Wang Yi. A tool architecture for the next generation of UPPAAL. In Bernhard K. Aichernig and Tom Maibaum, editors. Formal Methods at the Crossroads: from Panacea to Foundational Support, UNU/IIST 10th Anniversary Colloquium, March 2002, Lisbon, Portugal. Lecture Notes in Computer Science 2757, pages: 252-366.
• Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Automated Analysis of an Audio Control Protocol Using UPPAAL. In Journal of Logic and Algebraic Programming, volumes 52-53, 2002, Elsevier Science Publishers, pages: 163-181.
• Elena Fersman, Paul Pettersson, and Wang Yi. Automata with Asynchrounous Processes: Schedulability and Decidability. In Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, J.-P. Katoen, P. Stevens (Eds.). Grenoble, France, April 6-14, 2002. Lecture Notes in Computer Science 2280, pages: 67-82.
• Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. TIMES: A Tools for Modelling and Implementation of Embedded Systems. In Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, LNCS 2280, J.-P. Katoen, P. Stevens (Eds.). Grenoble, France, April 6-14, 2002. Lecture Notes in Computer Science 2280, pages: 460-464.
• Alexandre David, Oliver Möller and Wang Yi. Formal Verification UML Statecharts with Real Time Extensions. In the proceedings of 5th International Conference on Fundamental Approaches to Software Engineering, Grenoble, France, April 8-12, 2002. Lecture Notes in Computer Science 2280, 2306, pages: 218-232.

  2001

• Magnus Lindahl, Paul Pettersson and Wang Yi. Formal Design and Analysis of a Gear Controller. In Springer Journal of Software Tools for Technology Transfer, volume 3, issue 3, 2001, pages 353-368.
• Gerd Behrmann, Alexandre David, Kim G. Larsen, Oliver Möller, Paul Pettersson, and Wang Yi. UPPAAL - Present and Future. In Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, Florida, USA, December 4 to 7, 2001.
• Bengt Jonsson, Kim G. Larsen and Wang Yi. Probabilistic Extensions of Process Algebras. In the Handbook of Process Algebras, J.A. Bergsta, A. Ponse and S.A. Smolka (eds.). Elsevier, North Holland, 2001, pages: 685-711.

  2000

• Tobias Amnell, Alexandre David, and Wang Yi: A Real Time Animator for Hybrid Systems. In the proceedings of 6th ACM SIGPLAN/SIGBED conference on Languages, Compilers, and Tools for Embedded Systems, Vancouver, BC, Canada, June 18, 2000. Lecture Notes in Computer Science Volume 1985, pages: 134-145.
• Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim G. Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, and Wang Yi. UPPAAL - Now, Next, and Future. In Proceedings of Modelling and Verification of Parallel Processes, Nantes, France, June 19 to 23, 2000. LNCS Tutorial Volume 2067, pages 100-125, F. Cassez, C. Jard, B. Rozoy, and M. Ryan (Eds.), 2001. pages: 99-124.
• Huimin Lin, and Wang Yi. A Complete Axiomatization for Timed Automata. In the proceedings of 20th Conference on Foundations of Software Technology and Theoretical Computer Science, New Delhi, India, December 13-15, 2000. Lecture Notes in Computer Science Volume 1974, pages: 277-289.
• Anders Wall, Kristian Sandstrom, Jukka Maki-Turja, Christer Norstrom and Wang Yi. Verifying Temporal Constraints on Data in Multi-Rate Transactions Using Timed Automata. In the proceedings of the 7th International Conference on Real-Time Computing Systems and Applications, December 12-14, 2000, Cheju Island, South Korea, IEEE press. 2000. Pages: 263-270.
• Alexandre David and Wang Yi. Modelling and Analysis of a Field Bus Protocol In the proceedings of the 12th Euromicro Conference On Real-Time Systems, Stockholm, Sweden June 19th-21th, IEEE Press, 2000, pages: 165-175. (pdf)
• Huimin Lin and Wang Yi. A Proof System for Timed Automata. In the proceedings of 3rd International Conference on Foundations of Software Science and Computation Structures, Berlin, Germany, March 25 - April 2, 2000, Lecture Notes in Computer Science Volume 1784, pages: 208-222.
• Fredrik Larsson, Paul Pettersson and Wang Yi. On Memory-Block Traversal Problems in Model Checking Timed Systems. In the proceedings of 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Berlin, Germany, March 25 - April 2, 2000. Lecture Notes in Computer Science Volume 1785, pages: 127-141.

  Before 2000

• Gerd Behrmann, Kim G. Larsen, Justin Pearson, Carsten Weise, and Wang Yi. Efficient Timed Reachability Analysis Using Clock Difference Diagrams. In the proceedings of CAV99, 11th International Conference on Computer-Aided Verification, July 7-10, 1999, Trento, Italy. Lecture Notes in Computer Science Volume 1633, Springer-Verlag, 1999. Pages: 341-353.
• Kim G. Larsen, Carsten Weise, Wang Yi and Justin Pearson. Clock Difference Diagrams. Nordic Journal of Computing, 1999. Pages: 271-298.
• Christer Ericsson, Anders Wall and Wang Yi. Timed Automata as Task Models for Event-Driven Systems. In the proceedings of The 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99), December 13 - 15, 1999, IEEE press, 1999. Pages: 182-189.
• Bengt Jonsson and Wang Yi. Fully Abstract Characterization of Probabilistic May-Testing. In the proceedings of 5th Internatioanl AMAST Workshop on Real-Time and Probabilistic Systems, May 26-28, 1999, Bamberg, Germany. Lecture Notes in Computer Science Volume 1601, Springer-Verlag, 2000. Pages: 1-18.
• Johan Bengtsson, Bengt Jonsson, Johan Lilius and Wang Yi. Partial Order Reductions for Timed Systems. In the proceedings of the 9th International Conference on Concurrency Theory. Nice, France, September 1998. Lecture Notes in Computer Science Volume 1466, Springer-Verlag, 1998. Pages: 485-500.
• Magnus Lindahl, Paul Pettersson and Wang Yi. Formal Design and Analysis of a Gear Controller. In Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Gulbenkian Foundation, Lisbon, Portugal, 31 March - 2 April, 1998. Lecture Notes in Computer Science, Volume 1384, pages 281-297, Bernhard Steffen (Ed.), Springer-Verlag 1998. Pages: 281-297. (pdf)
• Kim G. Larsen, Paul Pettersson and Wang Yi. UPPAAL in a Nutshell. Springer International Journal: Software Tools for Technology Transfer 1(1/2), Springer-Verlag, 1997. Pages: 134-152.
• Kim G. Larsen and Wang Yi. Time Abstracted Bisimulation: Implicit Specification and Decidability. In the internatinal journal: Information and Computation, Vol 134, Academic Press, 1997. Pages: 75-103.
• Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi. Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction. In the proceedings of the 18th IEEE Real-Time Systems Symposium. San Francisco, California, USA, 3-5 December 1997, IEEE Press, 1997. Pages: 14-24.
• Kim G. Larsen, Paul Pettersson and Wang Yi. UPPAAL: Status & Developments. In Proceedings of the 9th International Conference on Computer-Aided Verification. Haifa, Israel, 22-25 June 1997. Lecture Notes in Computer Science Volume 1254, Springer-Verlag, 1997. Pages: 456-459.
• Kåre J. Kristoffersen, Francois Larroussinie, Kim G. Larsen, Paul Pettersson and Wang Yi. A Compositional Proof of a Real-Time Mutual Exclusion Protocol. In Proceedings of the 7th International Joint Conference on the Theory and Practice of Software Development. Lille, France, 14-18 April, 1997. Lecture Notes in Computer Science Volume 1214, Springer-Verlag, 1997. Pages: 565-579.
• Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi. Verification of an Audio Protocol with Bus Collision Using UPPAAL. In Proceedings of the 8th International Conference on Computer-Aided Verification. New Brunswick, New Jersey, USA, 31 July 31-3 August, 1996. Lecture Notes n Computer Science, Volume 1102, R. Alur and T. A. Henzinger (Eds.). Springer-Verlag. Pages: 244-256. (pdf)
• Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi. UPPAAL in 1995. In Proceedings of Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Passau, Germany, 27-29 March, 1996. Lecture Notes in Computer Science, Volume 1055, T. Margaria and B. Steffen (Eds.). Springer-Verlag. Pages: 431-434.
• Kim G. Larsen, Paul Pettersson and Wang Yi. Compositional and Symbolic Model-Checking of Real-Time Systems. In Proceedings of the 16th IEEE Real-Time Systems Symposium, Pisa, Italy, 5-7 December, 1995. IEEE Press, 1995. Pages: 76-89.
• Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. In Proceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, New Brunswick, New Jersey, 22-24 October, 1995. Lecture Notes in Computer Science, Volume 1066. Pages: 232-243.
• Kim G. Larsen, Paul Pettersson and Wang Yi. Diagnostic Model-Checking for Real-Time Systems. In Proceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, New Brunswick, New Jersey, 22-24 October, 1995. Lecture Notes in Computer Science, Volume 1066, pages 575-586.
• Kim G. Larsen, Paul Pettersson and Wang Yi. Model-Checking for Real-Time Systems. Invited paper. In Proceedings of 10th International Conferences on Fundamentals of Computation Theory, Dresden, Germany, 22-25 August, 1995. Lecture Notes in Computer Science, Volume 965, Horst Reichel (Ed.). Springer-Verlag. Pages 62-88.
• Bengt Jonsson and Wang Yi. Compositional Testing Preorders for Probabilistic Processes. In Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, 1995. IEEE Press, 1995. Pages: 431-441.
• Wang Yi and Bengt Jonsson. Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes. In Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science, Madras, India, December, 1994. Lecture Notes in Computer Science Volume 880, Springer-Verlag. Pages: 243-255.
• Wang Yi, Paul Pettersson and Mats Daniels. Automatic Verification of Real-Time Communicating Systems by Constraint Solving. In Proceedings of the 7th International Conference on Formal Description Techniques, Berne, Switzerland, 4-7 October, 1994. North Holland Publisher, 1994. Pages: 243-258.
• Wang Yi. Reasoning about Uncertain Information Compositionally. In Proceedings of the 3rd International School and Symposium on Real-Time and Fault-Tolerant Systems, Kiel, Germany, September, 1994. Lecture Notes in Computer Science, Volume. 863, Springer-Verlag. Pages: 680-693.
• Bengt Jonsson, Chris Ho Stuart and Wang Yi. Testing and Refinements of Probabilistic and Nondeterministic Processes. In Proceedings of the 3rd International School and Symposium on Real-Time and Fault-Tolerant Systems, Kiel, Germany, September, 1994. Lecture Notes in Computer Science, Volume 863, Springer-Verlag. Pages: 418-430.
• Kim G. Larsen and Wang Yi. Time Abstracted Bisimulation: Implicit Specification and Decidability, In the Proceedings of MFPS93 (the 9th International Conference on Mathematical Foundations of Programming Semantics), New Oleans, USA, 1993. Lecture Notes in Computer Science Volume 802, Springer-Verlag. Pages: 160-176.
• Wang Yi and Kim Larsen. Testing Probabilistic and Nondeterministic Processes . In the proceedings of PSTV92 (the 12th IFIP International Symposium on Protocol Specification, Testing and Verification), Florida, USA, 1992. North Holland. Pages: 47-61.
• Wang Yi. Specifying Processes in terms of their Environments . In the proc. of BCS-FACS Workshop on Specification and Verification of Concurrent Systems, edited by C. Rattray, Springer-Verlag, ISBN3-540-19581-5, 1990. Pages 276-293.
• Wang Yi. CCS + Time = an Interleaving Model for Real Time Systems . In the Proceedings of ICALP91 (the 18th International Colloquium on Automata, Language and Programming), Madrid, 1991. Lecture Notes in Computer Science, Volume 510. Springer-Verlag. Pages: 217-228.
• Uno Holmer, Kim Larsen and Wang Yi. Deciding Properties of Regular Timed Processes . In the Proceedings of CAV'91 (Computer Aided Verification), Aalborg, Denmark, 1991. Lecture Notes in Computer Science, Volume 575, Springer-Verlag. Pages: 443-453.
• Wang Yi. Real Time Behaviour of Asynchronous Agents . In the Proceedings of CONCUR90 (International Conference on Concurrency Theory), Amsterdam, 1990. Lecture Notes in Computer Science, Volume 458. Springer-Verlag. Pages: 502-520.

• SETTA 2015, LNCS 9409, Xuandong Li, Zhiming Liu, Wang Yi: Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Lecture Notes in Computer Science 9409, Springer 2015, ISBN 978-3-319-25941-3
• LCTES 2012, ACM press, Heiko Falk and Wang Yi, editors. Proc. of SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012, LCTES '12, Beijing, China - June 12 - 13, 2012.
• ACM TECS 7(2) , Soonhoi Ha, Kiyoung Choi, Taewhan Kim, Krisztián Flautner, Sang Lyul Min, and Wang Yi. Special issue for embedded systems week 2006. ACM Transactions on Embedded Computing Systems, 7(2), 2008.
• EMSOFT 2006, ACM press, Sang Lyul Min and Wang Yi, editors. Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea. ACM, 2006.
• FORMATS 2005, LNCS 3829 , Paul Pettersson and Wang Yi, editors. Proceedings of Formal Modeling and Analysis of Timed Systems, 3rd International Conference, FORMATS 2005, Uppsala, Sweden, Sept. 26-28, 2005, volume 3829 of Lecture Notes in Computer Science. Springer, December 2005.
• NJ 12(2) , Paul Pettersson and Wang Yi, editors. Nordic Journal of Computing, volume 12(2). Publishing Association Nordic Journal of Computing, 2005. Special issue for selected papers of NWPT04.
• STTT 5(1) , Tiziana Margaria and Wang Yi, editors. International Journal on Software Tools for Technology Transfer, volume 5(1). Springer, 2003. Special issue for selected papers of TACAS01.
• TACAS 2001, LNCS 2031 , Tiziana Margaria and Wang Yi, editors. Proceedings of Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001, Genova, Italy, April 2-6, 2001, volume 2031 of Lecture Notes in Computer Science. Springer, 2001.
• NJ 8(1) , Kaisa Sere and Wang Yi, editors. Nordic Journal of Computing, volume 8(1). Publishing Association Nordic Journal of Computing, 2001. Special issue for selected papers of NWPT99.
• NWPT05 , Paul Pettersson and Wang Yi, editors. Proceedings of Nordic Workshop on Programming Theory, Uppsala, 2005.
• RT-TOOL02 , Paul Pettersson and Wang Yi, editors. Proceedings of Int. Workshop on Real-Time Tools, Copenhagen (affiliated with CAV02), 2002.
• NWPT99 , Bjorn Victor and Wang Yi, editors. Proceedings of Nordic Workshop on Programming Theory, Uppsala, 1999.

• PhD thesis, A Calculus of Real Time Systems, Wang Yi. Department of Computer Science, Chalmers University of Technology, 1991.
• Licentiate thesis, Environments as specifications of processes, Wang Yi, Department of Computer Science, Chalmers University of Technology, 1988.

• NWPT08 , Guan Nan and Wang Yi. Minimizing Buffer Requirements in Synchronous Dataflow Graphs. Proc. of NWPT08, the 20th Nordic Workshop on Programming Theory, Tallinn, Estonia, 19-21 November 2008.
• NWPT07 , Pavel Krcal, Leonid Mokrushin, and Wang Yi. A tool for compositional analysis of timed systems by abstraction (extended abstract). In Einar Broch Johnsen, Olaf Owe, and Gerardo Schneider, editors, Proc. of NWPT07, the 19th Nordic Workshop on Programming Theory, Oslo, Oct. 10-12, 2007.
• NWPT07 , Simon Tschirner and Wang Yi. Model-based validation of QoS properties of biomedical sensor networks (extended abstract). In Einar Broch Johnsen, Olaf Owe, and Gerardo Schneider, editors, Proc. of NWPT07, the 19th Nordic Workshop on Programming Theory, Oslo, Oct. 10-12, 2007.
• SVERT04 , John Hakansson, Leonid Mokrushin, Paul Pettersson, andWang Yi. An analysis tool for uml models with spt annotations. In Susanne Graf, editor, Proc. of International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS04), Lisbon, Oct. 11, 2004, 2004.
• RT-TOOL01 , Reducing Memory Usage in Symbolic State-Space Exploration for Timed Systems. Johan Bengtsson and Wang Yi. In proceedings of Workshop on Real-Time Tools, Paul Pettersson and Sergio Yovine (eds.). Aalborg University, Denmark. August, 2001.
• SIVOES01 , Tobias Amnell, Alexandre David, Elena Fersman, Oliver Moller, Paul Pettersson, and Wang Yi. Tools for real-time uml: Formal verification and code synthesis. In Sebastien Gerard, editor, Proc. of International Workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems (SIVOES2001), Budapest, 18-22 June 2001, 2001.
• CTH Worshop , Towards a Theory of Testing for Probabilistic and Nondeterministic Processes . Wang Yi. In the Proceedings of Chalmers Workshop on Concurrency, Bastad, Sweden, 1991.
• STTT, New Generation of UPPAAL. Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Carsten Weise, and Wang Yi. In proceedings of the International Workshop on Software Tools for Technology Transfer. Aalborg, Denmark, 12 - 13 July, 1998.
• ISIIS88 , A Simple Protocol Proof . Wang Yi. In the Proceedings of ISIIS'88 (the Second International Symposium on Interoperable Information Systems), Tokyo, Japan, edited by Akio Tojo and Hidehiko Tanaka, 1988.