Concepedia

Yin Wang

YW

3

Publications

89

Citations

3

H-Index

2007

Active since

Affiliations

Hewlett-Packard (United States)(Current)

University of Michigan

Georgia Institute of Technology

Yin Wang is an author at Hewlett-Packard (United States) specializing in system software, software maintenance, and systems engineering.

ORCID

Top concepts

Publications per year

2007–2012

3

Publications

3

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

Hongwei Liao, Yin Wang, Hyoun Kyu Cho et al. · Discrete Event Dynamic Systems · 2012 · 42 citations

, , +17

Discrete control for safe execution of IT automation workflows

Yin Wang, Terence Kelly, Stéphane Lafortune · 2007 · 26 citations

, , +22

Supervisory Control of Software Execution for Failure Avoidance: Experience from the Gadara Project

Yin Wang, Hyoun Kyu Cho, Hongwei Liao et al. · IFAC Proceedings Volumes · 2010 · 21 citations

, , +18

Rows per page

1–3 of 3