Wang Yi 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	17022	3860
h 指数	63	30
i10 指数	152	88

900

450

225

675

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202456 55 77 98 148 160 227 272 238 368 411 482 496 563 603 579 658 688 711 700 854 875 897 898 870 861 829 724 664 749 673 221

开放获取的出版物数量

查看全部

38 篇文章

27 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Paul PetterssonProfessor of Real-time Systems, Mälardalen University在 mdh.se 的电子邮件经过验证
Nan GuanCity University of Hong Kong在 cityu.edu.hk 的电子邮件经过验证
Kim G. LarsenDirector, Professor Aalborg University在 cs.aau.dk 的电子邮件经过验证
Martin StiggeResearcher, Uppsala University在 it.uu.se 的电子邮件经过验证
Mingsong LvNortheastern University, China在 cse.neu.edu.cn 的电子邮件经过验证
Pontus EkbergUppsala University在 it.uu.se 的电子邮件经过验证
Elena FersmanVP, Head of Global AI Accelerator at Ericsson, Adjunct Professor at Royal Institute of Technology在 ericsson.com 的电子邮件经过验证
Bengt JonssonProfessor of Computer Systems, Uppsala University在 it.uu.se 的电子邮件经过验证
Leonid MokrushinPrincipal Researcher at Ericsson AB在 ericsson.com 的电子邮件经过验证
Fanxin KongUniversity of Notre Dame在 nd.edu 的电子邮件经过验证
Christer NorströmAssociate Professor at KTH在 kth.se 的电子邮件经过验证
Justin PearsonIT Department, Uppsala University, Sweden在 it.uu.se 的电子邮件经过验证
Shengchao QinProfessor of Computer Science, Teesside University在 tees.ac.uk 的电子邮件经过验证
Sun JunProfessor of SCIS, SMU在 smu.edu.sg 的电子邮件经过验证
Jin Song DongProfessor of Computer Science, National University of Singapore在 nus.edu.sg 的电子邮件经过验证
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.在 cwi.nl 的电子邮件经过验证
Zonghua GuUmeå University在 umu.se 的电子邮件经过验证
Mats DanielsProfessor Computing Education Research, Uppsala在 it.uu.se 的电子邮件经过验证
Kai LampkaNxp Semiconductors, Docent @ TU Kaiserslautern (part-time)在 nxp.com 的电子邮件经过验证
Johan LiliusÅbo Akademi University在 abo.fi 的电子邮件经过验证

关注

Wang Yi

Professor of Embedded Systems, Uppsala University

在 it.uu.se 的电子邮件经过验证 - 首页

Computer Science Real-Time Systems Embedded Systems Formal Methods Verification


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
UPPAAL in a nutshell KG Larsen, P Pettersson, W Yi International journal on software tools for technology transfer 1, 134-152, 1997	3002	1997
Timed automata: Semantics, algorithms and tools J Bengtsson, W Yi Advanced Course on Petri Nets, 87-124, 2003	1211	2003
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	1172	1996
Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006	542	2006
CCS+ time= an interleaving model for real time systems W Yi International Colloquium on Automata, Languages, and Programming, 217-228, 1991	303	1991
Model-checking for real-time systems KG Larsen, P Pettersson, W Yi Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 1995	284	1995
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	268	2004
Real-time behaviour of asynchronous agents Y Wang CONCUR'90 Theories of Concurrency: Unification and Extension: Amsterdam, The …, 1990	268	1990
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	258	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	227	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	220	1997
Task automata: Schedulability, decidability and undecidability E Fersman, P Krcal, P Pettersson, W Yi Information and Computation 205 (8), 1149-1172, 2007	213	2007
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	202	1999
Compositional and Symbolic Model Checking of Real-time System KG Larsen, P Pettersson, W Yi Proc. RTSS 95, 1995	190	1995
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	185	2011
Probabilistic extensions of process algebras B Jonsson, W Yi, KG Larsen Handbook of process algebra, 685-710, 2001	185	2001
Partial order reductions for timed systems J Bengtsson, B Jonsson, J Lilius, W Yi CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998	185	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	184	2009
Testing probabilistic and nondeterministic processes W Yi, KG Larsen Protocol Specification, Testing and Verification, XII, 47-61, 1992	181	1992
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	179	1998

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用