Wang Yi

Uppsala University

other persons with the same name:

• Wang Yi - Bioinformatics Institute, Singapore
• Wang Yi
• Wang Yi - Jilin University, Changchun, P.R. China

	2009
84		Nan Guan, Zonghua Gu, Wang Yi, Ge Yu: Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. ASP-DAC 2009: 715-720
83		Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, Wang Yi: WCET Analysis of the mC/OS-II Real-Time Kernel. CSE (2) 2009: 270-276
82		Nan Guan, Martin Stigge, Wang Yi, Ge Yu: Cache-aware scheduling and analysis for multicores. EMSOFT 2009: 245-254
81		Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi: Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. ICFEM 2009: 367-386
80		Nan Guan, Martin Stigge, Wang Yi, Ge Yu: New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. IEEE Real-Time Systems Symposium 2009: 387-397
79		Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: Universality of R-automata with Value Copying. Electr. Notes Theor. Comput. Sci. 239: 131-141 (2009)
	2008
78		Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: R-Automata. CONCUR 2008: 67-81
77		Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi: Cyclic dependencies in modular performance analysis. EMSOFT 2008: 179-188
76		Simon Tschirner, Liang Xuedong, Wang Yi: Model-based validation of QoS properties of biomedical sensor networks. EMSOFT 2008: 69-78
75		Nan Guan, Wang Yi, Zonghua Gu, Qingxu Deng, Ge Yu: New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. IEEE Real-Time Systems Symposium 2008: 137-146
74		Soonhoi Ha, Kiyoung Choi, Taewhan Kim, Krisztián Flautner, Sang Lyul Min, Wang Yi: Introduction to embedded systems week 2006 special issue. ACM Trans. Embedded Comput. Syst. 7(2): (2008)
73		Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008)
	2007
72		Pavel Krcál, Martin Stigge, Wang Yi: Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. FORMATS 2007: 274-289
71		Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: Sampled Universality of Timed Automata. FoSSaCS 2007: 2-16
70		Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi: Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8): 1149-1172 (2007)
	2006
69		Sang Lyul Min, Wang Yi: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea ACM 2006
68		Pavel Krcál, Wang Yi: Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. CAV 2006: 249-262
67		Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi: Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138
66		Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126
65		Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci. 354(2): 301-317 (2006)
	2005
64		Paul Pettersson, Wang Yi: Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings Springer 2005
63		Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
62		Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi: Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Asp. Comput. 17(4): 443-460 (2005)
61		Paul Pettersson, Wang Yi: Guest Editors' Foreword. Nord. J. Comput. 12(2): 67- (2005)
	2004
60		Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi: Timed vs. Time-Triggered Automata. CONCUR 2004: 340-354
59		Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498
58		Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi: An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM 2004: 363-381
57		Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi: An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM 2004: 376-385
56		Pavel Krcál, Wang Yi: Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. TACAS 2004: 236-250
55		Elena Fersman, Wang Yi: A Generic Approach to Schedulability Analysis of Real-Time Tasks. Nord. J. Comput. 11(2): 129-147 (2004)
	2003
54		Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. FORMATS 2003: 60-72
53		Johan Bengtsson, Wang Yi: On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. ICFEM 2003: 491-503
52		Johan Bengtsson, Wang Yi: Timed Automata: Semantics, Algorithms and Tools. Lectures on Concurrency and Petri Nets 2003: 87-124
51		Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229
50		Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: Schedulability Analysis Using Two Clocks. TACAS 2003: 224-239
49		Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real-Time Systems 25(2-3): 255-275 (2003)
48		Tiziana Margaria, Wang Yi: Introductory paper: scalability aspects of validation. STTT 5(1): 1-3 (2003)
	2002
47		Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: A Tool Architecture for the Next Generation of Uppaal. 10th Anniversary Colloquium of UNU/IIST 2002: 352-366
46		Alexandre David, M. Oliver Möller, Wang Yi: Formal Verification of UML Statecharts with Real-Time Extensions. FASE 2002: 218-232
45		Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
44		Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: TIMES - A Tool for Modelling and Implementation of Embedded Systems. TACAS 2002: 460-464
43		Elena Fersman, Paul Pettersson, Wang Yi: Timed Automata with Asynchronous Processes: Schedulability and Decidability. TACAS 2002: 67-82
42		Huimin Lin, Wang Yi: Axiomatising timed automata. Acta Inf. 38(4): 277-305 (2002)
41		Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebr. Program. 52-53: 163-181 (2002)
40		Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi: Code Synthesis for Timed Automata. Nord. J. Comput. 9(4): 269-300 (2002)
39		Bengt Jonsson, Wang Yi: Testing preorders for probabilistic processes can be characterized by simulations. Theor. Comput. Sci. 282(1): 33-51 (2002)
	2001
