Yin Wang - RankMe

37 papers A* 3A 7B 1Journal 9Unranked 17

Year	Rank	Type	Title / Venue / Authors
2015	J	`jnl`	Erratum to: Diagnosis of discrete event systems using decentralized architectures. Discret. Event Dyn. Syst. Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
2015	J	`jnl`	Mining Large-Scale GPS Streams for Connectivity Refinement of Road Maps. Comput. J. Yanmin Zhu, Yin Wang, George Forman, Hong Wei
2014	—	`conf`	Greedy map generalization by iterative point removal. SIGSPATIAL/GIS Yanzhe Chen, Yin Wang, Rong Chen, Haibo Chen, Binyu Zang
2013	—	`conf`	An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs. ICSM Rui Xin, Zhengwei Qi, Shiqiu Huang, Chengcheng Xiang, Yudi Zheng, Yin Wang, Haibing Guan
2013	J	`jnl`	Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discret. Event Dyn. Syst. Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
2013	A	`conf`	CrowdAtlas: self-updating maps for cloud and personal use. MobiSys Yin Wang, Xuemei Liu, Hong Wei, George Forman, Chao Chen, Yanmin Zhu
2013	A	`conf`	CrowdAtlas: self-updating maps for cloud and personal use. MobiSys Yin Wang, Xuemei Liu, Hong Wei, George Forman, Yanmin Zhu
2013	J	`jnl`	Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. IEEE Trans. Control. Syst. Technol. Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke
2013	B	`conf`	Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets. Petri Nets Stéphane Lafortune, Yin Wang, Spyros A. Reveliotis
2013	—	`conf`	Map matching: comparison of approaches using sparse and noisy data. SIGSPATIAL/GIS Hong Wei, Yin Wang, George Forman, Yanmin Zhu
2013	—	`conf`	Mining large-scale gps streams for connectivity refinement of road maps. SIGSPATIAL/GIS Yin Wang, Hong Wei, George Forman
2013	J	`jnl`	Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software. IEEE Trans. Autom. Control. Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke
2013	J	`jnl`	Pervasive Urban Sensing with Large-Scale Mobile Probe Vehicles. Int. J. Distributed Sens. Networks Yanmin Zhu, Xuemei Liu, Yin Wang
2013	—	`conf`	Point-polygon topological relationship query using hierarchical indices. SIGSPATIAL/GIS Tianyu Zhou, Hong Wei, Heng Zhang, Yin Wang, Yanmin Zhu, Haibing Guan, Haibo Chen
2013	A	`conf`	Practical lock/unlock pairing for concurrent programs. CGO Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke
2013	A	`conf`	VGRIS: virtualized GPU resource isolation and scheduling in cloud gaming. HPDC Miao Yu, Chao Zhang, Zhengwei Qi, Jianguo Yao, Yin Wang, Haibing Guan
2012	—	`conf`	Explicit storage and analysis of billions of states using commodity computers. WODES Yin Wang, Jason Stanley, Stéphane Lafortune
2012	—	`conf`	Fast Viterbi map matching with tunable weight functions. SIGSPATIAL/GIS Hong Wei, Yin Wang, George Forman, Yanmin Zhu, Haibing Guan
2012	A*	`conf`	Mining large-scale, sparse GPS traces for map inference: comparison of approaches. KDD Xuemei Liu, James Biagioni, Jakob Eriksson, Yin Wang, George Forman, Yanmin Zhu
2012	—	`conf`	On atomicity enforcement in concurrent software via Discrete Event Systems theory. CDC Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang
2011	—	`conf`	Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. CDC/ECC Hongwei Liao, Jason Stanley, Yin Wang, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke
2011	J	`jnl`	Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case. IEEE Trans. Autom. Control. Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune
2011	A	`conf`	On the Optimal Petri Net Representation for Service Composition. ICWS Yin Wang, Ahmed Nazeem, Ram Swaminathan
2010	—	`conf`	A Language-Based Framework for Analyzing Service Representation Models and Service Composition Approaches. ICEBE Yin Wang, Hamid Reza Motahari-Nezhad, Sharad Singhal
2010	—	`conf`	Optimal deadlock avoidance for complex resource allocation systems through classification theory. WODES Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune
2010	—	`conf`	Supervisory control of software execution for failure avoidance: Experience from the Gadara project. WODES Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
2010	—	`conf`	Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets. CDC Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke
2009	J	`jnl`	Eliminating Concurrency Bugs with Control Engineering. Computer Terence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke
2009	—	`conf`	Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. CDC Yin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
2009	—	`conf`	Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). CASE Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
2009	A*	`conf`	The theory of deadlock avoidance via discrete control. POPL Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke
2008	A*	`conf`	Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. OSDI Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke
2007	J	`jnl`	Diagnosis of Discrete Event Systems Using Decentralized Architectures. Discret. Event Dyn. Syst. Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
2007	A	`conf`	Discrete control for safe execution of IT automation workflows. EuroSys Yin Wang, Terence Kelly, Stéphane Lafortune
2007	A	`conf`	Proportional-Share Scheduling for Distributed Storage Systems. FAST Yin Wang, Arif Merchant
2006	—	`conf`	Discrete Control for Dependable IT Automation. HotDep Yin Wang, Terence Kelly, Stéphane Lafortune
2005	—	`conf`	Decentralized Diagnosis of Discrete Event Systems using Unconditional and Conditional Decisions. CDC/ECC Yin Wang, Tae-Sic Yoo, Stéphane Lafortune