Wang Yi
Wang Yi
Professor of Embedded Systems, Uppsala University
Adresse e-mail validée de it.uu.se - Page d'accueil
Titre
Citée par
Citée par
Année
UPPAAL in a nutshell
KG Larsen, P Pettersson, W Yi
International journal on software tools for technology transfer 1 (1-2), 134-152, 1997
21701997
Timed automata: Semantics, algorithms and tools
J Bengtsson, W Yi
Advanced Course on Petri Nets, 87-124, 2003
9532003
UPPAAL—a tool suite for automatic verification of real-time systems
J Bengtsson, K Larsen, F Larsson, P Pettersson, W Yi
International hybrid systems workshop, 232-243, 1995
8771995
Uppaal 4.0
G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ...
Los Alamitos, CA: IEEE Computer Society, 2006
4112006
CCS+ time= an interleaving model for real time systems
W Yi
International Colloquium on Automata, Languages, and Programming, 217-228, 1991
2721991
Model-checking for real-time systems
KG Larsen, P Pettersson, W Yi
International Symposium on Fundamentals of Computation Theory, 62-88, 1995
2601995
Real-time behaviour of asynchronous agents
Y Wang
International Conference on Concurrency Theory, 502-520, 1990
2481990
TIMES: a tool for schedulability analysis and code generation of real-time systems
T Amnell, E Fersman, L Mokrushin, P Pettersson, W Yi
International Conference on Formal Modeling and Analysis of Timed Systems, 60-72, 2003
2262003
Automatic verification of real-time communicating systems by constraint-solving
W Yi, P Pettersson, M Daniels
Formal Description Techniques VII, 243-258, 1995
2221995
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
2001997
Compositional and Symbolic Model Checking of Real-time System
KG Larsen, P Pettersson, W Yi
Proc. RTSS 95, 1995
1841995
Task automata: Schedulability, decidability and undecidability
E Fersman, P Krcal, P Pettersson, W Yi
Information and Computation 205 (8), 1149-1172, 2007
1832007
Formal design and analysis of a gear controller
M Lindahl, P Pettersson, W Yi
International Conference on Tools and Algorithms for the Construction and …, 1998
1791998
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
1762009
Efficient timed reachability analysis using clock difference diagrams
G Behrmann, KG Larsen, J Pearson, C Weise, W Yi
International Conference on Computer Aided Verification, 341-353, 1999
1761999
Probabilistic extensions of process algebras
B Jonsson, W Yi, KG Larsen
Handbook of process algebra, 685-710, 2001
1632001
Testing probabilistic and nondeterministic processes
W Yi, KG Larsen
Protocol Specification, Testing and Verification, XII, 47-61, 1992
1631992
TIMES —A Tool for Modelling and Implementation of Embedded Systems
T Amnell, E Fersman, L Mokrushin, P Pettersson, W Yi
Tools and Algorithms for the Construction and Analysis of Systems, 137-148, 2002
1602002
Formal verification of UML statecharts with real-time extensions
A David, MO Möller, W Yi
International Conference on Fundamental Approaches to Software Engineering …, 2002
1582002
Verification of an audio protocol with bus collision using UppAal
J Bengtsson, WOD Griffioen, KJ Kristoffersen, KG Larsen, F Larsson, ...
International Conference on Computer Aided Verification, 244-256, 1996
1561996
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20