Wang Yi

Wang Yi

Uppsala University - Uppsala / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1151475
Uppsala Universitet
person_outline Wang Yi's MOST POPULAR ARTICLES
1-) UPPAAL in a nutshellKG Larsen, P Pettersson, W YiInternational journal on software tools for technology transfer 1 (1), 134-152, 199729201997
2-) Timed automata: Semantics, algorithms and toolsJ Bengtsson, W YiAdvanced Course on Petri Nets, 87-124, 200311252003
3-) UPPAAL—a tool suite for automatic verification of real-time systemsJ Bengtsson, K Larsen, F Larsson, P Pettersson, W YiInternational hybrid systems workshop, 232-243, 199510841995
4-) Uppaal 4.0G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ...Los Alamitos, CA: IEEE Computer Society, 20065552006
5-) CCS+ time= an interleaving model for real time systemsW YiInternational Colloquium on Automata, Languages, and Programming, 217-228, 19913031991