38		Tiziana Margaria, Wang Yi: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings Springer 2001
37		Gu Dawu, Wang Yi: On the Techniques of Enhancing the Security of Block Ciphers. Operating Systems Review 35(4): 94-96 (2001)
36		Magnus Lindahl, Paul Pettersson, Wang Yi: Formal design and analysis of a gear controller. STTT 3(3): 353-368 (2001)
	2000
35		Alexandre David, Wang Yi: Modelling and analysis of a commercial field bus protocol. ECRTS 2000: 165-172
34		Huimin Lin, Wang Yi: A Complete Axiomatisation for Timed Automata. FSTTCS 2000: 277-289
33		Huimin Lin, Wang Yi: A Proof System for Timed Automata. FoSSaCS 2000: 208-222
32		Tobias Amnell, Alexandre David, Wang Yi: A Real-Time Animator for Hybrid Systems. LCTES 2000: 134-145
31		Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi: UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124
30		Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi: Verifying temporal constraints on data in multi-rate transactions using timed automata. RTCSA 2000: 263-270
29		Fredrik Larsson, Paul Pettersson, Wang Yi: On Memory-Block Traversal Problems in Model-Checking Timed-Systems. TACAS 2000: 127-141
	1999
28		Bengt Jonsson, Wang Yi: Fully Abstract Characterization of Probabilistic May Testing. ARTS 1999: 1-18
27		Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV 1999: 341-353
26		Christer Norström, Anders Wall, Wang Yi: Timed Automata as Task Models for Event-Driven Systems. RTCSA 1999: 182-189
25		Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Clock Difference Diagrams. Nord. J. Comput. 6(3): 271-298 (1999)
	1998
24		Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi: Partial Order Reductions for Timed Systems. CONCUR 1998: 485-500
23		Magnus Lindahl, Paul Pettersson, Wang Yi: Formal Design and Analysis of a Gear Controller. TACAS 1998: 281-297
	1997
22		Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL: Status & Developments. CAV 1997: 456-459
21		Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Efficient verification of real-time systems: compact data structure and state-space reduction. IEEE Real-Time Systems Symposium 1997: 14-24
20		Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT 1997: 565-579
19		Kim Guldstrand Larsen, Wang Yi: Time-abstracted Bisimulation: Implicit Specifications and Decidability. Inf. Comput. 134(2): 75-101 (1997)
18		Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL in a Nutshell. STTT 1(1-2): 134-152 (1997)
	1996
17		Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV 1996: 244-256
16		Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: UPPAAL in 1995. TACAS 1996: 431-434
	1995
15		Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Model-Checking for Real-Time Systems. FCT 1995: 62-88
14		Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Hybrid Systems 1995: 232-243
13		Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Diagnostic Model-Checking for Real-Time Systems. Hybrid Systems 1995: 575-586
12		Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Compositional and Symbolic Model-Checking of Real-Time Systems. IEEE Real-Time Systems Symposium 1995: 76-89
11		Bengt Jonsson, Wang Yi: Compositional Testing Preorders for Probabilistic Processes LICS 1995: 431-441
	1994
10		Wang Yi, Paul Pettersson, Mats Daniels: Automatic verification of real-time communicating systems by constraint-solving. FORTE 1994: 243-258
9		Wang Yi, Bengt Jonsson: Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes. FSTTCS 1994: 243-255
8		Bengt Jonsson, Chris Ho-Stuart, Wang Yi: Testing and Refinement for Nondeterministic and Probabilistic Processes. FTRTFT 1994: 418-430
7		Wang Yi: Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information. FTRTFT 1994: 680-693
	1993
6		Kim Guldstrand Larsen, Wang Yi: Time Abstracted Bisimiulation: Implicit Specifications and Decidability. MFPS 1993: 160-176
	1992
5		Wang Yi, Kim Guldstrand Larsen: Testing Probabilistic and Nondeterministic Processes. PSTV 1992: 47-61
	1991
4		Uno Holmer, Kim Guldstrand Larsen, Wang Yi: Deciding Properties of Regular Real Time Processes. CAV 1991: 443-453
3		Wang Yi: CCS + Time = An Interleaving Model for Real Time Systems. ICALP 1991: 217-228
	1990
2		Wang Yi: Real-Time Behaviour of Asynchronous Agents. CONCUR 1990: 502-520
	1988
1		Wang Yi: Specifying Processes in Terms of Their Environments. Specification and Verification of Concurrent Systems 1988: 276-293

Coauthor Index

