Wang Yi - Google Scholar Citations

Cited by

	All	Since 2015
Citations	13489	4331
h-index	58	31
i10-index	123	91

860

430

215

645

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202037 51 52 78 86 148 152 227 259 231 353 423 463 472 538 574 552 632 659 693 660 822 855 850 844 807 796 764 269

Co-authors

Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenVerified email at mdh.se
Nan GuanThe Hong Kong Polytechnic UniversityVerified email at comp.polyu.edu.hk
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Martin StiggeResearcher, Uppsala UniversityVerified email at it.uu.se
Pontus EkbergUppsala UniversityVerified email at it.uu.se
Elena FersmanResearch Director at Ericsson, Adjunct Professor at Royal Institute of Technology, StockholmVerified email at ericsson.com
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Mingsong LvNortheastern University, ChinaVerified email at cse.neu.edu.cn
Leonid MokrushinPrincipal Researcher at Ericsson ABVerified email at it.uu.se
Fanxin KongSyracuse UniversityVerified email at syr.edu
Justin PearsonIT Department, Uppsala University, SwedenVerified email at it.uu.se
jun sunAssociate Professor of SIS, SMUVerified email at smu.edu.sg
Jin Song DongProfessor of Computer Science, National University of Singapore and Griffith UniversityVerified email at nus.edu.sg
Zonghua GuUmea UniversityVerified email at umu.se
Johan LiliusÅbo Akademi UniversityVerified email at abo.fi
Shengchao QinProfessor of Computer Science, Teesside UniversityVerified email at tees.ac.uk
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Kai LampkaTechnology Manager @ Elektrobit Automotive, Docent @ TU Kaiserslautern (part-time)Verified email at elektrobit.com
Mats DanielsProfessor Computing Education Research, UppsalaVerified email at it.uu.se
Lothar ThieleProfessor of Computer Engineering, ETH ZurichVerified email at ethz.ch

Wang Yi

Professor of Embedded Systems, Uppsala University

Verified email at it.uu.se - Homepage

Computer Science Real-Time Systems Embedded Systems Verification Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
UPPAAL in a nutshell KG Larsen, P Pettersson, W Yi International journal on software tools for technology transfer 1 (1-2), 134-152, 1997	2510	1997
Timed automata: Semantics, algorithms and tools J Bengtsson, W Yi Advanced Course on Petri Nets, 87-124, 2003	970	2003
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	906	1995
Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006	419	2006
CCS+ time= an interleaving model for real time systems W Yi International Colloquium on Automata, Languages, and Programming, 217-228, 1991	274	1991
Model-checking for real-time systems KG Larsen, P Pettersson, W Yi International Symposium on Fundamentals of Computation Theory, 62-88, 1995	258	1995
Real-time behaviour of asynchronous agents Y Wang International Conference on Concurrency Theory, 502-520, 1990	246	1990
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	228	2003
Automatic verification of real-time communicating systems by constraint-solving W Yi, P Pettersson, M Daniels Formal Description Techniques VII, 243-258, 1995	226	1995
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	202	1997
Compositional and Symbolic Model Checking of Real-time System KG Larsen, P Pettersson, W Yi Proc. RTSS 95, 1995	184	1995
Task automata: Schedulability, decidability and undecidability E Fersman, P Krcal, P Pettersson, W Yi Information and Computation 205 (8), 1149-1172, 2007	183	2007
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	183	1998
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	180	2009
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	176	1999
Probabilistic extensions of process algebras B Jonsson, W Yi, KG Larsen Handbook of process algebra, 685-710, 2001	166	2001
Testing probabilistic and nondeterministic processes W Yi, KG Larsen Protocol Specification, Testing and Verification, XII, 47-61, 1992	164	1992
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	162	2002
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	160	2002
Partial order reductions for timed systems J Bengtsson, B Jonsson, J Lilius, W Yi International Conference on Concurrency Theory, 485-500, 1998	157	1998

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors