Wednesday, April 9:

10.30 - 12.30:

FASE: Software Components
Session chair: Luigi Lavazza

• An Ontology for Software Component Matching
  Claus Pahl (Dublin City University, IRL)
• A Description Language For Composable Components
  Ioana Sora, Pierre Verbaeten, Yolande Berbers (Katholieke Universiteit Leuven, B)
• A Logic Basis for the Specification of Reconfigurable Component-Based Systems
  Nazareno Aguirre, Tom Maibaum (King's College, London, UK)
• An Overall System Design Approach doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems
  Clemens Reichmann (University of Karlsruhe, D), Markus Kühl (Research Center for Information Technology, Karlsruhe, D), Klaus D. Müller-Glaser (University of Karlsruhe, D)

12.30 - 14.30:

17.15 - 18.45:

FASE: Mobile Computing
Session chair: Henry Muccini

• Composing Specifications of Event Based Applications?
  Pascal Fenkam, Harald Gall, Mehdi Jazayeri (Technical University of Vienna, A)
• A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
  Stephan Merz (INRIA Lorraine, F), Martin Wirsing, Julia Zappe (Universität München, D)
• Spatial Security Policies for Mobile Agents in a Sentient Computing Environment
  David Scott, Alastair Beresford, Alan Mycroft (University of Cambridge,UK)

Thursday, April 10:

10.30 - 12.30:

FASE: Aspect and Object Oriented Programming
Session chair: Luciano Baresi

• Towards UML-based Formal Specifications of Component Based Real-Time Software
  Vieri Del Bianco, Luigi Lavazza (Politecnico di Milano and CEFRIEL, I), Marco Mauri, Giuseppe Occorso (Politecnico di Milano, I)
• Modelling Recursive Calls with UML State Diagrams
  Jennifer Tenzer, Perdita Stevens (University of Edinburgh, UK)
• Pipa: A Behavioral Specification Language for AspectJ
  Jianjun Zhao, Martin Rinard (Massachusetts Institute of Technology, USA)
• Tool demo: PacoSuite & JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features
  Wim Vanderperren, Davy Suvée, Bart Wydaeghe (Vrije Universiteit Brussel, B)

12.30 - 14.30:

15.45 - 16.45:

FASE: Distributed and Web Applications
Session chair: Hartmut Ehring

• Model-Based Development of Web Applications Using Graphical Reaction Rules
  Reiko Heckel, Marc Lohmann (University of Paderborn, D)
• Modular Analysis of Dataflow Process Networks
  Yan Jin, Robert Esser, Charles Lakos (Adelaide University, USA), Jörn W. Janneck (University of California at Berkeley, USA)

16.45 - 17.15:

17.15 - 18.45:

FASE: Sofware Measurements
Session chair: Jan Madey

• Foundations of a Weak Measurement-Theoretic Approach to Software Measurement
  Sandro Morasca (Università degli Studi dell'Insubria, I)
• An Information-Based View of Representational Coupling in Object-Oriented Systems
  Pierre Kelsen (Luxembourg University of Applied Sciences, L)

Friday, April 11:

9.00 - 10.00:

FASE invited lecture:
Session chair: Mauro Pezzč

• Symbiosis of Static Analysis and Program Testing
  Michal Young (Oregon University, USA)

10.00 - 10.30:

10.30 - 12.30:

FASE: Formal Verification
Session chair: Reiko Heckel

• A Temporal Approach to Specification and Verification of Pointer Data-Structures
  Marcin Kubica (Warsaw University, PL)
• A Program Logic for Handling JAVACARD's Transaction Mechanism
  Bernhard Beckert (Universität Karlsruhe, D), Wojciech Mostowski (Chalmers University of Technology, S)
• Monad Independent Computational Reasoning in HasCasl
  Lutz Schröder, Till Mossakowski (University of Bremen, D)
• Visual Specifications of Policies and their Verification
  Manuel Koch (Frei Universität Berlin, D), Francesco Parisi-Presicce (Università di Roma, I, and George Mason University, USA)

12.30 - 14.30:

14.30 - 16.00:

FASE: Model Checking
Session chair: Chairç Giovanni Denaro

• Automatic Model Driven Animation of SCR Specifications
  Angelo Gargantini, Elvinia Riccobene (Università di Catania, I)
• Probe Mechanism for Object-Oriented Software Testing
  Anita Goel, (University of Delhi, IND), S. C. Gupta (National Informatics Center, IND), S. K. Wasan (Jamia Millia Islamia, IND)
• Model Checking Software via Abstraction of Loop Transitions
  Natasha Sharygina (Carnegie Mellon University, USA), James C. Browne (The University of Texas, USA)

16.00 - 16.30:

16.30 - 18.30:

FASE: Model Integrations and Extensions
Session chair: José Luiz Fiadeiro

• Integration of Formal Data Types within State Diagrams
  Christian Attiogbe, Pascal Poizat, Gwen Salaiin (Universite de Nantes, F)
• Xere: Towards a Natural Interoperability between XML and ER Diagrams
  G. Della Penna, A. Di Marco, B. Intrigila, I. Melatti, A. Pierantonio (Universita' degli Studi dell'Aquila, I)
• Detecting Implied Scenarios Analyzing Non-Local Branching Choices
  Henry Muccini (Università degli Studi dell'Aquila, I)
• Capturing Overlapping, Triggered and Preemptive Collaborations Using MSCs
  Ingolf H. Krüger (University of California, San Diego, USA)