| UPPAAL in a nutshell KG Larsen, P Pettersson, W Yi International journal on software tools for technology transfer 1, 134-152, 1997 | 3127 | 1997 |
| Timed automata: Semantics, algorithms and tools J Bengtsson, W Yi Advanced Course on Petri Nets, 87-124, 2003 | 1248 | 2003 |
| 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 | 1201 | 1996 |
| Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006 | 560 | 2006 |
| CCS+ time= an interleaving model for real time systems W Yi International Colloquium on Automata, Languages, and Programming, 217-228, 1991 | 303 | 1991 |
| Model-checking for real-time systems KG Larsen, P Pettersson, W Yi Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 1995 | 286 | 1995 |
| 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 | 271 | 2004 |
| Real-time behaviour of asynchronous agents Y Wang CONCUR'90 Theories of Concurrency: Unification and Extension: Amsterdam, The …, 1990 | 271 | 1990 |
| 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 | 263 | 1995 |
| 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 | 233 | 2009 |
| 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 | 224 | 1997 |
| Task automata: Schedulability, decidability and undecidability E Fersman, P Krcal, P Pettersson, W Yi Information and Computation 205 (8), 1149-1172, 2007 | 214 | 2007 |
| 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 | 202 | 1999 |
| Compositional and Symbolic Model Checking of Real-time System KG Larsen, P Pettersson, W Yi Proc. RTSS 95, 1995 | 196 | 1995 |
| Probabilistic extensions of process algebras B Jonsson, W Yi, KG Larsen Handbook of process algebra, 685-710, 2001 | 190 | 2001 |
| 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 | 190 | 1998 |
| 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 | 189 | 2011 |
| Partial order reductions for timed systems J Bengtsson, B Jonsson, J Lilius, W Yi CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998 | 189 | 1998 |
| 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 | 188 | 2009 |
| Testing probabilistic and nondeterministic processes W Yi, KG Larsen Protocol Specification, Testing and Verification, XII, 47-61, 1992 | 184 | 1992 |
Paul PetterssonProfessor of Real-time Systems, Mälardalen Universitymdh.se의 이메일 확인됨