Wang Yi

Cited by

	All	Since 2017
Citations	14993	4071
h-index	61	32
i10-index	142	91

880

440

220

660

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202254 53 89 89 158 174 223 244 215 334 420 448 440 534 563 549 636 669 675 657 841 843 853 877 855 826 821 697 646 225

Public access

View all

35 articles

17 articles

available

not available

Based on funding mandates

Co-authors

Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenVerified email at mdh.se
Nan GuanCity University of Hong KongVerified email at cityu.edu.hk
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Martin StiggeResearcher, Uppsala UniversityVerified email at it.uu.se
Mingsong LvNortheastern University, ChinaVerified email at cse.neu.edu.cn
Pontus EkbergUppsala UniversityVerified email at it.uu.se
Elena FersmanVP, Head of Global AI Accelerator at Ericsson, Adjunct Professor at Royal Institute of TechnologyVerified email at ericsson.com
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Leonid MokrushinPrincipal Researcher at Ericsson ABVerified email at it.uu.se
Fanxin KongSyracuse UniversityVerified email at syr.edu
Christer NorströmAssociate Professor at KTHVerified email at kth.se
Mats DanielsProfessor Computing Education Research, UppsalaVerified email at it.uu.se
Zonghua GuUmeå UniversityVerified email at umu.se
Justin PearsonIT Department, Uppsala University, SwedenVerified email at it.uu.se
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
Jin Song DongProfessor of Computer Science, National University of Singapore and Griffith UniversityVerified email at nus.edu.sg
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Johan LiliusÅbo Akademi UniversityVerified email at abo.fi
Shengchao QinProfessor of Computer Science, Teesside UniversityVerified email at tees.ac.uk
Kai LampkaChief Expert & Technology Manager @ Elektrobit Automotive, Docent @ TU Kaiserslautern (part-time)Verified email at elektrobit.com

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), 134-152, 1997	2416	1997
Timed automata: Semantics, algorithms and tools J Bengtsson, W Yi Advanced Course on Petri Nets, 87-124, 2003	1097	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	1065	1995
Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006	489	2006
CCS+ time= an interleaving model for real time systems W Yi International Colloquium on Automata, Languages, and Programming, 217-228, 1991	290	1991
Model-checking for real-time systems KG Larsen, P Pettersson, W Yi International Symposium on Fundamentals of Computation Theory, 62-88, 1995	273	1995
Real-time behaviour of asynchronous agents Y Wang International Conference on Concurrency Theory, 502-520, 1990	257	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	252	2003
Automatic verification of real-time communicating systems by constraint-solving W Yi, P Pettersson, M Daniels Formal Description Techniques VII, 243-258, 1995	246	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	208	1997
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	204	2009
Task automata: Schedulability, decidability and undecidability E Fersman, P Krcal, P Pettersson, W Yi Information and Computation 205 (8), 1149-1172, 2007	202	2007
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	189	1999
Compositional and Symbolic Model Checking of Real-time System KG Larsen, P Pettersson, W Yi Proc. RTSS 95, 1995	185	1995
Probabilistic extensions of process algebras B Jonsson, W Yi, KG Larsen Handbook of process algebra, 685-710, 2001	177	2001
Partial order reductions for timed systems J Bengtsson, B Jonsson, J Lilius, W Yi International Conference on Concurrency Theory, 485-500, 1998	173	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	171	2009
Testing probabilistic and nondeterministic processes W Yi, KG Larsen Protocol Specification, Testing and Verification, XII, 47-61, 1992	171	1992
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	170	2002
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	170	2002

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

Follow this author

Cited by

Co-authors