Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
vv-lab:publications [2020/01/14 18:10]
egm [Workshop Papers]
vv-lab:publications [2020/01/14 18:13]
egm [Ph.D. Dissertations]
Line 66: Line 66:
 * M. D. Jones, E. G. Mercer, T. Bao and R. Kumar and P. Lamborn. "​[http://​www.sciencedirect.com/​science?​_ob=ArticleURL&​_udi=B75H1-4G7MXP0-8&​_user=456938&​_coverDate=09/​30/​2003&​_rdoc=1&​_fmt=high&​_orig=search&​_origin=search&​_sort=d&​_docanchor=&​view=c&​_searchStrId=1454939488&​_rerunOrigin=google&​_acct=C000021830&​_version=1&​_urlVersion=0&​_userid=456938&​md5=f025d3c31882b50522d453e99b0d8f68&​searchtype=a Benchmarking Explicit State Parallel Model Checkers],"​ ''​Parallel and Distributed Model Checking'',​ Boulder, Colorado, July 2003. * M. D. Jones, E. G. Mercer, T. Bao and R. Kumar and P. Lamborn. "​[http://​www.sciencedirect.com/​science?​_ob=ArticleURL&​_udi=B75H1-4G7MXP0-8&​_user=456938&​_coverDate=09/​30/​2003&​_rdoc=1&​_fmt=high&​_orig=search&​_origin=search&​_sort=d&​_docanchor=&​view=c&​_searchStrId=1454939488&​_rerunOrigin=google&​_acct=C000021830&​_version=1&​_urlVersion=0&​_userid=456938&​md5=f025d3c31882b50522d453e99b0d8f68&​searchtype=a Benchmarking Explicit State Parallel Model Checkers],"​ ''​Parallel and Distributed Model Checking'',​ Boulder, Colorado, July 2003.
 ==Ph.D. Dissertations== ==Ph.D. Dissertations==
 +* Yu Huang. [https://​scholarsarchive.byu.edu/​etd/​5865/​ An Analyzer for Message Passing Programs]. Brigham Young University, 2016.
 * Neha Rungta. [http://​contentdm.lib.byu.edu/​ETD/​image/​etd3175.pdf Guided Testing for Automatic Error Discovery in Concurrent Software]. ​ Brigham Young University, 2009. * Neha Rungta. [http://​contentdm.lib.byu.edu/​ETD/​image/​etd3175.pdf Guided Testing for Automatic Error Discovery in Concurrent Software]. ​ Brigham Young University, 2009.
 * Rahul Kumar. [http://​contentdm.lib.byu.edu/​ETD/​image/​etd2489.pdf Using Live Sequence Chart Specifications for Formal Verification of Systems]. Brigham Young University, 2008. * Rahul Kumar. [http://​contentdm.lib.byu.edu/​ETD/​image/​etd2489.pdf Using Live Sequence Chart Specifications for Formal Verification of Systems]. Brigham Young University, 2008.
vv-lab/publications.txt ยท Last modified: 2020/01/14 18:17 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0