Wang Yi - Concepedia

Author

Wang Yi

Uppsala University ORCID

Also Known As

W. Yi, Wang Yi, Wang, Yi, Yi (Owen) Wang, Yi Wang, Yi Wang -, Yi, Wang

292

Publications

10.5K

Citations

H-Index

191

Concepts

All Affiliations

Uppsala University Northeastern University Hong Kong Polytechnic University Aalborg University McGill University

About

Wang Yi is an author at Uppsala University specializing in engineering, systems engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	36	89	4K
2	Business	4	4	92
3	Health Sciences	2	2	83
4	Education	1	1	67
5	Language Studies	1	1	34

Wang Yi

Publications

6.3K

Citations

H-Index

Page 1

	Year	Citations
Uppaal in a nutshell Kim G. Larsen, Paul Pettersson, Wang Yi International Journal on Software Tools for Technology Transfer Educational EntertainmentMashup (Music)Communication	1997	2.1K
Efficient verification of real-time systems: compact data structure and state-space reduction Kim G. Larsen, Fredrik Larsson, Paul Pettersson, EngineeringReachability ProblemVerificationComputer-aided VerificationComputational Complexity	2002	180
Compositional and symbolic model-checking of real-time systems Kim G. Larsen, Paul Pettersson, Wang Yi EngineeringVerificationComputer-aided VerificationModel CheckingModel Verification	2002	162
New Response Time Bounds for Fixed Priority Multiprocessor Scheduling Nan Guan, Martin Stigge, Wang Yi, EngineeringProgram AnalysisReal-time Multiprocessor SystemParallel Performance EvaluationMultiprocessor Schedulability Analysis	2009	152
The Digraph Real-Time Task Model Martin Stigge, Pontus Ekberg, Nan Guan, Artificial IntelligenceEngineeringSoftware EngineeringIntelligent SystemsSoftware Analysis	2011	149
Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks Pontus Ekberg, Wang Yi EngineeringTask AnalysisComputer ArchitecturePaper AwardSocial Sciences	2012	127
Building timing predictable embedded systems Philip Axer, Rolf Ernst, Heiko Falk, ACM Transactions on Embedded Computing Systems EngineeringSoftware SystemsComputer ArchitectureSystem-level DesignEmbedded Systems	2014	127
Cache-aware scheduling and analysis for multicores Nan Guan, Martin Stigge, Wang Yi, Cluster ComputingEngineeringComputer ArchitectureEmbedded SystemsHardware Security	2009	123
Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems Nan Guan, Pontus Ekberg, Martin Stigge, EngineeringVerificationComputer ArchitectureSystem-level DesignIntelligent Systems	2011	113
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems Pontus Ekberg, Wang Yi Real-Time Systems Behavioral SciencesCognitive ScienceEngineeringMixed CriticalityTask Analysis	2013	111

Page 1