Wang Yi

Cited by

	All	Since 2018
Citations	15917	4042
h-index	62	31
i10-index	143	93

900

450

225

675

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202355 59 71 94 143 171 221 232 247 342 370 484 476 536 569 542 617 682 670 667 855 846 873 889 871 854 830 711 675 735 235

Public access

View all

37 articles

21 articles

available

not available

Based on funding mandates

Co-authors

Paul PetterssonProfessor of Real-time Systems, Mälardalen UniversityVerified 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
Leonid MokrushinPrincipal Researcher at Ericsson ABVerified email at ericsson.com
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Christer NorströmAssociate Professor at KTHVerified email at kth.se
Fanxin KongSyracuse UniversityVerified email at syr.edu
Mats DanielsProfessor Computing Education Research, UppsalaVerified email at it.uu.se
Justin PearsonIT Department, Uppsala University, SwedenVerified email at it.uu.se
Shengchao QinProfessor of Computer Science, Teesside UniversityVerified email at tees.ac.uk
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
Zonghua GuUmeå UniversityVerified email at umu.se
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
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, 134-152, 1997	2606	1997
Timed automata: Semantics, algorithms and tools J Bengtsson, W Yi Lectures on Concurrency and Petri Nets: Advances in Petri Nets 4, 87-124, 2004	1166	2004
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	1101	1996
Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006	523	2006
CCS+ Time= An Interleaving Model for Real Time Systems. W Yi ICALP 91, 217-228, 1991	302	1991
Model-checking for real-time systems KG Larsen, P Pettersson, W Yi Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 1995	278	1995
Real-time behaviour of asynchronous agents Y Wang CONCUR'90 Theories of Concurrency: Unification and Extension: Amsterdam, The …, 1990	263	1990
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	260	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	254	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	217	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	217	1997
Task automata: Schedulability, decidability and undecidability E Fersman, P Krcal, P Pettersson, W Yi Information and Computation 205 (8), 1149-1172, 2007	215	2007
Formal design and analysis of a gear controller M Lindahl, P Pettersson, W Yi Tools and Algorithms for the Construction and Analysis of Systems: 4th …, 1998	200	1998
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	195	1999
Compositional and Symbolic Model Checking of Real-time System KG Larsen, P Pettersson, W Yi Proc. RTSS 95, 1995	187	1995
Partial order reductions for timed systems J Bengtsson, B Jonsson, J Lilius, W Yi CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998	183	1998
Probabilistic extensions of process algebras B Jonsson, W Yi, KG Larsen Handbook of process algebra, 685-710, 2001	180	2001
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	179	2009
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	175	2011
Formal verification of UML statecharts with real-time extensions A David, MO Möller, W Yi FASE 2, 218-232, 2002	174	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

Cited by

Co-authors