Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Wang Yi | Researchclopedia

Back to researchers

Wang Yi

Southwest University ORCID

293

Works

10,524

Citations

48

h-index

131

i10-index

Research Topics

Real-Time Systems Scheduling Embedded Systems Design Techniques Formal Methods in Verification

Affiliations

University of Southern California2012–2012

Uppsala University1994–2025

University of Science and Technology of China2009–2009

Hubei University of Medicine2025–2025

Information Technology University2014–2016

Top Works

Uppaal in a nutshell

Kim G. Larsen,Paul Pettersson,et al.

19972,138 citations

Parallel Computing and Optimization Techniques

Distributed systems and fault tolerance

UPPAAL — a tool suite for automatic verification of real-time systems

Johan Bengtsson,Kim G. Larsen,et al.

1996739 citations

Timed Automata: Semantics, Algorithms and Tools

Johan Bengtsson,Wang Yi

2004709 citations

CCS + time = an interleaving model for real time systems

1991239 citations

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems

Tobias Amnell,Elena Fersman,et al.

2004205 citations

Model-checking for real-time systems

Kim G. Larsen,Paul Pettersson,et al.

1995196 citations

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

Kim G. Larsen,Fredrik Larsson,et al.

2002180 citations

Compositional and symbolic model-checking of real-time systems

Kim G. Larsen,Paul Pettersson,et al.

2002162 citations

Efficient Timed Reachability Analysis Using Clock Difference Diagrams

Gerd Behrmann,Kim G. Larsen,et al.

1999159 citations