| UPPAAL in a nutshell KG Larsen, P Pettersson, W Yi International journal on software tools for technology transfer 1, 134-152, 1997 | 3115 | 1997 |
| 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 | 1162 | 1996 |
| UPPAAL 4.0 G Behrmann, A David, KG Larsen, J Hakansson, P Petterson, W Yi, ... Quantitative Evaluation of Systems, 2006. QEST 2006. Third International …, 2006 | 540 | 2006 |
| Minimum-cost reachability for priced time automata G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ... Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001 | 445 | 2001 |
| Testing real-time systems using UPPAAL A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou Formal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 2008 | 343 | 2008 |
| Model-checking for real-time systems KG Larsen, P Pettersson, W Yi Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 1995 | 284 | 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 | 267 | 2004 |
| 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 | 257 | 1995 |
| Efficient Verification of Real-Time Systems: Compact Data Structures and State-Space Reduction F LARSSON, P PETTERSSON, W YI Real-Time Systems 1, 28, 1997 | 220 | 1997 |
| Task automata: Schedulability, decidability and undecidability E Fersman, P Krcal, P Pettersson, W Yi Information and Computation 205 (8), 1149-1172, 2007 | 208 | 2007 |
| Compositional and symbolic model-checking of real-time systems KG Larsen, P Pettersson, W Yi Proceedings 16th IEEE Real-Time Systems Symposium, 76-87, 1995 | 194 | 1995 |
| As cheap as possible: effcient cost-optimal reachability for priced timed automata K Larsen, G Behrmann, E Brinksma, A Fehnker, T Hune, P Pettersson, ... Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 184 | 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 | 184 | 1998 |
| Efficient guiding towards cost-optimality in UPPAAL G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn Tools and Algorithms for the Construction and Analysis of Systems, 174-188, 2001 | 183 | 2001 |
| TIMES b—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: 8th …, 2002 | 177 | 2002 |
| Uppaal2k P Pettersson, KG Larsen Bulletin of the european association for theoretical computer science 70 (40 …, 2000 | 172 | 2000 |
| The SAVE approach to component-based development of vehicular systems M Åkerholm, J Carlson, J Fredriksson, H Hansson, J Håkansson, A Möller, ... Journal of Systems and Software 80 (5), 655-667, 2007 | 170 | 2007 |
| UPPAAL in 1995 J Bengtsson, K Larsen, F Larsson, P Pettersson, W Yi Tools and Algorithms for the Construction and Analysis of Systems, 431-434, 1996 | 167* | 1996 |
| Verification of an Audio Protocol with Bus Collision Using UPPAAL J Bengtsson, WOD Griffioen, KJ Kristoffersen, KG Larsen, F Larsson, ... Computer Aided Verification 1996, 1996 | 165 | 1996 |
| UPPAAL-now, next, and future T Amnell, G Behrmann, J Bengtsson, PR D’argenio, A David, A Fehnker, ... Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP …, 2001 | 158 | 2001 |
Wang YiProfessor of Embedded Systems, Uppsala University在 it.uu.se 的电子邮件经过验证
