PhD Dissertations in the Area of Software Engineering
This list is provided as a resource for PhD candidates, researchers, scientists, and engineers who are actively pursuing advanced research in Software Engineering.
PhD graduates are invited to submit information about their dissertations by using this form. The information they provide will be evaluated by our committee before being added to the list below.
Please observe that only completed dissertations will be accepted and that decisions about their acceptance for posting on the site are final. Furthermore, dissertations must be in English; for dissertations that are not available in English, an English-language publication that summarizes the results of the dissertation may be submitted instead.
Finally, observe that SIGSOFT is making this information available without warranty and assumes no responsibility for its accuracy. All information was provided on a voluntary basis. Any issues of copyright are the sole responsibility of the person submitting the information to SIGSOFT.
Those interested in PhD dissertations in the area of software engineering may also be interested in Tao Xie's Software Engineering Academic Genealogy.
Baishakhi Ray. Analysis of Cross-System Porting and Porting Errors in Software Projects. University of Texas at Austin (August 19, 2013, advisor: Miryung Kim). Abstract.
Tristan Ravitch. Inferred Interface Glue: Supporting Language Interoperability with Static Analysis. University of Wisconsin-Madison (August 20, 2013, advisor: Ben Liblit). Abstract.
Norbert Siegmund. Measuring and Predicting Non-Functional Properties of Customizable Programs. University of Magdeburg (November 27, 2012, advisor: Gunter Saake). Abstract.
Kai Pan. Constraint-based generation of database states for testing database applications. University of North Carolina at Charlotte (December 2012, advisor: Xintao Wu). Abstract.
Domenico Bianculli. Open-world software: Specification, verification, and beyond. Università della Svizzera italiana (July 18, 2012, advisor: Carlo Ghezzi). Abstract.
Taneja Kunal. Quality Assurance of Database Centric Applications. North Carolina State University (November 7, 2012, advisor: Tao Xie). Abstract.
Iman Saleh. The Formal Specification and Verification of Data-Centric Web Services. Virginia Tech (February 10, 2012, advisor: Gregory W. Kulczycki). Abstract.
Michael Pradel. Program Analyses for Automatic and Precise Error Detection. ETH Zurich, Department of Computer Science (December 2012, advisor: Thomas R. Gross). Abstract.
Cindy Rubio González. Finding Error-Propagation Bugs in Large Software Systems Using Static Analysis. University of Wisconsin Madison (August 2012, advisor: Ben Liblit). Abstract.
Piramanayagam Arumuga Nainar. Applications of Static Analysis and Program Structure in Statistical Debugging. University of Wisconsin - Madison (August 24, 2012, advisor: Ben Liblit). Abstract.
Aldeida Aleti. An Adaptive Approach to Controlling Parameters of Evolutionary Algorithms. Swinburne University of Technology (July 23, 2012, advisor: Lars Grunske). Abstract.
Pamela Bhattacharya. Quantitative decision-making in software engineering. University of California, Riverside (June 15, 2012, advisor: Iulian Neamtiu). Abstract.
Matthias Hert. RDF-based Read and Write Access to Relational Databases. University of Zurich (April 2012, advisor: Harald C. Gall). Abstract.
Ekwa Duala-Ekoko. Using Structure-Based Recommendations to Facilitate API Learnability. McGill University (May 2012, advisor: Martin Robillard). Abstract.
Indika Meedeniya. Architecture Optimisation of Embedded Systems under Uncertainty in Probabilistic Reliability Evaluation Model Parameters. Swinburne University of Technology (July 17, 2012, advisor: Lars Grunske and Irene Moser). Abstract.
Eugene Syriani. A Multi-Paradigm Foundation for Model Transformation Language Engineering. McGill University (February 4, 2011, advisor: Hans Vangheluwe). Abstract.
Mohammad AL Asswad. Semantic Information Systems Engineering: A Query-based Approach for Semi-automatic Annotation of Web Services. Brunel University (July 19, 2011, advisor: Mark Lycett). Abstract.
Catia Trubiani. Automated generation of architectural feedback from software performance analysis results. University of L'Aquila (April 18, 2011, advisor: Vittorio Cortellessa). Abstract.
Amine Chigani. Campus Situational Awareness and Emergency Response Management System. Virginia Polytechnic Institute & State University (May 14, 2011, advisor: Osman Balci). Abstract.
Anne Koziolek. Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes. Karlsruhe Institute of Technology (July 14, 2011, advisor: Ralf Reussner). Abstract.
Ridi Ferdiana. An extreme programming approach for global software development. Universitas Gadjah Mada (October 26, 2011, advisor: Lukito Edi Nughroho and Paulus Insap Santosa and Ahmad Ashari). Abstract.
Yi Huang. Contract-based Synchronization of Multi-threaded Java Programs. Michigan State University (December 16, 2011, advisor: Laura Dillon). Abstract.
Rahul Purandare. Exploiting Program and Property Structure for Efficient Runtime Monitoring. University of Nebraska (May 6, 2011, advisor: Matthew B. Dwyer). Abstract.
Jiangfan Shi. Use of constraint solving for testing software product lines. University of Nebraska (December 2011, advisor: Matthew B. Dwyer and Myra B. Cohen). Abstract.
Neil Harrison. Improving quality attributes of software systems through software architecture patterns. University of Groningen (April 18, 2011, advisor: Paris Avgeriou). Abstract.
Trosky Boris Callo Arias. Execution architecture views for evolving software-intensive systems. University of Groningen (June 17, 2011, advisor: Paris Avgeriou and Pierre America). Abstract.
Philip Langer. Adaptable Model Versioning based on Model Transformation By Demonstration. Vienna University of Technology (December 21, 2011, advisor: Gerti Kappel). Abstract.
Klaas-Jan Stol. Supporting Product Development with Software from the Bazaar. University of Limerick (December 1, 2011, advisor: Muhammad Ali Babar and Paris Avgeriou and Brian Fitzgerald). Abstract.
Ziyad Alshaikh. Notes on the Synthesis of Context: a novel approach to model context in software engineering. Australian National University (February 2011, advisor: Clive Boughton). Abstract.
Kiev Gama. Towards Dependable Dynamic Component-based Application. Universite de Grenoble (October 6, 2011, advisor: Didier Donsez). Abstract.
Arif Raza. A Usability Maturity Model for Open Source Software. University of Western Ontario (June 15, 2011, advisor: Luiz Fernando Capretz). Abstract.
Hugo Sereno Ferreira. Adaptive Object-Modeling: Patterns, Tools and Applications. University of Porto, Faculty of Engineering (May 27, 2011, advisor: Ademar Aguiar). Abstract.
Varun Gupta. Object-Oriented Static and Dynamic Software Metrics for Design and Complexity. National Institute of Technology, Kurukshetra, India (March 31, 2011, advisor: Jitender Kumar Chhabra). Abstract.
Soo Ling Lim. Social Networks and Collaborative Filtering for Large-Scale Requirements Elicitation. University of New South Wales (February 3, 2011, advisor: Anthony Finkelstein). Abstract.
William Tribbey. Construction and analysis of vector space models for use in aspect mining. Nova Southeastern University (April 2011, advisor: Frank Mitropoulos). Abstract.
Antonio Miguel Rosado da Cruz. Automatic Generation of User Interfaces from Rigorous Domain and Use Case Models. Universidade do Porto (September 17, 2010, advisor: Joao Pascoal Faria). Abstract.
Vinicius Garcia. RiSE Reference Model for Software Reuse Adoption in Brazilian Companies. Federal University of Pernambuco (February 26, 2010, advisor: Silvio Romero de Lemos Meira and Eduardo Santana de Almeida). Abstract.
Foutse Khomh. Patterns and Quality of Object-oriented Software Systems. University of Montreal (August 31, 2010, advisor: Yann-Gaël Guéhéneuc). Abstract.
Marco D'Ambros. On the Evolution of Source Code and Software Defects. University of Lugano (October 19, 2010, advisor: Michele Lanza). Abstract.
Suresh Thummalapenta. Improving Software Productivity and Quality via Mining Source Code. North Carolina State University (November 23, 2010, advisor: Tao Xie). Abstract.
Juncao Li. An Automata-Theoretic Approach to Hardware/Software Co-verification. Portland State University (December 10, 2010, advisor: Fei Xie). Abstract.
Paolo Di Benedetto. A Framework For Context Aware Adaptable Software Applications And Services. Università degli Studi di L'Aquila (July 9, 2010, advisor: Paola Inverardi). Abstract.
Toby Myers. The Foundations for a Scaleable Methodology for Systems Design. Griffith University (November 26, 2010, advisor: R. Geoff Dromey). Abstract.
Lukas Renggli. Dynamic Language Embedding With Homogeneous Tool Support. University of Bern (October 20, 2010, advisor: Oscar Nierstrasz). Abstract.
Rubén Mondéjar. Distributed AOP Middleware for Large-Scale Scenarios. Universitat Rovira i Virgili (April 29, 2010, advisor: Pedro García-López). Abstract.
David Röthlisberger. Augmenting IDEs with Runtime Information for Software Maintenance. University of Bern (June 4, 2010, advisor: Oscar Nierstrasz). Abstract.
Rangaswamy Selvarani. Design Quality Metrics in Object Oriented Software System. Jawaharlal Nehru Technological University, Hyderabad (February 8, 2010, advisor: T.R. Gopalakrishnan Nair). Abstract.
Bonita Sharif. Empirical Assessment of UML Class Diagram Layouts based on Architectural Importance. Kent State University (May 13, 2010, advisor: Jonathan I. Maletic). Abstract.
Michel dos Santos Soares. Architecture-Driven Integration of Modeling Languages for the Design of Software-Intensive Systems. Delft University of Technology (February 2010, advisor: Alexander Verbraeck). Abstract.
Angshu Maan Sen. Multiple Perspectives of Elicitation of Requirements in Goal Oriented Requirements Engineering: An Agile Technique of Elicitation. Assam University, Silchar (May 13, 2010, advisor: K. Hemachandran). Abstract.
Christian Murphy. Metamorphic Testing Techniques to Detect Defects in Applications without Test Oracles. Columbia University (05/2010, advisor: Gail Kaiser). Abstract.
Remco de Boer. Architectural Knowledge Management: Supporting Architects and Auditors. VU University Amsterdam (October 5, 2009, advisor: Hans van Vliet and Patricia Lago). Abstract.
Laura-Cecilia Rodriguez-Martinez. Design and Evaluation of a Software Systems Life Cycle Process Model in the Service-oriented Software Engineering Paradigm. Autonomous University of Aguascalientes (November 12, 2009, advisor: Manuel Mora). Abstract.
Angela Lozano. Assessing the effect of source code characteristics on changeability. Open University (December 17, 2009, advisor: Michel Wermelinger and Bashar Nuseibeh). Abstract.
Rui Abreu. Spectrum-based Fault Localization in Embedded Software. Delft University of Technology (2009, advisor: Arjan van Gemund). Abstract.
Bruno Cabral. A Transactional Model for Automatic Exception Handling. University of Coimbra (26 November, 2009, advisor: Paulo Marques). Abstract.
Mohammad Raunak. Resource Management In Complex and Dynamic Environments. University of Massachusetts Amherst (September 2009, advisor: Leon J. Osterweil). Abstract.
Jörg Rech. Context-sensitive Diagnosis of Quality Defects in Object-oriented Software Systems. University of Hildesheim (2009, advisor: Klaus-Dieter Althoff). Abstract.
Yingfei Xiong. A Language-based Approach to Model Synchronization in Software Engineering. The University of Tokyo (Sep, 2009, advisor: Zhenjiang Hu and Masato Takeichi). Abstract.
Justin Erenkrantz. Computational REST: A New Model for Decentralized, Internet-Scale Applications. University of California, Irvine (September 2009, advisor: Richard N. Taylor). Abstract.
Donna Malayeri. Coding Without Your Crystal Ball: Unanticipated Object-Oriented Reuse. Carnegie Mellon University (12/2009, advisor: Jonathan Aldrich). Abstract.
Georgios Gousios. Tools and Methods for Large Scale Software Engineering Research. Athens University of Economics and Business (4/7/2009, advisor: Diomidis Spinellis). Abstract.
Eduardo Figueiredo. Concern-Oriented Heuristic Assessment of Design Stability. Lancaster University (23 October 2009, advisor: Jon Whittle and Alessandro Garcia). Abstract.
Lingxiao Jiang. Scalable Detection of Similar Code: Techniques and Applications. University of California, Davis (2009, advisor: Zhendong Su). Abstract.
Travis Breaux. Legal Requirements Acquisition for the Specification of Legally Compliant Information Systems. North Carolina State University (April 2009, advisor: Annie Anton). Abstract.
Eric Bodden. Verifying finite-state properties of large-scale programs. McGill University (12/28/2009, advisor: Laurie Hendren). Abstract.
Sayyed Maisikeli. Aspect Mining Using Self-Organizing Maps With Method Level Dynamic Software Metrics as Input Vectors. Nova Southeastern University (June 2009, advisor: Frank Mitropoulos). Abstract.
Adam Kiezun. Effective Software Testing with a String-Constraint Solver. MIT (2009, advisor: Michael D. Ernst). Abstract.
Dennis Jeffrey. Dynamic State Alteration Techniques for Automatically Locating Software Errors. The University of California, Riverside (August 2009, advisor: Rajiv Gupta). Abstract.
Chanchal Roy. Detection and Analysis of Near-Miss Software Clones. Queen's University at Kingston ( August 31, 2009, advisor: James R. Cordy). Abstract.
Roberto Silva Filho. An Empirical Study of Publish/Subscribe Middleware Versatility. University of California, Irvine (August 2009, advisor: David F. Redmiles). Abstract.
Kevin Bierhoff. API Protocol Compliance in Object-Oriented Software. Carnegie Mellon University (5/17/2009, advisor: Jonathan Aldrich). Abstract.
Abbas Heydarnoori. Supporting Framework Use via Automatically Extracted Concept-Implementation Templates. University of Waterloo (April 27, 2009, advisor: Krzysztof Czarnecki). Abstract.
Mithun Acharya. Mining API Specifications from Source Code for Improving Software Reliability. North Carolina State University (April 27, 2009, advisor: Tao Xie). Abstract.
Nelio Cacho. Supporting Maintainable Exception Handling with Explicit Exception Channels. Lancaster University (15/01/2009, advisor: Alessandro Garcia). Abstract.
Thomas Zimmermann. Changes and Bugs Mining and Predicting Development Activities. Saarland University (May 26, 2008, advisor: Andreas Zeller). Abstract.
Chithralekha Thanasekaran. Agents with Two-Dimensional Language Autonomy for Task Delegation. Pondicherry University (8/12/2008, advisor: S. Kuppuswami). Abstract.
Lukasz Radlinski. Improved Software Project Risk Assessment Using Bayesian Nets. Queen Mary, University of London (30 Nov 2008, advisor: Norman Fenton). Abstract.
Till Bay. Hosting distributed software projects: concepts, framework, and the Origo experience. ETH Zurich (16.1.2008, advisor: Bertrand Meyer). Abstract.
Venkatasamy Prasanna Venkatesan. ARMMS- AN Architectural Reference Model for Multilingual Software. Pondicherry University (08-12-2008, advisor: S. Kuppuswami). Abstract.
Oksana Tkachuk. Domain-Specific Environment Generation for Modular Software Model Checking. Kansas State University (12-12-2008, advisor: Matthew B. Dwyer). Abstract.
Israel Herraiz. A statistical examination of the properties and evolution of libre software. Universidad Rey Juan Carlos (Oct. 2008, advisor: Jesus M. Gonzalez Barahona and Gregorio Robles). Abstract.
Marco Autili. Synthesis Of Distributed Adaptors To Enforce Temporal Properties Specified Through Graphical Scenarios. Università degli Studi dell'Aquila (April 2008, advisor: Paola Inverardi). Abstract.
Miryung Kim. Analyzing and Inferring the Structure of Code Changes. University of Washington (2008, advisor: David Notkin). Abstract.
Haroon Tarawneh. A Proposed Software Process Framework for Internet Development in Small Software Firms. The Arab Academy for Banking and Financial Sciences (2008, advisor: Asim El Sheikh). Abstract.
Cláudio Sant'Anna. On the Modularity of Aspect-Oriented Design: A Concern-Driven Measurement Approach. Pontifical Catholic University of Rio de Janeiro (PUC-Rio) (April 2008, advisor: Carlos Lucena and Alessandro Garcia). Abstract.
Faizan Javed. Techniques for Context-Free Grammar Induction and Applications. University of Alabama at Birmingham (05/03/2008, advisor: Barrett R. Bryant). Abstract.
Beat Fluri. Change Distilling - Enriching software evolution analysis with fine-grained source code change histories. University of Zurich (October 2008, advisor: Harald C. Gall). Abstract.
Suman Roychoudhury. Genaweave: A Generic Aspect Weaver Framework Based On Model-Driven Program Transformation. University of Alabama at Birmingham (08.09.2008, advisor: Jeff Gray). Abstract.
Sebastian Gonzalez. Programming in Ambience: Gearing Up for Dynamic Adaptation to Context. Université catholique de Louvain (24 October 2008, advisor: Prof. Kim Mens). Abstract.
Annabella Loconsole. Definition and validation of requirements management measures. Umeå University (25 Jan 2008, advisor: Jürgen Börstler). Abstract.
Bram Adams. Co-Evolution of Source Code and the Build System: Impact on the Introduction of AOSD in Legacy Systems. Ghent University (15/05/2008, advisor: Herman Tromp). Abstract.
Tom Van Custem. Ambient References: Object Designation in Mobile ad hoc Networks. Vrije Universiteit Brussel (May 23rd 2008, advisor: Wolfgang De Meuter). Abstract.
K.C. Shashidhar. Efficient Automatic Verification of Loop and Data-flow Transformations by Functional Equivalence Checking. Katholieke Universiteit Leuven (05/23/2008, advisor: Maurice Bruynooghe and Francky Catthoor). Abstract.
Christoph Csallner. Combining over- and under-approximating program analyses for automatic software testing. Georgia Tech (August 1, 2008, advisor: Yannis Smaragdakis). Abstract.
Dennis Wagelaar. Platform Ontologies for the Model-Driven Architecture. Vrije Universiteit Brussel (April 18th, 2008, advisor: Viviane Jonckers). Abstract.
Eugenio Capra. Software Design Quality and Development Effort: an Empirical Study on the Role of Governance in Open Source Projects. Politecnico di Milano (May 14th 2008, advisor: Chiara Francalanci). Abstract.
Oliver Hummel. Semantic Component Retrieval in Software Engineering. University of Mannheim (Mar, 11, 08, advisor: Colin Atkinson and Ivica Crnkovic). Abstract.
Vahe Poladian. Tailoring Configuration to User's Tasks under Uncertainty . Carnegie Mellon University (May 2008, advisor: David Garland and Mary Shaw). Abstract.
Jie Hu. Realistic Models for Scheduling Tasks on Network Nodes. University of California, Irvine (03/01/2008, advisor: Raymond Klefstad). Abstract.
Scott McMaster. A Context-Sensitive Coverage Criterion for Test Suite Reduction. University of Maryland, College Park (5/23/2008, advisor: Atif Memon). Abstract.
Shang-Wen Cheng. Cost-effective, Software Architecture-based Self-adaptation. Carnegie Mellon University (2008.05.18, advisor: David Garlan). Abstract.
Dean Sutherland. The Code of Many Colors: Semi-automated Reasoning About Multi-Thread Policy for Java. Carnegie Mellon University (May 2008, advisor: William L. Scherlis). Abstract.
Yuriy Brun. Self-Assembly for Discreet, Fault-Tolerant, and Scalable Computation on Internet-Sized Distributed Networks. University of Southern California (May 2008, advisor: Nenad Medvidovic). Abstract.
Erkki Laitila. Symbolic Analysis and Atomistic Model as a Basis for a Program Comprehension Methodology. Jyväskylä University, Finland (8.5.2008, advisor: Pekka Neittaanmäki). Abstract.
Genaína Nunes Rodrigues. A Model Driven Approach for Software Reliability Prediction. University College London (08-Feb-08, advisor: David S. Rosenblum). Abstract.
Charles B. Haley. Arguing Security: A Framework for Analyzing Security Requirements. The Open University (March 2007, advisor: Bashar Nuseibeh). Abstract.
Diego Garbervetsky. Parametric specifications of dynamic memory utilization. Universidad de Buenos Aires (November 15, 2007, advisor: Victor Braberman and Sergio Yovine). Abstract.
Davide Di Ruscio. Specification of Model Transformation and Weaving in Model Driven Engineering. University of L'Aquila (2007, advisor: Alfonso Pierantonio). Abstract.
Gerardo Padilla. A Test Profile Analysis Framework for Assessing the Reliability of Software Component Assemblies. Research Center in Mathematics, Mexico (2007, advisor: Carlos Montes de Oca). Abstract.
Joel Huselius. Reverse Engineering of Legacy Real-Time Systems: An Automated Approach Based on Execution-Time Recording. Mälardalens University (2007-06-14, advisor: Hans Hansson). Abstract.
Emily Navarro. SimSE: A Software Engineering Simulation Environment for Software Process Education. University of California, Irvine (2007, advisor: Andre van der Hoek). Abstract.
Charles Pairot. Design And Implementation Of A Wide-Area Middleware Infrastructure For The Development Of Distributed Applications In Structured Peer-To-Peer Environments. Universidad de Murcia (07/06/2007, advisor: Pedro García-López). Abstract.
Anita Sarma. Palantír: Enhancing Configuration Management Systems with Workspace Awareness to Detect and Resolve Emerging Conflicts. University of California, Irvine (December 2007, advisor: Andre van der Hoek). Abstract.
Xiaoqing Wu. Component-Based Language Implementation With Object-Oriented Syntax and Aspect-Oriented Semantics. University of Alabama at Birmingham (05/2007, advisor: Barrett R. Bryant). Abstract.
Shih-Hsi Liu. QOSPL: A Quality of Service-Driven Software Product Line Engineering Framework for Design and Analysis of Component-Based Distributed Real-Time and Embedded Systems. University of Alabama at Birmingham (2007, advisor: Barrett R. Bryant). Abstract.
Yuehua Lin. A Model Transformation Approach to Automated Model Evolution. University of Alabama at Birmingham (08/2007, advisor: Jeff Gray). Abstract.
Andy Kellens. Maintaining causality between design regularities and source code. Vrije Universiteit Brussel (2007, advisor: Theo D'Hondt). Abstract.
Lorenz Froihofer. Middleware Support for Adaptive Dependability through Explicit Runtime Integrity Constraints. Vienna University of Technology (2007-11-14, advisor: Mehdi Jazayeri). Abstract.
Ana Belén Barragáns Martínez. Formal Methodology for Specifying Software Systems in Multi-Perspective Environments. University of Vigo (7 September 2007, advisor: José J. Pazos Arias). Abstract.
Taweesup Apiwattanapong. Identifying testing requirements for modified software. Georgia Institute of Technology (August 2007, advisor: Mary Jean Harrold). Abstract.
Tallam Sriraman. Fault Location and Avoidance in Long-Running Multithreaded Applications. University of Arizona (Oct., 2007, advisor: Rajiv Gupta). Abstract.
Chris Mattmann. Software Connectors for Highly Distributed and Voluminous Data-Intensive Systems. University of Southern California (July 2007, advisor: Nenad Medvidovic). Abstract.
Jorge Luis Ortega-Arjona. Architectural Patterns for Parallel Programming. Models for Performance Estimation. University College London (May 31st, 2007, advisor: David S. Rosenblum). Abstract.
Carla Taciana Lima Lourenço Silva. Separating Crosscutting Concerns in Agent Oriented Detailed Design: The Social Patterns Case. Universidade Federal de Pernambuco (February 2007, advisor: Jaelson Castro). Abstract.
Fernando Schapachnik. Timed Automata Model Checking in Monoprocessor and Multiprocessor Architectures. University of Buenos Aires (October 2007, advisor: Víctor Braberman). Abstract.
Hyunsook Do. Accounting for Context and Lifetime Factors: A New Approach for Evaluating Regression Testing Techniques. University of Nebraska, Lincoln (May 2007, advisor: Gregg Rothermel). Abstract.
Josh Dehlinger. Incorporating product-line engineering techniques into agent-oriented software engineering for efficiently building safety-critical, multi-agent systems. Iowa State University (August 2007, advisor: Robyn R. Lutz). Abstract.
David Shepherd. Natural Language Program Analysis: Combining Natural Language Processing and Program Analysis to Improve Software Maintenance Tools. University of Delaware (August 2007, advisor: Lori Pollock and K. Vijay-Shanker). Abstract.
Arun Mukhija. CASA- A Framework for Dynamically Adaptive Applications. University of Zurich (December 2007, advisor: Martin Glinz). Abstract.
Jeremy Bradbury. Using Program Mutation for the Empirical Assessment of Fault Detection Techniques: A Comparison of Concurrency Testing and Model Checking. Queen's University (October 2007, advisor: and and Juergen Dingel). Abstract.
James Skene. Language Support for Service-Level Agreements for Application-Service Provision. University of London (November 2007, advisor: Wolfgang Emmerich). Abstract.
Jacek Ratzinger. sPACE - Software Project Assessment in the Course of Evolution. Vienna University of Technology (2007, advisor: Harald Gall). Abstract.
Nicola Zannone. A Requirements Engineering Methodology for Trust, Security, and Privacy. University of Trento (2007, advisor: Fabio Massacci). Abstract.
Vander Alves. Implementing Software Product Line Adoption Strategies. Federal University of Pernambuco (March 2007, advisor: Paulo Borba). Abstract.
Christian Lange. Assessing and Improving the Quality of Modeling - A Series of Empirical Studies about the UML. Eindhoven University of Technology (October 2007, advisor: Serge Demeyer and Mark van den Brand). Abstract.
Michael Fischer. EvoZilla - Longitudinal Evolution Analysis of Large Scale Software Systems. Technical University of Vienna (May 2007, advisor: Harald Gall). Abstract.
Nathaniel Nystrom. Programming Languages for Scalable Software Extension and Composition. Cornell University (January 2007, advisor: Andrew Myers). Abstract.
Manish Anand. Collaborative Power Management: Piercing Abstraction Barriers for Fast and Energy-Efficient Pervasive Data Access. University of Michigan (July 2007, advisor: Jason Flinn). Abstract.
Sara Sprenkle. Strategies for Automatically Exposing Faults in Web Applications. University of Delaware (August 2007, advisor: Lori Pollock). Abstract.
Stefan Wagner. Cost-Optimisation of Analytical Software Quality Assurance. Technische Universität München (April 2007, advisor: Manfred Broy). Abstract.
Cesar Sanchez. Deadlock Avoidance for Distributed Real-Time and Embedded Systems. Stanford University (June 2007, advisor: Zohar Manna). Abstract.
Teresa Mallardo. The Role Of Software Requirements Inspections In Distributed Development. University of Bari (May, 2007, advisor: Filippo Lanubile). Abstract.
Fabio Calefato. Supporting Synchronous Communication In Distributed Software Teams. University of Bari (May, 2007, advisor: Filippo Lanubile). Abstract.
Rakeshkumar Shukla. A Framework for Statistical Testing of Software Components. The University of Queensland (May 2007, advisor: Paul Strooper). Abstract.
Andrew Phillips. Specifying and Implementing Secure Mobile Applications in the Channel Ambient System. Imperial College (October 2006, advisor: Bashar Nuseibeh). Abstract.
Venkatesh-Prasad Ranganath. Scalable and Accurate Approaches to Program Dependence Analysis, Slicing, and Verification of Concurrent Object Oriented Programs. Kansas State University (12/2006, advisor: John Hatcliff). Abstract.
Wei Zhao. Model-Driven Integration of Software and Service Components. University of Alabama at Birmingham (12/15/2006, advisor: Barret R. Bryant). Abstract.
Naveed Arshad. A Planning-Based Approach to Failure Recovery in Distributed Systems. University of Colorado at Boulder (May 2006, advisor: Alexander L. Wolf and Dennis M. Heimbigner). Abstract.
Ingo Stuermer. Systematic Testing of Code Generation Tools - A Test Suite-oriented Approach for Safeguarding Model-based Code Generation. Technical University of Berlin (Germany) (16.02.2006, advisor: Prof. Dr. Peter Pepper). Abstract.
Matthew Rutherford. Adequate System-Level Testing of Distributed Systems. University of Colorado at Boulder (August 2006, advisor: Alexander L. Wolf). Abstract.
Leonardo Murta. Configuration Management Applied to Component Based Development. Federal University of Rio de Janeiro ((October 2006, advisor: Cláudia Maria Lima Werner). Abstract.
John Fiskio-Lasseter. Specification and Solution of Multisource Data Flow Problems. University of Oregon (December 2006, advisor: Michal Young). Abstract.
Davor Svetinovic. Increasing the Semantic Similarity of Object-Oriented Domain Models by Performing Behavioral Analysis First. University of Waterloo, BC, Canada (2006, advisor: Daniel M. Berry and Michael W. Godfrey). Abstract.
Konrad Sascha. Model-driven Development and Analysis of High Assurance Systems. Michigan State University (September, 2006, advisor: Betty H.C. Cheng). Abstract.
Dirk Deridder. A Concept-Centric Environment for Software Evolution in an Agile Context. Vrije Universiteit Brussel (June 2006, advisor: Theo D'Hondt). Abstract.
Vahid Garousi. Traffic-aware Stress Testing of Distributed Real-Time Systems based on UML Models using Genetic Algorithms. Carleton University, Canada (Sept 2006, advisor: Prof. Lionel Briand and Prof. Yvan Labiche). Abstract.
Yanyan Wang. Automating Experimentation with Distributed Systems Using Generative Techniques. University of Colorado at Boulder (Aug 2006, advisor: Antonio Carzaniga and Alexander L. Wolf). Abstract.
Roshanak Roshandel. Calculating Architectural Reliability via Modeling and Analysis. University of Southern California (2006, advisor: Nenad Medvidovic). Abstract.
David Janzen. An Empirical Evaluation of the Impact of Test-Driven Development on Software Quality. University of Kansas (December 2006, advisor: Hossein Saiedian). Abstract.
Holger Kienle. Building reverse engineering tools with software components. University of Victoria, BC, Canada (November, 2006, advisor: Hausi Muller). Abstract.
Benjamin Livshits. Improving Software Security with Precise Static and Runtime Analysis. Stanford University (December, 2006, advisor: Monica Lam). Abstract.
Andy Zaidman. Scalability Solutions for Program Comprehension Through Dynamic Analysis. University of Antwerp (September 6, 2006, advisor: Serge Demeyer). Abstract.
Danny Weyns. An Architecture-Centric Approach for Software Engineering with Situated Multiagent Systems. Katholieke Universiteit Leuven, Belgium (Oct 11, 2006, advisor: Tom Holvoet). Abstract.
Sunghun Kim. Adaptive Bug Prediction By Analyzing Software History. University of California, Santa Cruz (Sep 1, 2006, advisor: Jim Whitehead). Abstract.
Qing Xie. Developing Cost-Effective Model-Based Techniques for GUI Testing. University of Maryland (8/28/2006, advisor: Atif Memon). Abstract.
Lorin Hochstein. Development of an Empirical Approach to Building Domain-Specific Knowledge Applied to High-End Computing. University of Maryland (07/2006, advisor: Vic Basili). Abstract.
Marvin Early. Improving the success rate of software development projects. Northcentral University (2006, advisor: Amiram Neiman). Abstract.
Benjamin Tyler. Specification and Runtime Monitoring of Object-Oriented Systems. The Ohio State University (06/11/2006, advisor: Neelam Soundarajan). Abstract.
Alexandre Bergel. Classboxes: Controlling Visibility of Class Extensions. Software Composition Group, University of Bern (21-11-2006, advisor: Staphane Ducasse). Abstract.
Mauro Caporuscio. Design, Development and Analysis of Distributed Event-Based Systems. University of LAquila (2006, advisor: Paola Inverardi). Abstract.
Leonardo Mostarda. Distributed Intrusion Detection Systems for Secure Software Architectures. university of LAquila (2006, advisor: Paola Inverardi). Abstract.
Hans Sassenburg. Design of a Methodology to Support Software Release Decisions: Do the Numbers Really Matter?. University of Groningen (06.01.2006, advisor: Egon Berghout). Abstract.
Curtis Clifton. A design discipline and language features for modular reasoning in aspect-oriented programs. Iowa State University (July 2005, advisor: Gary T. Leavens). Abstract.
Eli Tilevich. Software Tools for Separating Distribution Concerns. Georgia Tech (12/17/2005, advisor: Dr. Yannis Smaragdakis). Abstract.
Qingfeng He. Requirements-Based Access Control Analysis and Policy Specification. North Carolina State University (December 14, 2005, advisor: Annie I. Anton). Abstract.
John Clements. Portable and High-level Access to the Stack with Continuation Marks. Northeastern University (2005, advisor: Matthias Felleisen). Abstract.
Joao Pedro Sousa. Scaling Task Management in Space and Time: Reducing User Overhead in Ubiquitous-Computing Environments. Carnegie Mellon University (May 2005, advisor: David Garlan). Abstract.
Aysu Betin Can. Design for Verification for Concurrent and Distributed Programs. University of California Santa Barbara (2005, advisor: Tevfik Bultan). Abstract.
Gabriela Arevalo. High Level Views in Object-Oriented Systems using Formal Concept Analysis. University of Bern (14/01/05, advisor: Oscar Nierstrasz). Abstract.
Vibha Sazawal. Connecting Software Design Principles to Source Code for Improved Ease of Change. University of Washington (December 2005, advisor: David Notkin). Abstract.
Paul Williams. CuPIDS: Increasing Information System Security Through the Use of Dedicated Co-processing. Purdue University (Aug 2005, advisor: Eugene Spafford). Abstract.
Di Marco Antinisca. Model-based Performance Analysis of Software Architectures. University dell Aquila (June 2005, advisor: Paola Inverardi). Abstract.
Tivoli Massimo. An architectural approach to the automatic composition and adaptation of software components. Universita dell Aquila (06/06/2005, advisor: Paola Inverardi). Abstract.
Pelliccione Patrizio. Charmy: A framework for Software Architecture Specification and Analysis. Univesita dell Aquila, Italy (2005, advisor: Paola Inverardi). Abstract.
Tao Xie. Improving Effectiveness of Automated Software Testing in the Absence of Specifications. University of Washington (2005, advisor: David Notkin). Abstract.
Martin Pinzger. ArchView - Analyzing Evolutionary Aspects of Complex Software Systems. University of Technology, Vienna (2005, advisor: Harald Gall). Abstract.
Gerald Reif. WEESA - Web Engineering for Semantic Web Applications. University of Technology, Vienna (2005, advisor: Harald Gall). Abstract.
Laura Campbell. Enabling Integrative Analyses and Refinement of Object-Oriented Models with Special Emphasis on High-Assurance Embedded Systems. Michigan State University (2004, advisor: Betty H.C. Cheng). Abstract.
Jin Dean. Ontological Adaptive Integration of Reverse Engineering Tools. Queen's University (August 2004, advisor: James R. Cordy). Abstract.
Tuba Yavuz-Kahveci Yavuz-Kahveci. Specification and Automated Verification of Concurrent Software Systems. University of California, Santa Barbara (September 2004, advisor: Tevfik Bultan). Abstract.
Michael Collard. Meta-Differencing: An Infrastructure for Source Code Difference Analysis. Kent State University (August 21, 2004, advisor: Jonathan I. Maletic). Abstract.
Nathan Ryan. Using Event-Based Translation to Support Dynamic Protocol Evolution. University of Colorado, Boulder (2004, advisor: Alexander L. Wolf). Abstract.
Christine Julien. Supporting Context-Aware Application Development in Ad Hoc Mobile Networks. Washington University in Saint Louis (2004, advisor: Gruia-Catalin Roman). Abstract.
Marija Mikic-Rakic. Software Architectural Support for Disconnected Operation in Distributed Environments. University of Southern California (2004, advisor: Nenad Medvidovic). Abstract.
Nigamanth Sridhar. Dynamically Reconfigurable Parameterized Components. The Ohio State University (2004, advisor: Paolo A.G. Sivilotti and Bruce W. Weide). Abstract.
Tuba Yavuz-Kahveci. Specification and Automated Verification of Concurrent Software Systems. University of California, Santa Barbara (September 2004, advisor: Tevfik Bultan). Abstract.
Suan Hsi Yong. Runtime Monitoring of C Programs for Security and Correctness. University of Wisconsin-Madison (August 2004, advisor: Susan Horwitz). Abstract.
Christian Luer. User-Centric Deployment Support in a Component Platform. University of California, Irvine (August 2004, advisor: Andre van der Hoek). Abstract.
Nikunj Mehta. Composing Style-Based Software Architectures From Architectural Primitives. University of Southern California (2004, advisor: Nenad Medvidovic). Abstract.
Scott Pike. Distributed Resource Allocation with Scalable Crash Containment. The Ohio State University (2004, advisor: Paul Sivilotti). Abstract.
Daqing Hou. FCL: Automatically Detecting Structural Errors in Framework-Based Development. University of Alberta (12-19-2003, advisor: H. James Hoover). Abstract.
Yoonsik Cheon. A Runtime Assertion Checker for the Java Modeling Language. Iowa State University (April, 2003, advisor: Gary T. Leavens). Abstract.
Jeffrey Carver. The Impact of Background and Experience on Software Inspections. University of Maryland (2003, advisor: Victor R. Basili). Abstract.
Aaron Greenhouse. A Programmer-Oriented Approach to Safe Concurrency. Carnegie Mellon University (2003, advisor: William L. Scherlis). Abstract.
Rohit Khare. Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems. University of California, Irvine (2003, advisor: Richard N. Taylor). Abstract.
Joost Visser. Generic Traversal over Typed Source Code Representations. University of Amsterdam (February 2003, advisor: Paul Klint). Abstract.
Johannes Mayer. On Quality Improvement of Scientific Software Theory, Methods, and Application in the GeoStoch Development. Ulm University (July 2003, advisor: Franz Schweiggert). Abstract.
Raghavan Komondoor. Automated Duplicated-Code Detection and Procedure Extraction. University of Wisconsin (August 2003, advisor: and Susan Horwitz). Abstract.
Tahvildari Ladan. Quality-Driven Object-Oriented Software Reengineering Framework. University of Waterloo (August 2003, advisor: Kostas Kontogiannis). Abstract.
Yvonne Coady. Exploring an Aspect-Oriented Approach to Operating System Code. University of British Columbia (Aug 2003, advisor: Gregor Kiczales). Abstract.
Michele Lanza. Object-Oriented Reverse Engineering Coarse-grained, Fine-grained, and Evolutionary Software Visualization. University of Berne (May 2003, advisor: Oscar Nierstrasz). Abstract.
Licia Capra. Reflective Mobile Middleware for Context-Aware Applications. University College London (2003, advisor: Wolfgang Emmerich). Abstract.
Clemens Kerer. XGuide - Concurrent Web Development with Contracts. University of Technology, Vienna (2003, advisor: Mehdi Jazayeri). Abstract.
Sebastian Uchitel. Incremental Elaboration of Scenario-Based Specifications Using Implied Scenarios. Imperial College, London (2003, advisor: Jeff Kramer). Abstract.
Thomas Alspaugh. Scenario Networks and Formalization for Scenario Management. North Carolina State University (2002, advisor: Annie I. Anton). Abstract.
Tamar Richner-Hanna. Recovering Behavioral Design Views: a Query-Based Approach. University Of Berne, Switzerland (May 17, 2002, advisor: Prof. Dr. O. Nierstrasz and Dr. S. Ducasse). Abstract.
Andrew Walenstein. Cognitive Support in Software Engineering Tools: A Distributed Cognition Framework. Simon Fraser University (May 7, 2002, advisor: Robert D. Cameron). Abstract.
Henry Muccini. Software Architecture for Testing, Coordination and Views Model Checking. University of Rome (La Sapienza) (2002, advisor: Paola Inverardi and Antonia Bertolino). Abstract.
Tamar Richner-Hanna. Recovering Behavioral Design Views: a Query-Based Approach. University Of Berne, Switzerland (May 17, 2002, advisor: O. Nierstrasz and S. Ducasse). Abstract.
Irfan Pyarali. Patterns For Providing Real-Time Guarantees In Doc Middleware. Washington University (2002, advisor: Douglas Schmidt). Abstract.
Jeff Foster. Type Qualifiers: Lightweight Specifications to Improve Software Quality. University of California, Berkeley (2002, advisor: Alex Aiken). Abstract.
Gschwind Thomas. Adaptation and Composition Techniques for Component-Based Software Engineering. Technische Universitat Wien (2002, advisor: Mehdi Jazayeri). Abstract.
Jeff Gray. Aspect-Oriented Domain-Specific Modeling: A Generative Approach Using a Metaweaver Framework. Vanderbilt University (2002, advisor: Stephen Schach). Abstract.
Engin Kirda. Engineering Device-Independent Web Services: An XML/XSL-based approach to creating flexible and extensible multi-device. Technical University of Vienna, Austria (2002, advisor: Mehdi Jazayeri). Abstract.
Dietmar Pfahl. An Integrated Approach to Simulation-Based Learning in Support of Strategic and Project Management in Software Organisations. University of Kaiserslautern (January 10, 2001, advisor: Dieter Rombach). Abstract.
Isabel Ramos. The Construction of Work Realities Assisted by the Adoption of Computer-Based Systems. University of Minho, Portugal (2001, advisor: Daniel M. Berry). Abstract.
Sander Tichelaar. Modeling Object-Oriented Software for Reverse Engineering and Refactoring. University of Berne (14.12.2001, advisor: Oscar Nierstrasz). Abstract.
Jurgen Munch. Pattern-based Development of Software Project Plans. University of Kaiserslautern (November 2001, advisor: Dieter Rombach). Abstract.
Atif Memon. A Comprehensive Framework for Testing Graphical User Interfaces. University of Pittsburg (7/27/2001, advisor: Mary Lou Soffa). Abstract.
Corina Pasareanu. Abstraction and Modular Reasoning for the Verification of Software. Kansas State University (September 2001, advisor: Matthew Dwyer). Abstract.
Cecilia Mascolo. Specification, Analysis and Prototyping of Mobile Code Systems. Universita di Bologna (2001, advisor: Paolo Ciancarini). Abstract.
Oliver Laitenberger. Cost-effective Detection of Software Defects through Perspective-based Inspections. University of Kaiserslautern (2000, advisor: Dieter Rombach and Victor Basili). Abstract.
Kim Mens. Automating architectural conformance checking by means of logic meta programming. Vrije Universiteit Brussel (October 23, 2000, advisor: Theo D'Hondt). Abstract.
William McUmber. A Generic Framework for Formalizing Object-Oriented Modeling Notations for Embedded Systems Development. Michigan State University (February 2000, advisor: Betty H. C. Cheng). Abstract.
William Chan. Symbolic model checking for large software specifications. University of Washington (2000, advisor: David Notkin and Richard Anderson). Abstract.
Peyman Oreizy. Open Architecture Software: A Flexible Approach to Decentralized Software Evolution. University of California, Irvine (2000, advisor: Richard N. Taylor). Abstract.
Roy Fielding. Architectural Styles and the Design of Network-based Software Architectures. University of California, Irvine (2000, advisor: Richard N. Taylor). Abstract.
Judith Stafford. A Formal, Language-Independent, and Compositional Approach to Interprocedural Control Dependence Analysis. University of Colorado at Boulder (2000, advisor: Alexander L. Wolf). Abstract.
Andre van der Hoek. A Reusable, Distributed Repository for Configuration Management Policy Programming. University of California, Irvine (2000, advisor: Alexander L. Wolf). Abstract.
Ines Jaramillo Clara. Source Level Debugging Techniques and Tools for Optimized Code. University of Pittsburgh (2000, advisor: Rajiv Gupta and Mary Lou Soffa). Abstract.
Darren Atkinson. The Design and Implementation of Practical and Task-Oriented Whole-Program Analysis Tools. University of California, San Diego (1999, advisor: William G. Griswold). Abstract.
Nenad Medvidovic. Architecture-Based Specification-Time Software Evolution. University of California, Irvine (1999, advisor: Richard N. Taylor). Abstract.
Tom Mens. A Formal Foundation for Object-Oriented Software Evolution. Vrije Universiteit Brussel (September 1999, advisor: D'Hondt Theo). Abstract.
Robert Monroe. Rapid Development of Custom Software Architecture Design Environments. Carnegie Mellon University (1999, advisor: David Garlan). Abstract.
Michel Wermelinger. Specification of Software Architecture Reconfiguration. New University of Lisbon, Portugal (16/12/99, advisor: Jose Luiz Fiadeiro). Abstract.
Antonio Carzaniga. Architectures for an Event Notification Service Scalable to Wide-area Networks. Politecnico di Milano, Italy (1999, advisor: Alfonso Fuggetta). Abstract.
Manfred Hauswirth. Internet-Scale Push Systems for Information Distribution---Architecture, Components, and Communication. Technical University of Vienna, Austria (1999, advisor: Mehdi Jazayeri). Abstract.
Goudarzi Kaveh Moazami. Consistency Preserving Dynamic Reconfiguration of Distributed Systems. Imperial College of Science, Technology and Medicine, London (1999, advisor: Jeff Kramer). Abstract.
Forrest Shull. Developing Techniques for Using Software Documents: A Series of Empirical Studies. University of Maryland, College Park (December 1998, advisor: Victor Basili). Abstract.
Aniruddha Gokhale. Design Principles and Optimizations for High Performance, Real-time CORBA. Washington University in St. Louis (May 1998, advisor: Dr. Douglas C. Schmidt). Abstract.
Michelle Lee. Change Impact Analysis for Object-Oriented Software. George Mason University (1998, advisor: Jeff Offutt). Abstract.
William Hefley. Influence In Work Groups A Study of Software Development Teams. Carnegie Mellon University (1998, advisor: Sara Kiesler). Abstract.
Andrea Zisman. Information Discovery for Interoperable Autonomous Database Systems. University of London, Imperial College of Science, Technology and Medicine (1998, advisor: Jeff Kramer). Abstract.
Abdelsalam Heddaya. Managing Event-based Replication for Abstract Data Types in Distributed Systems. Harvard University (1988, advisor: Bill Weihl). Abstract.
Manoel Mendonça. An Approach to Improving Existing Measurement Frameworks in Software Development Organizations. University of Maryland (1997, advisor: Victor Basili). Abstract.
Richard Paige. Formal Method Integration via Heterogeneous Notations. University of Toronto (November 1997, advisor: Eric C.R. Hehner). Abstract.
Jonathan Cook. Process Discovery and Validation through Event Data Analysis. University of Colorado, Boulder (1996, advisor: Alexander L. Wolf). Abstract.
Kingsum Chow. Supporting Library Interface Changes in Open System Software Evolution. University of Washington (1996, advisor: David Notkin). Abstract.
Jonathan Maletic. The Software Service Bay: A Knowledge Based Software Maintenance Methodology. Wayne State University (1995, advisor: Robert Reynolds). Abstract.
Wayne Heym. Computer Program Verification: Improvements for Human Reasoning. The Ohio State University (1995, advisor: Bruce W. Weide). Abstract.
Matthew Dwyer. FLAVERS: Data Flow Analysis for Verifying Properties of Concurrent Programs. University of Massachusetts - Amherst (1995, advisor: Lori Clarke). Abstract.
Wolfgang Emmerich. Tool Construction for Process-Centred Software Development Environments based on Object Databases. University of Paderborn (1995, advisor: Wilhelm Schafer). Abstract.
Tim Wahls. On the execution of high level formal specifications. Iowa State University (1995, advisor: Gary Leavens and Albert Baker). Abstract.
Bashar Nuseibeh. A multi-perspective framework for method integration. Imperial College London (October 1994, advisor: Anthony Finkelstein). Abstract.
Douglas Schmidt. An Object-Oriented Framework for Experimenting with Alternative Process Architectures for Parallelizing Communication Subsystems. University of California, Irvine (1994, advisor: Tatsuya Suda). Abstract.
John Grundy. Multiple textual and graphical views for interactive software development environments. University of Auckland, New Zealand (November 1993, advisor: John Hosking). Abstract.
Harald Gall. Object-Mapping and System Transformation for object-oriented Reverse Engineering in COREM. Technical University of Vienna, Austria (1993, advisor: Roland T. Mittermeir). Abstract.
Earl Waldin. Using multiple representations for efficient communication of abstract values. Massachusetts Institute of Technology, (1992, advisor: William Weihl). Abstract.
William Griswold. Program Restructuring as an Aid to Software Maintenance. University of Washington (1991, advisor: David Notkin). Abstract.
Ira Baxter. Transformational Maintenance by Reuse of Design Histories. University of California, Irvine (1990, advisor: Peter Freeman). Abstract.
Gary Todd Leavens. Verifying Object-Oriented Programs that use Subtypes. Massachusetts Institute of Technology (1989, advisor: William E. Weihl). Abstract.
Raymond Klefstad. Maintaining a Uniform User Interface for an Ada Programming Environment. University of California, Irvine (1988, advisor: Richard N. Taylor). Abstract.
David S. Rosenblum. Design and Verification of Distributed Tasking Supervisors for Concurrent Programming Languages. Stanford University (1988, advisor: David C. Luckham). Abstract.
Alexander Wolf. Language and Tool Support for Precise Interface Control. University of Massachusetts at Amherst (1985, advisor: Lori A. Clarke and Jack C. Wileden). Abstract.
William Bail. Algorithm Structure Analysis Using Hierarchical Abstract Computers. University of Maryland (1985, advisor: Marvin Zelkowitz). Abstract.
Richard Taylor. Static Analysis of the Synchronization Structure of Concurrent Programs. University of Colorado, Boulder (1980, advisor: Leon J. Osterweil). Abstract.