ESEC/FSE 2003 Logo ESEC/FSE 2003

Helsinki, Finland, September 1-5, 2003
 

Welcome
Conference Chairs
Program Committee
Sponsors

Conference Venue
Photo Gallery
Social Activities
Meetings

Important Dates
Call for Papers

Program Overview
Technical Program
Tutorials
Workshops
Doctoral Symposium

Registration
Accommodation

Related Events

Questions?

Technical Program

The ESEC/FSE 2003 technical program will be held at Marina Congress Center on September 3-5, 2003. Marina Congress Center is located in the center of Helsinki near to Uspensky Cathedral, Presidential Palace, and Market Square.

Welcome and ESEC/FSE 2003 Opening

  • Paola Inverardi and Jukka Paakki
    Date: September 3, 2003, 8:30 (see the program overview)

Invited Talks

  • Speaker: Giuseppe Longo
    Organization: CNRS & Département d'Informatique Ecole Normale Supérieure, Paris, France
    Topic: Information and Complexity in Some Natural Phenomena
    Date: September 3, 2003, 9:00 (see the program overview)
    Chair: Paola Inverardi

  • Speaker: Leon Osterweil
    Organization: University of Massachusetts, Amherst
    Topic: Understanding Process and the Quest for Deeper Questions in Software Engineering Research
    (2003 ACM SIGSOFT Outstanding Research Award Presentation)
    Date: September 4, 2003, 9:00 (see the program overview)
    Chair: Alexander L. Wolf

  • Speaker: Ari Jaaksi
    Organization: Nokia Mobile Phones
    Topic: Assessing Software Projects - Tools for Business Owners
    Date: September 5, 2003, 9:00 (see the program overview)
    Chair: Jukka Paakki

