Wang Yi

Citata da

	Tutte	Dal 2016
Citazioni	14256	4017
Indice H	58	30
i10-index	127	89

880

440

220

660

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202151 56 85 90 149 148 212 246 231 337 424 466 466 557 602 570 662 684 693 674 826 864 860 873 856 828 806 603 50

Coautori

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

Wang Yi

Professor of Embedded Systems, Uppsala University

Email verificata su it.uu.se - Home page

Computer Science Real-Time Systems Embedded Systems Verification Software Engineering


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
UPPAAL in a nutshell KG Larsen, P Pettersson, W Yi International journal on software tools for technology transfer 1 (1-2), 134-152, 1997	2748	1997
Timed automata: Semantics, algorithms and tools J Bengtsson, W Yi Advanced Course on Petri Nets, 87-124, 2003	1033	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	979	1995
Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006	444	2006
CCS+ time= an interleaving model for real time systems W Yi International Colloquium on Automata, Languages, and Programming, 217-228, 1991	281	1991
Model-checking for real-time systems KG Larsen, P Pettersson, W Yi International Symposium on Fundamentals of Computation Theory, 62-88, 1995	254	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	237	2003
Automatic verification of real-time communicating systems by constraint-solving W Yi, P Pettersson, M Daniels Formal Description Techniques VII, 243-258, 1995	235	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	200	1997
Task automata: Schedulability, decidability and undecidability E Fersman, P Krcal, P Pettersson, W Yi Information and Computation 205 (8), 1149-1172, 2007	195	2007
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	193	2009
Probabilistic extensions of process algebras B Jonsson, W Yi, KG Larsen Handbook of process algebra, 685-710, 2001	185	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	185	1998
Compositional and Symbolic Model Checking of Real-time System KG Larsen, P Pettersson, W Yi Proc. RTSS 95, 1995	181	1995
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	168	2002
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	168	1999
Testing probabilistic and nondeterministic processes W Yi, KG Larsen Protocol Specification, Testing and Verification, XII, 47-61, 1992	166	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	165	2002
Partial order reductions for timed systems J Bengtsson, B Jonsson, J Lilius, W Yi International Conference on Concurrency Theory, 485-500, 1998	160	1998

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Carica PDF

Segui questo autore

Citata da

Coautori