aselogo

19th IEEE
International
Conference

Brucknerhaus

St. Florian

Lentos Museum

Arkadenhof

University

Automated Software Engineering

Linz, Austria, September 20-24, 2004

leftarrow

Welcome

leftarrow

Conference Registration

leftarrow

Hotel Registration

leftarrow

Conference Program
  Papers
  Keynotes
  Tutorials
  Tool Demonstrations
  Doctoral Symposium
  Workshops

 

 

CSSE'04
FATES'04
FMICS'04
SAPS'04
SEM'04
WITSE'04

    Social Events

leftarrow

Important Dates

leftarrow

Sponsors

leftarrow

Conference Location
  Joh. Kepler University
 
Traveling Information
 
Linz Tourist Information
  Useful Information

leftarrow

Conference Committee

leftarrow

Program Committee

leftarrow

Calls (closed)
 
Papers
 
Workshops
 
Tutorials

 
Demos
  Doctoral Symposium
  Plain Text Version

leftarrow

ASE Conferences

 


Page was last edited 07/15/2004

 

Doctoral Symposium

Monday, Sept 20, 9:00-17:30
Room T724 (TNF Turm, 7th floor, building #11 on campus map)

The ASE'04 Doctoral Symposium brings together PhD students working on foundations, techniques, tools and applications of automated software engineering and provides the opportunity to present and to discuss their research with researchers in the ASE community in a constructive atmosphere. Specifically, the symposium aims to:

- provide a setting whereby students receive feedback on their research and guidance on future directions
  from a broad group of advisors,
- foster a supportive community of scholars and a spirit of collaborative research, and
- contribute to the conference goals through interaction with other researchers and conference events.

Accepted Contributions

Automated Dynamic Reconfiguration using AI Planning, Naveed Arshad (University of Colorado at Boulder, USA).

Decision Support for Test Management in Iterative and Evolutionary Development, Rudolf Ramler (Software Competence Center Hagenberg, Austria)

Formal Framework for Automated Analysis and Verification of Web-based Applications, May Haydar (University de Montreal, Canada)

Decompositional Verification of Component-based Systems - A Hybrid Approach, Gaoyan Xie (Washington State University, USA)

Interactive Visualisation of Concurrent Programs, Roberto Capuano, (Universita degli Studi di Salerno, Italy)

Group Support for Distributed Collaborative Concurrent Software Modeling, Naoufel Boulila (Technische Universität München, Germany)

Collaborative Tools for Mobile Requirements Acquisition, Norbert Seyff (Johannes Kepler Universität Linz, Austria)

Modeling and Simulation of Context-Aware Mobile Systems, Ping Guo and Reiko Heckel (University of Paderborn, Germany)


Doctoral Symposium Organizers

Andrea Zisman
Department of Computing
City University, Northampton Square
London EC1V 0HB, UK
Phone: +44 (0)20 7040 8346
Fax: +44 (0)20 7040 8587
Email: a.zisman@soi.city.ac.uk

Tom Ellman
Department of Computer Science
Vassar College
Poughkeepsie, NY 12601 USA
Phone: (845)-437-5991
Fax: (845)-437-7498
Email: ellman@cs.vassar.edu