The goal of the Doctoral Symposium is to provide a supportive yet questioning setting in which PhD students can present their work, to provide an opportunity for students to attend ICSE, and to support the ICSE mission as a world-leading venue for software engineering research. Students will be able to discuss their goals, methods, and results at an early stage in their research. The Symposium aims to provide students with useful guidance and feedback on various aspects of their research from established researchers and the other student attendees.
The Symposium is a closed forum, open only to the committee and invited students.
Matthew Dwyer, co-chair, University of Nebraska, USA
Shing-Chi Cheung, co-chair, The Hong Kong University of Science and Technology, Hong Kong
Wolfgang Emmerich, University College London, UK
Paola Inverardi, Universitá dell'Aquila, Italy
Derrick Kourie, University of Pretoria, South Africa
Marian Petre, The Open University, UK
Margaret-Anne Storey, University of Victoria, Canada
Zhendong Su, University of California, Davis, USA
Tetsuo Tamai, University of Tokyo, Japan
Portable Secure Identity Management for Software Engineering
Christopher Staite - University of Birmingham, United Kingdom
Dynamic Service Quality and Resource Negotiation for High-Availability Service-Oriented Systems
Nicholas May - RMIT University, Australia
Zenet: Generating and Enforcing Real-Time Temporal Invariants
Chris Lewis - University of California, Santa Cruz, United States
Balancing Collaboration and Discipline in Software Development Processes
Andréa Magalhães Magdaleno - COPPE/UFRJ, Brazil
A Proposal for Consistency Checking in Dynamic Software Product Line Models Using OCL
Fabiana Marinho - Federal University of CearĂ¡, Brazil
Behavioural Validation of Software Engineering Artefacts
Guido De Caso - Universidad de Buenos Aires, Argentina
Umple: a Model-Oriented Programming Language
Omar Badreddin - University of Ottawa, Canada
An Incremental Methodology for Quantitative Software Architecture Evaluation with Probabilistic Models
Indika Meedeniya - Swinburne University of Technology, Australia
Synthesize Software Product Line
Xiaorui Zhang - SINTEF, Norway
Choreography of intelligent e-Services
Wonga Linda Ntshinga - Tshwane University of Technology (TUT), South Africa
A Framework for Handling Variants of Software Models
Christian Pichler - Vienna University of Technology, Austria
Improving Wide-Area Distributed System Availability
Bruno Wassermann - University College London, United Kingdom
Risk Assessment on Distributed Software Projects
Adailton Magalhães Lima - Federal University of ParĂ¡ (UFPA), Brazil
VisAr3D: An Approach to Software Architecture Teaching Based on Virtual and Augmented Reality
Claudia S. C. Rodrigues - Federal University of Rio de Janeiro (UFRJ), Brazil
Change Impact Analysis from Business Rules
Antonio Oliveira Filho - Universidade Federal da Bahia, Brazil
Software Architecture for Systems of Software Intensive Systems (S3): The Concepts and Detection of Inter-System Relationships
John Brøndum - NICTA, Australia
Formal Methods for Web Services: a Taxonomic Approach
K.S. May Chan - University of Pretoria, South Africa
Exploratory Study of a UML Metric for Fault Prediction
Ana Erika Camargo Cruz - Japan Advanced Institute of Science and Technology, Japan
Feature-Oriented Requirements Modelling
Pourya Shaker - University of Waterloo, Canada
Automatic enforcement of architectural design rules
Anders Mattsson - Combitech AB, Sweden
SMT-Based Bounded Model Checking for Multi-threaded Software in Embedded Systems
Lucas Cordeiro - University of Southampton, United Kingdom
Enhancing Collaboration of Multi-developer Projects with Synchronous Changes
Lile Hattori - University of Lugano, Switzerland
SOFAS - SOFtware Analysis Services
Giacomo Ghezzi - University of Zurich, Switzerland
Informal Software Design Knowledge Reuse
Gerald Bortis - University of California, Irvine, United States
The Role of Emergent Knowledge Structures in Collaborative Software Development
Christoph Treude - University of Victoria, Canada
Capturing the Long-Term Impact of Changes
Kim Sebastian Herzig - Universität des Saarlandes, Germany
Failure Preventing Recommendations
Adrian Schroeter - University of Victoria, Canada
Impact Analysis for Event-Based Components and Systems
Daniel Popescu - University of Southern California, United States
Empirical Evaluation of Effort on Composing Design Models
Kleinner Farias - Pontifical Catholic University of Rio de Janeiro, Brazil
Analysis of Execution Log Files
Meiyappan Nagappan - North Carolina State University, United States
Towards end-user enabled Web Service consumption for Mashups
Marcus Roy - University of New South Wales, Australia
Constraint Solving Techniques for Software Testing and Analysis
Feifei Ma - Institute of Software, Chinese Academy of Sciences, China
A Methodology to Support Load Test Analysis
Haroon Malik - Queen's University, Canada