navigation
search
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
vv-lab:publications [2020/01/14 18:12] egm [Ph.D. Dissertations] |
vv-lab:publications [2020/01/14 18:17] egm [M.S. Theses] |
||
|---|---|---|---|
| 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. | + | * 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. | ||
| ==M.S. Theses== | ==M.S. Theses== | ||
| + | * Jane Ostegar Linn. [https://scholarsarchive.byu.edu/etd/6666/ A Coverage Metric to Aid in Testing Multi-Agent Systems]. Brigham Young University, 2017. | ||
| + | * Blake Johnson. [https://scholarsarchive.byu.edu/etd/5722/ Enabling Optimizations Through Demodularization]. Brigham Young University, 2016. | ||
| + | * Radha Nakade. [https://scholarsarchive.byu.edu/etd/6176/ Verification of Task Parallel Programs Using Predictive Analysis]. Brigham Young University, 2016. | ||
| * Eric Noonan. [http://scholarsarchive.byu.edu/etd/4147/ Slice-N-Dice Algorithm Implementation in JPF], Brigham Young University, 2014. | * Eric Noonan. [http://scholarsarchive.byu.edu/etd/4147/ Slice-N-Dice Algorithm Implementation in JPF], Brigham Young University, 2014. | ||
| * Saint Wesonga. [http://contentdm.lib.byu.edu/cdm/ref/collection/ETD/id/3430 Javalite - An Operational Semantics for Modeling Java Programs], Brigham Young University, 2012. | * Saint Wesonga. [http://contentdm.lib.byu.edu/cdm/ref/collection/ETD/id/3430 Javalite - An Operational Semantics for Modeling Java Programs], Brigham Young University, 2012. | ||
