dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Yu Yang (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed dynamic partial order reduction. STTT 12(2): 113-122 (2010)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and distributed model checking in Eddy. STTT 11(1): 13-25 (2009)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby: Gauss: A Framework for Verifying Scientific Computing Software. Electr. Notes Theor. Comput. Sci. 144(3): 95-106 (2006)

Selection of 6 from 54 records - Yu Yang has 108 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page