×

zbMATH — the first resource for mathematics

Yi, Wang

Compute Distance To:
Author ID: yi.wang Recent zbMATH articles by "Yi, Wang"
Published as: Yi, Wang; Yi, W.
Documents Indexed: 49 Publications since 1991, including 4 Books

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 365 times in 271 Documents Cited by Year
Uppaal in a nutshell. Zbl 1060.68577
Larsen, Kim G.; Pettersson, Paul; Yi, Wang
113
1997
Timed automata: Semantics, algorithms and tools. Zbl 1088.68119
Bengtsson, Johan; Yi, Wang
48
2004
Probabilistic extensions of process algebras. Zbl 1062.68081
Jonsson, Bengt; Yi, Wang; Larsen, Kim G.
40
2001
CCS + Time = an interleaving model for real time systems. Zbl 0769.68027
Yi, Wang
26
1991
Task automata: Schedulability, decidability and undecidability. Zbl 1121.68062
Fersman, Elena; Krcal, Pavel; Pettersson, Paul; Yi, Wang
19
2007
Efficient timed reachability analysis using clock difference diagrams. Zbl 1046.68577
Behrmann, G.; Larsen, K. G.; Pearson, J.; Weise, C.; Yi, W.
10
1999
Timed automata with asynchronous processes: Schedulability and decidability. Zbl 1043.68589
Fersman, Elena; Pettersson, Paul; Yi, Wang
10
2002
TIMES – a tool for modelling and implementation of embedded systems. Zbl 1043.68513
Amnell, Tobias; Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul; Yi, Wang
9
2002
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Zbl 1291.68075
Ekberg, Pontus; Yi, Wang
9
2014
Clock difference diagrams. Zbl 0937.68086
Larsen, Kim G.; Pearson, Justin; Weise, Carsten; Yi, Wang
8
1999
Schedulability analysis of fixed-priority systems using timed automata. Zbl 1088.68087
Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul; Yi, Wang
7
2006
Communicating timed automata: the more synchronous, the more difficult to verify. Zbl 1188.68192
Krcal, Pavel; Yi, Wang
7
2006
Sampled semantics of timed automata. Zbl 1214.68195
Krčál, Pavel; Abdulla, Parosh Aziz; Yi, Wang
6
2010
Decidable and undecidable problems in schedulability analysis using timed automata. Zbl 1126.68456
Krčál, Pavel; Yi, Wang
6
2004
Combinatorial abstraction refinement for feasibility analysis of static priorities. Zbl 1343.68037
Stigge, Martin; Yi, Wang
6
2015
Formal design and analysis of a gear controller. Zbl 0993.68133
Lindahl, Magnus; Pettersson, Paul; Yi, Wang
5
2001
Code synthesis for timed automata. Zbl 1088.68625
Amnell, Tobias; Fersman, Elena; Pettersson, Paul; Yi, Wang; Sun, Hongyan
4
2002
A generic approach to schedulability analysis of real-time tasks. Zbl 1088.68525
Fersman, Elena; Yi, Wang
4
2004
Automated verification of an audio-control protocol using UPPAAL. Zbl 1008.68009
Bengtsson, Johan; Griffioen, W. O. David; Kristoffersen, Kåre J.; Larsen, Kim G.; Larsson, Fredrik; Pettersson, Paul; Yi, Wang
4
2002
Compact data structures and state-space reduction for model-checking real-time systems. Zbl 1081.68010
Larsen, Kim G.; Larsson, Fredrik; Pettersson, Paul; Yi, Wang
3
2003
Testing preorders for probabilistic processes can be characterized by simulations. Zbl 0997.68082
Jonsson, Bengt; Yi, Wang
3
2002
Graph-based models for real-time workload: a survey. Zbl 1337.68050
Stigge, Martin; Yi, Wang
3
2015
R-automata. Zbl 1160.68396
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
2
2008
Sampled universality of timed automata. Zbl 1195.68052
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
2
2007
Schedulability analysis using two clocks. Zbl 1031.68031
Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul; Yi, Wang
2
2003
Formal verification of UML statecharts with real-time extensions. Zbl 1059.68542
David, Alexandre; Möller, M. Oliver; Yi, Wang
2
2002
An optimal resource sharing protocol for generalized multiframe tasks. Zbl 1304.68024
Ekberg, Pontus; Guan, Nan; Stigge, Martin; Yi, Wang
2
2015
Scheduling analysis of imprecise mixed-criticality real-time tasks. Zbl 1433.68072
Liu, Di; Guan, Nan; Spasic, Jelena; Chen, Gang; Liu, Songran; Stefanov, Todor; Yi, Wang
1
2018
Multi-processor schedulability analysis of preemptive real-time tasks with variable execution times. Zbl 1141.68353
Krcal, Pavel; Stigge, Martin; Yi, Wang
1
2007
Timed vs. time-triggered automata. Zbl 1099.68069
Krčál, Pavel; Mokrushin, Leonid; Thiagarajan, P. S.; Yi, Wang
1
2004
Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26–28, 2005. Proceedings. Zbl 1097.68008
Pettersson, Paul (ed.); Yi, Wang (ed.)
1
2005
A proof system for timed automata. Zbl 0961.68071
Lin, Huimin; Yi, Wang
1
2000
Scheduling analysis of imprecise mixed-criticality real-time tasks. Zbl 1433.68072
Liu, Di; Guan, Nan; Spasic, Jelena; Chen, Gang; Liu, Songran; Stefanov, Todor; Yi, Wang
1
2018
Combinatorial abstraction refinement for feasibility analysis of static priorities. Zbl 1343.68037
Stigge, Martin; Yi, Wang
6
2015
Graph-based models for real-time workload: a survey. Zbl 1337.68050
Stigge, Martin; Yi, Wang
3
2015
An optimal resource sharing protocol for generalized multiframe tasks. Zbl 1304.68024
Ekberg, Pontus; Guan, Nan; Stigge, Martin; Yi, Wang
2
2015
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Zbl 1291.68075
Ekberg, Pontus; Yi, Wang
9
2014
Sampled semantics of timed automata. Zbl 1214.68195
Krčál, Pavel; Abdulla, Parosh Aziz; Yi, Wang
6
2010
R-automata. Zbl 1160.68396
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
2
2008
Task automata: Schedulability, decidability and undecidability. Zbl 1121.68062
Fersman, Elena; Krcal, Pavel; Pettersson, Paul; Yi, Wang
19
2007
Sampled universality of timed automata. Zbl 1195.68052
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
2
2007
Multi-processor schedulability analysis of preemptive real-time tasks with variable execution times. Zbl 1141.68353
Krcal, Pavel; Stigge, Martin; Yi, Wang
1
2007
Schedulability analysis of fixed-priority systems using timed automata. Zbl 1088.68087
Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul; Yi, Wang
7
2006
Communicating timed automata: the more synchronous, the more difficult to verify. Zbl 1188.68192
Krcal, Pavel; Yi, Wang
7
2006
Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26–28, 2005. Proceedings. Zbl 1097.68008
Pettersson, Paul; Yi, Wang
1
2005
Timed automata: Semantics, algorithms and tools. Zbl 1088.68119
Bengtsson, Johan; Yi, Wang
48
2004
Decidable and undecidable problems in schedulability analysis using timed automata. Zbl 1126.68456
Krčál, Pavel; Yi, Wang
6
2004
A generic approach to schedulability analysis of real-time tasks. Zbl 1088.68525
Fersman, Elena; Yi, Wang
4
2004
Timed vs. time-triggered automata. Zbl 1099.68069
Krčál, Pavel; Mokrushin, Leonid; Thiagarajan, P. S.; Yi, Wang
1
2004
Compact data structures and state-space reduction for model-checking real-time systems. Zbl 1081.68010
Larsen, Kim G.; Larsson, Fredrik; Pettersson, Paul; Yi, Wang
3
2003
Schedulability analysis using two clocks. Zbl 1031.68031
Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul; Yi, Wang
2
2003
Timed automata with asynchronous processes: Schedulability and decidability. Zbl 1043.68589
Fersman, Elena; Pettersson, Paul; Yi, Wang
10
2002
TIMES – a tool for modelling and implementation of embedded systems. Zbl 1043.68513
Amnell, Tobias; Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul; Yi, Wang
9
2002
Code synthesis for timed automata. Zbl 1088.68625
Amnell, Tobias; Fersman, Elena; Pettersson, Paul; Yi, Wang; Sun, Hongyan
4
2002
Automated verification of an audio-control protocol using UPPAAL. Zbl 1008.68009
Bengtsson, Johan; Griffioen, W. O. David; Kristoffersen, Kåre J.; Larsen, Kim G.; Larsson, Fredrik; Pettersson, Paul; Yi, Wang
4
2002
Testing preorders for probabilistic processes can be characterized by simulations. Zbl 0997.68082
Jonsson, Bengt; Yi, Wang
3
2002
Formal verification of UML statecharts with real-time extensions. Zbl 1059.68542
David, Alexandre; Möller, M. Oliver; Yi, Wang
2
2002
Probabilistic extensions of process algebras. Zbl 1062.68081
Jonsson, Bengt; Yi, Wang; Larsen, Kim G.
40
2001
Formal design and analysis of a gear controller. Zbl 0993.68133
Lindahl, Magnus; Pettersson, Paul; Yi, Wang
5
2001
A proof system for timed automata. Zbl 0961.68071
Lin, Huimin; Yi, Wang
1
2000
Efficient timed reachability analysis using clock difference diagrams. Zbl 1046.68577
Behrmann, G.; Larsen, K. G.; Pearson, J.; Weise, C.; Yi, W.
10
1999
Clock difference diagrams. Zbl 0937.68086
Larsen, Kim G.; Pearson, Justin; Weise, Carsten; Yi, Wang
8
1999
Uppaal in a nutshell. Zbl 1060.68577
Larsen, Kim G.; Pettersson, Paul; Yi, Wang
113
1997
CCS + Time = an interleaving model for real time systems. Zbl 0769.68027
Yi, Wang
26
1991
all top 5

