default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYu Yang 0013
Person information
- affiliation (PhD 2009): University of Utah, USA
Other persons with the same name
- Yu Yang — disambiguation page
- Yu Yang 0001
![[0000-0002-8209-2898]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-8209-2898")
— City University of Hong Kong, School of Data Science, Hong Kong (and 2 more) - Yu Yang 0002 — Xiamen University, Fujian Provincial Key Laboratory of Plasma and Magnetic Resonance, China
- Yu Yang 0003 — California State University Long Beach, Department of Chemical Engineering, CA, USA
- Yu Yang 0004 — Beijing Institute of Technology, School of Mechatronical Engineering, China
- Yu Yang 0005 — Beijing University of Posts and Telecommunications, Information Security Center, China
- Yu Yang 0006 — Harbin Institute of Technology, Institute of Electrohydraulic Servo Simulation and Test System, China
- Yu Yang 0007 — University of California, Los Angeles (UCLA), CA, USA
- Yu Yang 0008 — Berkeley Education Alliance for Research in Singapore, SinBerBEST
- Yu Yang 0009 — Hunan University, State Key Laboratory of Advanced Design and Manufacturing for Vehicle Body, Changsha, China
- Yu Yang 0010 — Lehigh University, Bethlehem, PA, USA (and 1 more)
- Yu Yang 0011 — Tsinghua Unversity, Beijing, China
- Yu Yang 0012 — The Hong Kong Polytechnic University, Department of Computing, Hong Kong, China
- Yu Yang 0014 — University of Florida, Gainesville, FL, USA (and 1 more)
- Yu Yang 0015 — Tsinghua University, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
[j3]Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou:
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols. Formal Methods Syst. Des. 36(1): 37-64 (2010)- [j2]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Distributed dynamic partial order reduction. Int. J. Softw. Tools Technol. Transf. 12(2): 113-122 (2010)
2000 – 2009
- 2009
- [b1]Yu Yang:
Efficient Dynamic Verification of Concurrent Programs. University of Utah, USA, 2009 - [j1]Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan:
Parallel and distributed model checking in Eddy. Int. J. Softw. Tools Technol. Transf. 11(1): 13-25 (2009) - [c11]Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni:
Some resources for teaching concurrency. PADTAD 2009 - [c10]Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang:
Symbolic pruning of concurrent program executions. ESEC/SIGSOFT FSE 2009: 23-32 - [c9]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang:
Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. SPIN 2009: 279-295 - 2008
- [c8]Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan:
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ATVA 2008: 126-140 - [c7]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305 - 2007
- [c6]Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta:
Fast and Accurate Static Data-Race Detection for Concurrent Programs. CAV 2007: 226-239 - [c5]Xiaofang Chen, Yu Yang, Michael Delisi, Ganesh Gopalakrishnan, Ching-Tsun Chou:
Hierarchical cache coherence protocol verification one level at a time through assume guarantee. HLDVT 2007: 107-114 - [c4]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75 - 2006
- [c3]Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou:
Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. FMCAD 2006: 81-88 - [c2]Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan:
Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125 - 2005
- [c1]Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby:
Gauss: A Framework for Verifying Scientific Computing Software. SoftMC@CAV 2005: 95-106
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 21:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
