TO
1 - 25 of 7
| Date | Author | Title | Department | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 | 2011-08 | Eldredge, Weston M. | Development, verification, and validation of the responsive boundary model for pool fire simulations | Chemical Engineering | dissertation |
| 2 |
 | 2011-08 | Pagariya, Rohit | Direct equivalence testing of embedded software | Computing | thesis |
| 3 |
 | 2013-12 | Duan, Jianjun | Formal verification of device drivers in embedded systems | Computing | dissertation |
| 4 |
 | 2010-12 | Thacker, Robert A | New verification method for embedded systems | Computing | dissertation |
| 5 |
 | 2011-08 | Vo, Anh | Scalable formal dynamic verification of MPI programs through distributed causality tracking | Computing | dissertation |
| 6 |
 | 2010 | Desai, Krishnaji | Symbolic asynchronous hardware protocol verification for compositions with relative timing | Electrical & Computer Engineering | thesis |
| 7 |
 | 2013-08 | Queiroz, Tiago Etiene | Towards the theory and practice of verifying visualizations | Computing | dissertation |
1 - 25 of 7