Concepedia

Wang Yi

WY

98

Publications

6.3K

Citations

37

H-Index

1997

Active since

Affiliations

Uppsala University(Current)

Northeastern University

Hong Kong Polytechnic University

Aalborg University

McGill University

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

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringReal-time SystemsParallel ComputingComputer ArchitectureParallel ProgrammingFormal MethodsProgram Analysis

Publications per year

1997–2023

98

Publications

98

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.1K citations

Educational Entertainment, Mashup (Music), Communication

Efficient verification of real-time systems: compact data structure and state-space reduction

Kim G. Larsen, Fredrik Larsson, Paul Pettersson et al. · 2002 · 180 citations

Engineering, Reachability Problem, Verification +21

Compositional and symbolic model-checking of real-time systems

Kim G. Larsen, Paul Pettersson, Wang Yi · 2002 · 162 citations

Engineering, Verification, Computer-aided Verification +18

New Response Time Bounds for Fixed Priority Multiprocessor Scheduling

Nan Guan, Martin Stigge, Wang Yi et al. · 2009 · 152 citations

Engineering, Program Analysis, Real-time Multiprocessor System +15

The Digraph Real-Time Task Model

Martin Stigge, Pontus Ekberg, Nan Guan et al. · 2011 · 149 citations

Artificial Intelligence, Engineering, Software Engineering +24

Rows per page

1–5 of 98