Yin Wang

According to our database, Yin Wang authored at least 34 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Erratum to: Diagnosis of discrete event systems using decentralized architectures.

Yin Wang, Tae-Sic Yoo, Stéphane Lafortune

Discret. Event Dyn. Syst., 2015

Mining Large-Scale GPS Streams for Connectivity Refinement of Road Maps.

Yanmin Zhu, Yin Wang, George Forman, Hong Wei

Comput. J., 2015

2013

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.

Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke

IEEE Trans. Control. Syst. Technol., 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, Scott A. Mahlke

IEEE Trans. Autom. Control., 2013

Pervasive Urban Sensing with Large-Scale Mobile Probe Vehicles.

Yanmin Zhu, Xuemei Liu, Yin Wang

Int. J. Distributed Sens. Networks, 2013

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

Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis

Discret. Event Dyn. Syst., 2013

CrowdAtlas: self-updating maps for cloud and personal use.

Yin Wang, Xuemei Liu, Hong Wei, George Forman, Yanmin Zhu

Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

CrowdAtlas: self-updating maps for cloud and personal use.

Yin Wang, Xuemei Liu, Hong Wei, George Forman, Chao Chen, Yanmin Zhu

Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

Point-polygon topological relationship query using hierarchical indices.

Tianyu Zhou, Hong Wei, Heng Zhang, Yin Wang, Yanmin Zhu, Haibing Guan, Haibo Chen

Proceedings of the 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2013

Map matching: comparison of approaches using sparse and noisy data.

Hong Wei, Yin Wang, George Forman, Yanmin Zhu

Proceedings of the 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2013

Mining large-scale gps streams for connectivity refinement of road maps.

Yin Wang, Hong Wei, George Forman

Proceedings of the 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2013

Practical lock/unlock pairing for concurrent programs.

Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets.

Stéphane Lafortune, Yin Wang, Spyros A. Reveliotis

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Explicit storage and analysis of billions of states using commodity computers.

Yin Wang, Jason Stanley, Stéphane Lafortune

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Mining large-scale, sparse GPS traces for map inference: comparison of approaches.

Xuemei Liu, James Biagioni, Jakob Eriksson, Yin Wang, George Forman, Yanmin Zhu

Proceedings of the 18th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2012

Fast Viterbi map matching with tunable weight functions.

Hong Wei, Yin Wang, George Forman, Yanmin Zhu, Haibing Guan

Proceedings of the SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), 2012

On atomicity enforcement in concurrent software via Discrete Event Systems theory.

Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

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, Stéphane Lafortune

IEEE Trans. Autom. Control., 2011

On the Optimal Petri Net Representation for Service Composition.

Yin Wang, Ahmed Nazeem, Ram Swaminathan

Proceedings of the IEEE International Conference on Web Services, 2011

Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets.

Hongwei Liao, Jason Stanley, Yin Wang, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Supervisory control of software execution for failure avoidance: Experience from the Gadara project.

Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Optimal deadlock avoidance for complex resource allocation systems through classification theory.

Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

A Language-Based Framework for Analyzing Service Representation Models and Service Composition Approaches.

Yin Wang, Hamid Reza Motahari-Nezhad, Sharad Singhal

Proceedings of the IEEE 7th International Conference on e-Business Engineering, 2010

Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets.

Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Eliminating Concurrency Bugs with Control Engineering.

Terence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke

Computer, 2009

The theory of deadlock avoidance via discrete control.

Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.

Yin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).

Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008

Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.

Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2007

Diagnosis of Discrete Event Systems Using Decentralized Architectures.

Yin Wang, Tae-Sic Yoo, Stéphane Lafortune

Discret. Event Dyn. Syst., 2007

Proportional-Share Scheduling for Distributed Storage Systems.

Yin Wang, Arif Merchant

Proceedings of the 5th USENIX Conference on File and Storage Technologies, 2007

Discrete control for safe execution of IT automation workflows.

Yin Wang, Terence Kelly, Stéphane Lafortune

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2006

Discrete Control for Dependable IT Automation.

Yin Wang, Terence Kelly, Stéphane Lafortune

Proceedings of the Second Workshop on Hot Topics in System Dependability, 2006

2005

Decentralized Diagnosis of Discrete Event Systems using Unconditional and Conditional Decisions.

Yin Wang, Tae-Sic Yoo, Stéphane Lafortune

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005