Software, Recent reports, Published work, Edited volumes, Theses, Workshop contributions

• My H-index is 39 according to Citation statistics by Google Scholar
• My publications listed by DBLP server
• PDF/PS files available here

• UPPAAL , a Model Checker for Real-Time Systems, co-founder.
• TIMES , a Tool box for Modeling and Implementation of Embedded Systems, co-counder.
• CATS , a Tool for Compositional Analysis of Timed Systems, co-founder.

2012

• 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, Mingsong Lv, Yu Ge and Wang Yi. WCET Analysis with MRU Caches: Challenging LRU for Predictability. To appear 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 )

  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.
• 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.
• Paul Pettersson and Wang Yi. Formal Design and Analysis of a Gear Controller. Magnus Lindahl, 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.
• 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.
• 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.

• ACM TECS 7(2) , Soonhoi Ha, Kiyoung Choi, Taewhan Kim, Kriszti´an Flautner, Sang Lyul Min, and Wang Yi. Special issue for embedded systems week 2006. ACM Transactions on Embedded Computing Systems, 7(2), 2008.
• EMSOFT06 , 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.
• 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.
• 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.