Program of Thursday, April 5th

 9.00
10.00
Bran Selic (Invited Lecture)
10.00
10.30
Coffee
10.30
12.30
ESOP
Foundations of Program Analysis and Verification
Session chair:
Mooly Sagiv

On the Completeness of Model Checking
Francesco Ranzato (Università di Padova)

Modal Transition Systems: a Foundation for Three-Valued Program Analysis
Michael Huth (Kansas State University),
Radha Jagadeesan (Loyola University),
David Schmidt (Kansas State University)

Entailment with Conditional Equality Constraints
Zhendong Su, Alexander Aiken (University of California, Berkeley)

On the Complexity of Constant Propagation
Markus Müller-Olm, Oliver Rüthing (University of Dortmund)

FASE
UML 1
Session chair: Tom Maibaum

A Real-Time Execution Semantics for UML Activity Diagrams
Rik Eshuis, Roel Wieringa (University of Twente)

A CSP View on UML-RT Structure Diagrams
Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim (Universität Oldenburg)

Strengthening UML Collaboration Diagrams by State Transformations
Reiko Heckel, Stefan Sauer (Universität Paderborn)

Specification of Mixed Systems in Korrigan with the Support of an UML-Inspired Graphical Notation
Christine Choppy (Université Paris XIII),
Pascal Poizat, Jean-Claude Royer (Université de Nantes)

TACAS
Testing: Techniques and Tools
Session chair: Ed Brinksma

Automated Test Generation from Timed Automata
Brian Nielsen, Arne Skou (Aalborg University)

Testing an Intentional Naming Scheme Using Genetic Algorithms
Sarfraz Khurshid (Massachusetts Institute of Technology, Cambridge)

Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions
Filippo Ricca, Paolo Tonella (Centro per la Ricerca Scientifica e Tecnologica, Povo di Trento)

TATOO: Testing and Analysis Tool for Object-Oriented Software
Amie L. Souter (University of Delaware),
Tiffany M. Wong (Dartmouth College, Hanover, NH),
Starcey A. Shindo, Lori L. Pollock (University of Delaware)

12.30
15.00
Lunch
15.00
17.00
ESOP
Concurrency, Types and Analysis
Session chair:
Mads Dam

What are Polymorphically-Typed Ambients?
Torben Amtoft, Assaf J. Kfoury, Santiago M. Pericas-Geertsen (Boston University)

JOIN(X): Constraint-Based Type Inference for the Join-Calculus
Sylvain Conchon, Francois Pottier (INRIA Rocquencourt)

Modular Causality in a Synchronous Stream Language
Pascal Cuoq, Marc Pouzet (INRIA, Paris VI)

Control-Flow Analysis in Cubic Time
Flemming Nielson (Aarhus University),
Helmut Seidl (Universität Trier)

FASE
UML 2
Session chair: Bernhard Rumpe

On Use Cases and their Relationships in the Unified Modelling Language
Perdita Stevens (University of Edinburgh)

On the Importance of Inter-Scenario Relationships in Hierarchical State Machine Design
Francis Bordeleau, Jean-Pierre Corriveau (Carleton University, Ottawa)

Towards a Rigorous Semantics of UML Supporting its Multiview Approach
Gianna Reggio, Maura Cerioli, Egidio Astesiano (Università di Genova)

Towards Development of Secure Systems using UML
Jan Jürjens (University of Oxford)

TACAS
Tool Demos
Session chair: Hubert Garavel

CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets
M. Beaudouin-Lafon, W. Mackay, M. Jensen, P. Andersen, P. Janecek, M. Lassen, K. Lund, K. Mortensen, S. Munck, A. Ratzer, K. Ravn, S. Christensen, K. Jensen (Aarhus University)

The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models
G. Del Castillo (Universität Paderborn)

The EVT Erlang Verification Tool
T. Noll (Royal Institute of Technology, Stockholm),
L. Fredlund, D. Gurov (Swedish Institute of Computer Science, Kista)

17.00
17.30
Coffee
17.30
19.00
Panel
Free software: the future of software engineering?
20.00