1	Parosh Aziz Abdulla	[71] [78] [79]
2	Luís Almeida	[63]
3	Tobias Amnell	[31] [32] [40] [44] [54]
4	Gerd Behrmann	[27] [31] [45] [47] [51] [66]
5	Johan Bengtsson	[14] [16] [17] [24] [31] [41] [45] [52] [53]
6	Albert Benveniste	[63]
7	Frank S. de Boer	[81]
8	Bruno Bouyssounouse	[63]
9	Giorgio C. Buttazzo	[63]
10	Paul Caspi	[63]
11	Rui Chen	[83]
12	Kiyoung Choi	[74]
13	Ivica Crnkovic	[63]
14	Pedro R. D'Argenio	[31]
15	Werner Damm	[63]
16	Mats Daniels	[10]
17	Alexandre David	[31] [32] [35] [45] [46] [47] [51] [66]
18	Gu Dawu	[37]
19	Qingxu Deng	[75] [83]
20	Jin Song Dong	[59] [73]
21	Jakob Engblom	[63]
22	Ansgar Fehnker	[31]
23	Elena Fersman	[40] [43] [44] [50] [54] [55] [65] [70]
24	Krisztián Flautner	[74]
25	Gerhard Fohler	[63]
26	Marisol García-Valls	[63]
27	Immo Grabe	[81]
28	W. O. David Griffioen	[17] [41]
29	Zonghua Gu	[75] [84]
30	Nan Guan	[75] [80] [82] [83] [84]
31	Soonhoi Ha	[74]
32	John Håkansson	[66]
33	Ping Hao	[59] [73]
34	Jifeng He	[57] [58] [62] [67]
35	Martijn Hendriks	[66]
36	Chris Ho-Stuart	[8]
37	Uno Holmer	[4]
38	Thomas Hune	[31]
39	Dang Van Hung	[58] [62]
40	Mohammad Mahdi Jaghoori	[81]
41	Bertrand Jeannet	[31]
42	Bengt Jonsson	[8] [9] [11] [24] [28] [39] [77]
43	Taewhan Kim	[74]
44	Hermann Kopetz	[63]
45	Pavel Krcál	[56] [60] [68] [70] [71] [72] [78] [79]
46	Kåre J. Kristoffersen	[17] [20] [41]
47	Yassine Lakhnech	[63]
48	François Laroussinie	[20] [63]
49	Kim Guldstrand Larsen (Kim G. Larsen)	[4] [5] [6] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [25] [27] [31] [41] [45] [47] [49] [51] [66]
50	Fredrik Larsson	[14] [16] [17] [21] [29] [41] [49]
51	Luciano Lavagno	[63]
52	Johan Lilius	[24]
53	Huimin Lin	[33] [34] [42]
54	Magnus Lindahl	[23] [36]
55	Giuseppe Lipari	[63]
56	Mingsong Lv	[83]
57	Jukka Mäki-Turja	[30]
58	Florence Maraninchi	[63]
59	Tiziana Margaria (Tiziana Margaria-Steffen)	[38] [48]
60	Sang Lyul Min	[69] [74]
61	Leonid Mokrushin	[44] [50] [54] [60] [65]
62	M. Oliver Möller	[31] [46]
63	Christer Norström	[26] [30]
64	Justin Pearson	[25] [27]
65	Simon Perathoner	[77]
66	Philipp Peti	[63]
67	Paul Pettersson	[10] [12] [13] [14] [15] [16] [17] [18] [20] [21] [22] [23] [29] [31] [36] [40] [41] [43] [44] [45] [49] [50] [54] [61] [64] [65] [66] [70]
68	Geguang Pu	[57] [58] [62] [67]
69	Juan Antonio de la Puente	[63]
70	Shengchao Qin	[59] [73]
71	Zongyan Qiu	[57] [62] [67]
72	Kristian Sandström	[30]
73	Alberto L. Sangiovanni-Vincentelli	[63]
74	Norman Scaife	[63]
75	Joseph Sifakis	[63]
76	Robert de Simone	[63]
77	Andries Stam	[81]
78	Martin Stigge	[72] [80] [82]
79	Hongyan Sun	[40]
80	Jun Sun	[59] [73]
81	P. S. Thiagarajan	[60]
82	Lothar Thiele	[77]
83	Martin Törngren	[63]
84	Simon Tschirner	[76]
85	Paulo Veríssimo	[63]
86	Anders Wall	[26] [30]
87	Shuling Wang	[57]
88	Carsten Weise	[25] [27] [31]
89	Andy J. Wellings	[63]
90	Reinhard Wilhelm	[63]
91	Tim A. C. Willemse	[63]
92	Liang Xuedong	[76]
93	Ge Yu	[75] [80] [82] [83] [84]
94	Chong Zhang	[67]
95	Yi Zhang	[83]
96	Xiangpeng Zhao	[57]

Colors in the list of coauthors