|
Department of Computer Science
|
University of Colorado Boulder
|
|
|
|
|
|
|
|
|
home · the department · publications · theses ·
|
| |
Theses Advised by Alexander Wolf |
| |
| | Cook, Jonathan Edwin
PhD 1996 | Process discovery and validation through event-data analysis |
| | Doppke, John Clark
MS 1996 | Software process modeling and execution within virtual environments |
| | Hollis, Michael William
MS 1997 | Adding licensing and access control to an Internet accessible software release management tool |
| | Hall, Richard Scott
PhD 1999 | Agent-based software configuration and deployment |
| | Smith, Robert Arthur
MS 1999 | Analysis and design for a next generation software release management system |
| | Turner, Carlton Reid
PhD 1999 | Feature engineering of software systems |
| | Humphries, Thorna Olivia
PhD 2000 | An infrastructure to generate experimental workloads for persistent object system performance evaluation |
| | Stafford, Judith Alyce
PhD 2000 | A formal, language-independent, and compositional approach to interprocedural control dependence analysis |
| | Van Der Hoek, Adriaan Willem
PhD 2000 | A reusable, distributed repository for configuration management policy programming |
| | Reese, William David
PhD 2001 | An investigation of techniques for integrating Web-accessible data |
| | Rutherford, Matthew John
MS 2001 | EJB-ARK: Enterprise JavaBean automatic reconfiguration framework |
| | Corliss, Christopher Ray
MS 2002 | Using the structure of XML to generate notifications and subscriptions in SIENA |
| | Arshad, Naveed
MS 2003 | Dynamic reconfiguration of software systems using temporal planning |
| | Hall, Cyrus Parker
MS 2004 | A conent-based networking protocol for sensor networks |
| | Ryan, Nathan Derrek
PhD 2004 | Using event-based translation to support dynamic protocol evolution |
| | Arshad, Naveed
PhD 2006 | A planning-based approach to failure recovery in distributed systems |
| | Rutherford, Matthew John
PhD 2006 | Adequate system-level testing of distributed systems |
| | Wang, Yanyan
PhD 2006 | Automating experimentation with distributed systems using generative techniques |
|
|
|
|
|
|
|
|
| |
