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
Modal Transition Systems: a Foundation for Three-Valued Program
Analysis
Entailment with Conditional Equality Constraints
On the Complexity of Constant Propagation
|
FASE
UML 1 Session chair: Tom Maibaum
A Real-Time Execution Semantics for UML Activity Diagrams
A CSP View on UML-RT Structure Diagrams
Strengthening UML Collaboration Diagrams by State Transformations
Specification of Mixed Systems in Korrigan with the Support of an
UML-Inspired Graphical Notation
|
TACAS
Testing: Techniques and Tools Session chair: Ed Brinksma
Automated Test Generation from Timed Automata
Testing an Intentional Naming Scheme Using Genetic Algorithms
Building a Tool for the Analysis and Testing of Web
Applications: Problems and Solutions
TATOO: Testing and Analysis Tool for Object-Oriented Software
|
12.30 15.00 |
Lunch | ||
15.00 17.00 |
ESOP
Concurrency, Types and Analysis Session chair: Mads Dam
What are Polymorphically-Typed Ambients?
JOIN(X): Constraint-Based Type Inference for the Join-Calculus
Modular Causality in a Synchronous Stream Language
Control-Flow Analysis in Cubic Time
|
FASE
UML 2 Session chair: Bernhard Rumpe
On Use Cases and their Relationships in the Unified Modelling Language
On the Importance of Inter-Scenario Relationships in Hierarchical
State Machine Design
Towards a Rigorous Semantics of UML Supporting its Multiview Approach
Towards Development of Secure Systems using UML
|
TACAS
Tool Demos Session chair: Hubert Garavel
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets
The ASM Workbench: A Tool Environment for Computer-Aided Analysis and
Validation of Abstract State Machine Models
The EVT Erlang Verification Tool
|
17.00 17.30 |
Coffee | ||
17.30 19.00 |
Panel Free software: the future of software engineering? |
||
20.00 |