dblp.uni-trier.dewww.uni-trier.de

Wang Yi Vis

Uppsala University

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
80EENan 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
79EENan Guan, Martin Stigge, Wang Yi, Ge Yu: Cache-aware scheduling and analysis for multicores. EMSOFT 2009: 245-254
78EEParosh Aziz Abdulla, Pavel Krcál, Wang Yi: Universality of R-automata with Value Copying. Electr. Notes Theor. Comput. Sci. 239: 131-141 (2009)
2008
77EEParosh Aziz Abdulla, Pavel Krcál, Wang Yi: R-Automata. CONCUR 2008: 67-81
76EEBengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi: Cyclic dependencies in modular performance analysis. EMSOFT 2008: 179-188
75EESimon Tschirner, Liang Xuedong, Wang Yi: Model-based validation of QoS properties of biomedical sensor networks. EMSOFT 2008: 69-78
74EESoonhoi 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)
73EEJin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008)
2007
72EEPavel Krcál, Martin Stigge, Wang Yi: Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. FORMATS 2007: 274-289
71EEParosh Aziz Abdulla, Pavel Krcál, Wang Yi: Sampled Universality of Timed Automata. FoSSaCS 2007: 2-16
70EEElena 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
68EEPavel Krcál, Wang Yi: Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. CAV 2006: 249-262
67EEGeguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi: Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138
66EEGerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126
65EEElena 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
63EEPaul 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)
62EEJifeng 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
60EEPavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi: Timed vs. Time-Triggered Automata. CONCUR 2004: 340-354
59EEJin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498
58EEGeguang Pu, Dang Van Hung, Jifeng He, Wang Yi: An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM 2004: 363-381
57EEGeguang 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
56EEPavel 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
54EETobias 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
53EEJohan Bengtsson, Wang Yi: On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. ICFEM 2003: 491-503
52EEJohan Bengtsson, Wang Yi: Timed Automata: Semantics, Algorithms and Tools. Lectures on Concurrency and Petri Nets 2003: 87-124
51EEAlexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229
50EEElena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: Schedulability Analysis Using Two Clocks. TACAS 2003: 224-239
49EEKim 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)
48EETiziana Margaria, Wang Yi: Introductory paper: scalability aspects of validation. STTT 5(1): 1-3 (2003)
2002
47EEAlexandre 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
46EEAlexandre David, M. Oliver Möller, Wang Yi: Formal Verification of UML Statecharts with Real-Time Extensions. FASE 2002: 218-232
45EEGerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
44EETobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: TIMES - A Tool for Modelling and Implementation of Embedded Systems. TACAS 2002: 460-464
43EEElena Fersman, Paul Pettersson, Wang Yi: Timed Automata with Asynchronous Processes: Schedulability and Decidability. TACAS 2002: 67-82
42EEHuimin Lin, Wang Yi: Axiomatising timed automata. Acta Inf. 38(4): 277-305 (2002)
41EEJohan 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)
39EEBengt 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)
36EEMagnus Lindahl, Paul Pettersson, Wang Yi: Formal design and analysis of a gear controller. STTT 3(3): 353-368 (2001)
2000
35EEAlexandre David, Wang Yi: Modelling and analysis of a commercial field bus protocol. ECRTS 2000: 165-172
34EEHuimin Lin, Wang Yi: A Complete Axiomatisation for Timed Automata. FSTTCS 2000: 277-289
33EEHuimin Lin, Wang Yi: A Proof System for Timed Automata. FoSSaCS 2000: 208-222
32EETobias Amnell, Alexandre David, Wang Yi: A Real-Time Animator for Hybrid Systems. LCTES 2000: 134-145
31EETobias 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
30EEAnders 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
29EEFredrik Larsson, Paul Pettersson, Wang Yi: On Memory-Block Traversal Problems in Model-Checking Timed-Systems. TACAS 2000: 127-141
1999
28EEBengt Jonsson, Wang Yi: Fully Abstract Characterization of Probabilistic May Testing. ARTS 1999: 1-18
27EEGerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV 1999: 341-353
26EEChrister 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
24EEJohan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi: Partial Order Reductions for Timed Systems. CONCUR 1998: 485-500
23EEMagnus Lindahl, Paul Pettersson, Wang Yi: Formal Design and Analysis of a Gear Controller. TACAS 1998: 281-297
1997
22EEKim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL: Status & Developments. CAV 1997: 456-459
21EEKim 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
20EEKå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)
18EEKim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL in a Nutshell. STTT 1(1-2): 134-152 (1997)
1996
17EEJohan 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
9EEWang 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
6EEKim 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
4EEUno Holmer, Kim Guldstrand Larsen, Wang Yi: Deciding Properties of Regular Real Time Processes. CAV 1991: 443-453
3EEWang Yi: CCS + Time = An Interleaving Model for Real Time Systems. ICALP 1991: 217-228
1990
2EEWang 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)