9.00 9.30 |
Welcome | |||
9.30 10.30 |
FASE Invited Talk Hellmuth Broda (Sun Microsystems (Schweiz) AG) Jini Software Architecture - The End of Protocols as we know them Session chair: Herbert Weber |
|||
10.30 11.15 |
Coffee | |||
11.15 12.45 |
TACAS Real-time and probabilistic systems Session chair: Joost-Pieter Katoen Improving the Verification of Timed Systems using Influence Information Digitisation and Full Abstraction for Dense-Time Model Checking Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach |
FASE Components & Architectures I: Formal Frameworks Session chair: Michael Perin (Grenoble, France) An Approach to Composition Motivated by wp Compositional Verification of Secure Applet Interactions A Generic Component Framework for System Modeling |
ESOP Typing and modularity Session chair: Thomas Jensen Mixin modules in a call-by-value setting Existential Types for Imperative Languages Read Only Types and Functional In-place Update |
ACL |
12.45 14.15 |
Lunch | |||
14.15 16.15 |
TACAS Scheduling Session chair: Kim G. Larsen Timed Automata with Asynchronous Processes: Schedulability and Decidability Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems An Analysis of Zero-Clairvoyant Scheduling Preemptive Job-Shop Scheduling using Stopwatch Automata |
FASE Model and Program Analysis Session chair: Gabriele Taentzer (Paderborn, Germany) Implementing Condition/Event Nets in the Circal Process Algebra Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs Model Generation by Moderated Regular Extrapolation Better Slicing of Programs with Jumps and Switches |
ESOP Programming paradigms Session chair: David Schmidt Soft Concurrent Constraint Programming Programming Languages for Compressing Graphics An Accumulative Parallel Skeleton for All Higher-Order Intensional Type Analysis |
ACL |
16.15 16.45 |
Coffee | |||
16.45 18.15 |
TACAS Miscellaneous Session chair: Hubert Garavel Explicit Modeling of Influences, and of Their Absence, in Distributed Systems A Functional Semantics of Attribute Grammars TIMES - A Tool for Modelling and Implementation of Embedded Systems |
FASE Components & Architectures II: Architecture Descriptions Session chair: Herbert Weber (Berlin, Germany) Architectural Types Revisited: Extensible And/Or Connections Mapping an ADL to a Component-based Application Development Environment From EDOC components to CCM components: a precise mapping specification |
ESOP Lambda calculus Session chair: Didier Remy Branching Types Exceptions, continuations and macro-expressiveness A Theory of Second-Order Trees |
ACL |
19.30 | Reception |