Seuraa
Wang Yi
Wang Yi
Professor of Embedded Systems, Uppsala University
Vahvistettu sähköpostiosoite verkkotunnuksessa it.uu.se - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
UPPAAL in a nutshell
KG Larsen, P Pettersson, W Yi
International journal on software tools for technology transfer 1, 134-152, 1997
25771997
Timed automata: Semantics, algorithms and tools
J Bengtsson, W Yi
Lectures on Concurrency and Petri Nets: Advances in Petri Nets 4, 87-124, 2004
11512004
UPPAAL—a tool suite for automatic verification of real-time systems
J Bengtsson, K Larsen, F Larsson, P Pettersson, W Yi
Hybrid Systems III: Verification and Control 3, 232-243, 1996
10801996
Uppaal 4.0
G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ...
Los Alamitos, CA: IEEE Computer Society, 2006
5122006
CCS+ Time= An Interleaving Model for Real Time Systems.
W Yi
ICALP 91, 217-228, 1991
3021991
Model-checking for real-time systems
KG Larsen, P Pettersson, W Yi
Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 1995
2751995
Real-time behaviour of asynchronous agents
Y Wang
CONCUR'90 Theories of Concurrency: Unification and Extension, 1990
2631990
TIMES: a tool for schedulability analysis and code generation of real-time systems
T Amnell, E Fersman, L Mokrushin, P Pettersson, W Yi
Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004
2602004
Automatic verification of real-time communicating systems by constraint-solving
W Yi, P Pettersson, M Daniels
Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995
2511995
New response time bounds for fixed priority multiprocessor scheduling
N Guan, M Stigge, W Yi, G Yu
2009 30th IEEE Real-Time Systems Symposium, 387-397, 2009
2142009
Task automata: Schedulability, decidability and undecidability
E Fersman, P Krcal, P Pettersson, W Yi
Information and Computation 205 (8), 1149-1172, 2007
2132007
Efficient verification of real-time systems: Compact data structure and state-space reduction
KG Larsen, F Larsson, P Pettersson, W Yi
Proceedings Real-Time Systems Symposium, 14-24, 1997
2111997
Formal design and analysis of a gear controller
M Lindahl, P Pettersson, W Yi
Tools and Algorithms for the Construction and Analysis of Systems: 4th …, 1998
1981998
Efficient timed reachability analysis using clock difference diagrams
G Behrmann, KG Larsen, J Pearson, C Weise, W Yi
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
1941999
Compositional and Symbolic Model Checking of Real-time System
KG Larsen, P Pettersson, W Yi
Proc. RTSS 95, 1995
1861995
Partial order reductions for timed systems
J Bengtsson, B Jonsson, J Lilius, W Yi
CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998
1831998
Probabilistic extensions of process algebras
B Jonsson, W Yi, KG Larsen
Handbook of process algebra, 685-710, 2001
1792001
Cache-aware scheduling and analysis for multicores
N Guan, M Stigge, W Yi, G Yu
Proceedings of the seventh ACM international conference on Embedded software …, 2009
1752009
Testing probabilistic and nondeterministic processes
W Yi, KG Larsen
Protocol Specification, Testing and Verification, XII, 47-61, 1992
1741992
The digraph real-time task model
M Stigge, P Ekberg, N Guan, W Yi
2011 17th IEEE real-time and embedded technology and applications symposium …, 2011
1732011
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20