Cited by 530 Authors

16 Larsen, Kim Guldstrand
12 Bouyer, Patricia
9 André, Étienne
7 Kwiatkowska, Marta Z.
7 Markey, Nicolas
7 Tini, Simone
7 Yi, Wang
6 Lee, Insup
5 Lanotte, Ruggero
5 Norman, Gethin
4 Aceto, Luca
4 Asarin, Eugene
4 Baeten, Jos C. M.
4 Chatain, Thomas
4 Dang, Zhe
4 D’Argenio, Pedro Rubén
4 Di Pierro, Alessandra
4 Fahrenberg, Uli
4 Legay, Axel
4 Lime, Didier
4 Raskin, Jean-François
4 Rossi, Matteo A. C.
4 Sankur, Ocan
4 Vaandrager, Frits W.
4 Wiklicky, Herbert
3 Abdulla, Parosh Aziz
3 Bernardo, Marco
3 Cîrstea, Corina
3 de Weerdt, Mathijs M.
3 Delahaye, Benoît
3 Fribourg, Laurent
3 Furfaro, Angelo
3 Gastin, Paul
3 Gebler, Daniel E.
3 Gomez, Rodolfo
3 Hankin, Chris L.
3 Maler, Oded
3 Meseguer Guaita, José
3 Nigro, Libero
3 Palamidessi, Catuscia
3 Pettersson, Paul
3 Pietro, Pierluigi San
3 Reniers, Michel Adriaan
3 Rooda, Jacobus E.
3 Sokolsky, Oleg
3 Verwer, Sicco
3 Wąsowski, Andrzej
3 Witteveen, Cees
3 Yovine, Sergio
3 Zeng, Haibo
2 Akshay, S.
2 Al-Bataineh, Omar
2 Avni, Guy
2 Azgomi, Mohammad Abdollahi
2 Bartels, Falk
2 Basset, Nicolas
2 Bersani, Marcello Maria
2 Bocchi, Laura
2 Bozga, Marius
2 Brémond-Grégoire, Patrice
2 Cambronero, María Emilia
2 Cao, Yongzhi
2 Chatzikokolakis, Konstantinos
2 Choi, Jin Young
2 Chothia, Tom
2 Cicirelli, Franco
2 Cleaveland, Rance
2 de Boer, Frank S.
2 De Nicola, Rocco
2 de Vink, Erik P.
2 Deng, Yuxin
2 Di Natale, Marco
2 Dingel, Juergen
2 Dong, JinSong
2 Encrenaz, Emmanuelle
2 Falcone, Yliès
2 Fersman, Elena
2 Fokkink, Willem Jan
2 French, Tim
2 Geeraerts, Gilles
2 Giannopoulou, Georgia
2 Huang, Pengcheng
2 Ibarra, Oscar H.
2 Jaghoori, Mohammad Mahdi
2 Johnsen, Einar Broch
2 Jonsson, Bengt
2 Jovanović, Aleksandra Ž.
2 Kemmerer, Richard A.
2 Klin, Bartek
2 Krčál, Pavel
2 Laroussinie, François
2 Li, Guangyuan
2 Liu, Yang
2 Merro, Massimo
2 Miller, Alice Ann
2 Motallebi, Hassan
2 Murgia, Maurizio
2 Nunez, Manuel A.
2 Olderog, Ernst-Rüdiger
2 Olveczky, Peter Csaba
...and 430 more Authors

Citations by Year