Decentralized Diagnosis of Discrete Event Systems using Unconditional and Conditional Decisions. - Yin Wang 001; Tae-Sic Yoo; Stéphane Lafortune (CDC/ECC, 2005)

Discrete Control for Dependable IT Automation. - Yin Wang 001; Terence Kelly; Stéphane Lafortune (HotDep, 2006)

Discrete control for safe execution of IT automation workflows. - Yin Wang 001; Terence Kelly; Stéphane Lafortune (EuroSys, 2007)

Proportional-Share Scheduling for Distributed Storage Systems. - Yin Wang 001; Arif Merchant (FAST, 2007)

Diagnosis of Discrete Event Systems Using Decentralized Architectures. - Yin Wang 001; Tae-Sic Yoo; Stéphane Lafortune (Discret. Event Dyn. Syst., 2007)

Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. - Yin Wang 001; Terence Kelly; Manjunath Kudlur; Stéphane Lafortune; Scott A. Mahlke (OSDI, 2008)

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). - Yin Wang 001; Hongwei Liao; Ahmed Nazeem; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke; Stéphane Lafortune (CASE, 2009)

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. - Yin Wang 001; Hongwei Liao; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke; Stéphane Lafortune (CDC, 2009)

The theory of deadlock avoidance via discrete control. - Yin Wang 001; Stéphane Lafortune; Terence Kelly; Manjunath Kudlur; Scott A. Mahlke (POPL, 2009)

Eliminating Concurrency Bugs with Control Engineering. - Terence Kelly; Yin Wang 001; Stéphane Lafortune; Scott A. Mahlke (Computer, 2009)

Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets. - Hongwei Liao; Stéphane Lafortune; Spyros A. Reveliotis; Yin Wang 001; Scott A. Mahlke (CDC, 2010)

A Language-Based Framework for Analyzing Service Representation Models and Service Composition Approaches. - Yin Wang 001; Hamid Reza Motahari-Nezhad; Sharad Singhal (ICEBE, 2010)

Optimal deadlock avoidance for complex resource allocation systems through classification theory. - Ahmed Nazeem; Spyros A. Reveliotis; Yin Wang 001; Stéphane Lafortune (WODES, 2010)

Supervisory control of software execution for failure avoidance: Experience from the Gadara project. - Yin Wang 001; Hyoun Kyu Cho; Hongwei Liao; Ahmed Nazeem; Terence Kelly; Stéphane Lafortune; Scott A. Mahlke; Spyros A. Reveliotis (WODES, 2010)

Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. - Hongwei Liao; Jason Stanley; Yin Wang 001; Stéphane Lafortune; Spyros A. Reveliotis; Scott A. Mahlke (CDC/ECC, 2011)

On the Optimal Petri Net Representation for Service Composition. - Yin Wang 001; Ahmed Nazeem; Ram Swaminathan (ICWS, 2011)

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case. - Ahmed Nazeem; Spyros A. Reveliotis; Yin Wang 001; Stéphane Lafortune (IEEE Trans. Autom. Control., 2011)

On atomicity enforcement in concurrent software via Discrete Event Systems theory. - Yin Wang 001; Peng Liu 010; Terence Kelly; Stéphane Lafortune; Spyros A. Reveliotis; Charles Zhang (CDC, 2012)

Fast Viterbi map matching with tunable weight functions. - Hong Wei; Yin Wang 001; George Forman; Yanmin Zhu 006; Haibing Guan (SIGSPATIAL/GIS, 2012)

Mining large-scale, sparse GPS traces for map inference: comparison of approaches. - Xuemei Liu; James Biagioni; Jakob Eriksson; Yin Wang 001; George Forman; Yanmin Zhu 006 (KDD, 2012)

Explicit storage and analysis of billions of states using commodity computers. - Yin Wang 001; Jason Stanley; Stéphane Lafortune (WODES, 2012)

Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets. - Stéphane Lafortune; Yin Wang 001; Spyros A. Reveliotis (Petri Nets, 2013)

Practical lock/unlock pairing for concurrent programs. - Hyoun Kyu Cho; Terence Kelly; Yin Wang 001; Stéphane Lafortune; Hongwei Liao; Scott A. Mahlke (CGO, 2013)

Mining large-scale gps streams for connectivity refinement of road maps. - Yin Wang 001; Hong Wei; George Forman (SIGSPATIAL/GIS, 2013)

Map matching: comparison of approaches using sparse and noisy data. - Hong Wei; Yin Wang 001; George Forman; Yanmin Zhu 006 (SIGSPATIAL/GIS, 2013)

Point-polygon topological relationship query using hierarchical indices. - Tianyu Zhou; Hong Wei; Heng Zhang; Yin Wang 001; Yanmin Zhu 006; Haibing Guan; Haibo Chen 001 (SIGSPATIAL/GIS, 2013)

VGRIS: virtualized GPU resource isolation and scheduling in cloud gaming. - Miao Yu; Chao Zhang; Zhengwei Qi; Jianguo Yao; Yin Wang 001; Haibing Guan (HPDC, 2013)

An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs. - Rui Xin; Zhengwei Qi; Shiqiu Huang; Chengcheng Xiang; Yudi Zheng; Yin Wang 001; Haibing Guan (ICSM, 2013)

CrowdAtlas: self-updating maps for cloud and personal use. - Yin Wang 001; Xuemei Liu; Hong Wei; George Forman; Chao Chen; Yanmin Zhu 006 (MobiSys, 2013)

CrowdAtlas: self-updating maps for cloud and personal use. - Yin Wang 001; Xuemei Liu; Hong Wei; George Forman; Yanmin Zhu 006 (MobiSys, 2013)

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. - Hongwei Liao; Yin Wang 001; Hyoun Kyu Cho; Jason Stanley; Terence Kelly; Stéphane Lafortune; Scott A. Mahlke; Spyros A. Reveliotis (Discret. Event Dyn. Syst., 2013)

Pervasive Urban Sensing with Large-Scale Mobile Probe Vehicles. - Yanmin Zhu 006; Xuemei Liu; Yin Wang 001 (Int. J. Distributed Sens. Networks, 2013)

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software. - Hongwei Liao; Stéphane Lafortune; Spyros A. Reveliotis; Yin Wang 001; Scott A. Mahlke (IEEE Trans. Autom. Control., 2013)

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. - Hongwei Liao; Yin Wang 001; Jason Stanley; Stéphane Lafortune; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke (IEEE Trans. Control. Syst. Technol., 2013)

Greedy map generalization by iterative point removal. - Yanzhe Chen; Yin Wang 001; Rong Chen 001; Haibo Chen 001; Binyu Zang (SIGSPATIAL/GIS, 2014)

Mining Large-Scale GPS Streams for Connectivity Refinement of Road Maps. - Yanmin Zhu 006; Yin Wang 001; George Forman; Hong Wei (Comput. J., 2015)

Erratum to: Diagnosis of discrete event systems using decentralized architectures. - Yin Wang 001; Tae-Sic Yoo; Stéphane Lafortune (Discret. Event Dyn. Syst., 2015)