Paper Sessions and Poster Ads

  • Session I: Requirements Engineering and Design
    September 3, 2003, 10:30 (see the program overview)
    Chair: Carlo Montangero

    Behaviour Model Elaboration using Partial Labelled Transition Systems, Sebastian Uchitel, Jeff Kramer, Jeff Magee, Imperial College London

    A Proof Strategy for Efficient Verification of Requirements Specifications Using Composition and Invariants, Ralph Jeffords, Constance Heitmeyer, Naval Research Laboratory

    Towards the Compositional Verification of Real-Time UML Designs, Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, Stephan Flake, University of Paderborn

    Refinements and Multi-Dimensional Separation of Concerns, Don Batory, Jia Liu, Jacob Sarvela, University of Texas, Austin


  • Session II: Software Architectures, Patterns and Frameworks
    September 3, 2003, 13:30 (see the program overview)
    Chair: Mehdi Jazayeri

    Validating UML Models Against Architectural Profiles, Petri Selonen, Tampere University of Technology, Jianli Xu, Nokia Research Center

    Modeling and Validation of Service-Oriented Architectures: Application vs. Style, Luciano Baresi, Politecnico di Milano, Reiko Heckel, Sebastian Thöne, Universität Paderborn, Dániel Varró, Budapest University of Technology and Economics

    Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems, Jeremy Bradbury, Juergen Dingel, Queen's University

    Designing and Implementing a Family of Intrusion Detection Systems, Giovanni Vigna, Fredrik Valeur, Richard Kemmerer, University of California, Santa Barbara

    Poster Ads:

    Composing Architectural Styles from Architectural Primitives, Nikunj Mehta, Nenad Medvidovic, University of Southern California

    Towards an Engineering Tool for Implementing Reusable Distributed Control Systems, Kleanthis Thramboulidis, University of Patras

    Use Case Based Testing of Product Lines, Antonia Bertolino, Stefania Gnesi, ISTI-CNR


  • Session III: Testing and Test Tools
    September 3, 2003, 16:00 (see the program overview)
    Chair: Antonia Bertolino

    A Family of Test Adequacy Criteria for Database-Driven Applications, Gregory Kapfhammer, Mary Soffa, University of Pittsburgh

    Consistency Techniques for Interprocedural Test Data Generation, Nguyen Tran Sy, Yves Deville, Université Catholique de Louvain

    Regression Testing of GUIs, Atif Memon, University of Maryland, Mary Lou Soffa, University of Pittsburgh

    Leveraging Field Data for Impact Analysis and Regression Testing, Alessandro Orso, Taweesup Apiwattanapong, Mary Jean Harrold, Georgia Tech


  • Session IV: Software Process and Workflow
    September 4, 2003, 10:30 (see the program overview)
    Chair: Jacky Estublier

    Formulation and Preliminary Test of an Empirical Theory of Coordination in Software Engineering, James Herbsleb, Carnegie Mellon University, Audris Mockus, Avaya Labs Research

    Factors of Software Process Improvement Success in Small and Large Organizations: An Empirical Study in the Scandinavian Context, Tore Dybå, SINTEF Telecom and Informatics

    Monitoring the Software Test Process Using Statistical Process Control: A Logarithmic Approach, João Cangussu, University of Texas, Dallas, Raymond DeCarlo, Aditya Mathur, Purdue University

    On the Economic Evaluation of XP Projects, Matthias Müller, Frank Padberg, University of Karlsruhe


  • Session V: Validation and Verification
    September 4, 2003, 13:30 (see the program overview)
    Chair: Valerie Issarny

    Context-Sensitive Slicing of Concurrent Programs, Jens Krinke, Universität Passau

    Adapting Side Effects Analysis for Modular Program Model Checking, Oksana Tkachuk, Matthew Dwyer, Kansas State University

    Deadline Analysis of Interrupt-Driven Software, Dennis Brylow, Jens Palsberg, Purdue University

    Ontology Support for Web Service Processes, Claus Pahl, Maire Casey, Dublin City University

    Poster Ads:

    EFFICIENT: A Tool Set for Supporting the Modelling and Validation of ebXML Transactions, Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand Grégoire, Sophie Ramel, CRP Henri Tudor

    A Simulation-Based Approach to Software Performance Modeling, Simonetta Balsamo, Moreno Marzolla, Universita' "Ca' Foscari" di Venezia

    Recovery, Analysis and Improvement of Runtime Architecture of Mobile Phone Software, Alexander Ran, Raimondas Lencevicius, Nokia Research Center


  • Session VI: Software Reuse and Evolution
    September 4, 2003, 16:00 (see the program overview)
    Chair: Kai Koskimies

    Reverse Engineering Framework Reuse Interfaces, Jukka Viljamaa, University of Helsinki

    Differences between Versions of UML Diagrams, Dirk Ohst, Michael Welle, Udo Kelter, Universität Siegen


  • Special Session on CCSE: Computing Curricula for Software Engineering
    September 4, 2003, 17:00 (see the program overview)

  • Session VII: Software Analysis and Model Checking
    September 5, 2003, 10:30 (see the program overview)
    Chair: Constance L. Heitmeyer

    Eliminating Redundancies with a "Composition with Adaptation" Meta-programming Technique, Stan Jarzabek, National University of Singapore, Shubiao Li, Xi'an Jiaotong University

    Towards Scalable Compositional Analysis by Refactoring Design Models, Yung-Pin Cheng, National Taiwan Normal University, Michal Young, University of Oregon, Che-Ling Huang, Chia-Yi Pan, National Taiwan Normal University

    Fluent Model Checking for Event-Based Systems, Dimitra Giannakopoulou, RAICS/USRA, NASA Ames Research Center, Jeff Magee, Imperial College London

    Bogor: An Extensible and Highly-Modular Software Model Checking, Robby, Matthew Dwyer, John Hatcliff, Kansas State University


  • Session VIII: Component-Based Software Engineering
    September 5, 2003, 13:30 (see the program overview)
    Chair: Debra Richardson

    Verified Systems by Composition from Verified Components, Fei Xie, James Browne, University of Texas, Austin

    Predicting Problems Caused by Component Upgrades, Stephen McCamant, Michael Ernst, MIT

    Aspect Languages for Integration and Evolution, Hridesh Rajan, Kevin Sullivan, University of Virginia

    Poster Ads:

    Policy-Enforced Linking of Untrusted Components, Eunyoung Lee, Andrew Appel, Princeton University

    A Fault-Tolerant Software Architecture for COTS-Based Software Systems, Paulo Guerra, Universidade Estadual de Campinas, Alexander Romanovsky, University of Newcastle upon Tyne, Cecília Rubira, Universidade Estadual de Campinas, Rogério de Lemos, University of Kent at Canterbury

    Gravity: Supporting Dynamically Available Services in Client-Side Applications, Richard Hall, Humberto Cervantes, Laboratoire LSR


  • Session IX: Safety and Security
    September 5, 2003, 15:30 (see the program overview)
    Chair: Andreas Zeller

    Protecting C Programs from Attacks via Invalid Pointer Dereferences, Suan Yong, Susan Horwitz, University of Wisconsin-Madison

    Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs, V. Benjamin Livshits, Monica Lam, Stanford University

    ARCHER: Using Symbolic, Path-sensitive Analysis to Detect Memory Access Errors, Yichen Xie, Andy Chou, Dawson Engler, Stanford University

    Runtime Safety Analysis of Multithreaded Programs, Koushik Sen, Grigore Rosu, Gul Agha, University of Illinois at Urbana-Champaign


Closing and Presentation of FSE 2004 & ESEC/FSE 2005

  • Paola Inverardi and Jukka Paakki
    Date: September 5, 2003, 16:45 (see the program overview)

     

  ACM LogoSigsoft Logo CEPIS Logo TTL Logo Nokia Logo Academy of Finland Logo Helsinki Logo

 

 
Latest update August 23, 2003 by 'Jukka Viljamaa@cs Helsinki FI' (replace spaces with dots)