MONDAY, 8 April |
||||
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 |
|||
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 |
|||
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 |
|||
20.00 | Reception | |||
TUESDAY, 9 April |
||||
9.00 10.00 |
ESOP Invited Talk Greg Morrisett (Cornell University, USA) Type Checking Systems Code Session chair: Daniel Le Métayer |
|||
10.00 10.45 |
Coffee | |||
10.45 12.45 |
TACAS Software verification Session chair: Wang Yi Relative Completeness of Abstraction Refinement for Software Model Checking Towards the Automated Verification of Multithreaded Java Programs CLPS-B - A Constraint Solver for B Formal Verification of Functional Properties of an SCR-style Software Requirements Specification using PVS |
|||
12.45 14.15 |
Lunch | |||
14.15 15.15 |
TACAS Invited Talk Michael Lowry (NASA Ames Research Center) Software Construction and Analysis Tools for Future Space Missions Session chair: Perdita Stevens |
|||
15.15 16.00 |
Coffee | |||
16.00 17.30 |
TACAS Infinite-state and parametric systems Session chair: Bernard Steffen Beyond Parameterized Verification Resource-Constrained Model Checking of Recursive Programs Model Checking Large-scale and Parameterized Resource Allocation Systems |
|||
17.30 17.45 |
Short Break | |||
17.45 18.45 |
TACAS Tool demo Session chair: Joost-Pieter Katoen Compositional Verification using SVL Scripts |
|||
20.00 | nyd | |||
WEDNESDAY, 10 April |
||||
9.00 10.00 |
ETAPS Invited Talk Daniel Jackson (MIT Lab for Computer Science) Alloy: A New Technology for Software Modelling Session chair: Susanne Graf |
|||
10.00 10.45 |
Coffee | |||
10.45 12.45 |
TACAS Model checking: logics and algorithms Session chair: John Hatcliff Exploring Very Large State Spaces Using Genetic Algorithms Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems The ForSpec Temporal Logic: A New Temporal Property-Specification Language Fine-Grained Conjunction Scheduling for Symbolic Reachablity Analysis |
|||
12.45 14.15 |
Lunch | |||
14.15 15.15 |
ETAPS Invited Talk Mary Shaw (Carnegie Mellon University) What Makes Good Research in Software Engineering? Session chair: José Fiadeiro |
|||
15.15 16.00 |
Coffee | |||
16.00 17.30 |
TACAS Model checking and testing (3) Session chair: Ed Brinksma A Temporal Logic Based Theory of Test Coverage and Generation Synthesizing Monitors for Safety Properties Adaptive Model Checking |
|||
17.30 17.45 |
Short break | |||
17.45 18.45 |
TACAS Tool demo (1 of 2) Session chair: Matthew Dwyer STG: A Symbolic Test Generation Tool |
|||
20.00 | ETAPS DINNER | |||
THURSDAY, 11 April |
||||
9.00 10.00 |
FOSSACS Invited Talk Bruno Courcelle (Université Bordeaux, F) Semantical Evaluations as Monadic Second-order Compatible Structure Transformations Session chair: Mogens Nielsen |
|||
10.00 10.45 |
Coffee | |||
10.45 12.45 |
TACAS Partial-order and simulation techniques Session chair: Claude Jard Parallelisation of the Petri Net Unfolding Algorithm Black Box Unfolding with Local First Search Applicability of Fair Simulation Simulation as Coarsest Partition Problem |
|||
12.45 14.15 |
Lunch | |||
14.15 15.15 |
SPIN Invited Talk Ed Clarke (Carnegie Mellon University) SAT-based Counterexample Guided Abstraction Refinement Session chair: |
|||
15.15 16.00 |
Coffee | |||
16.00 17.30 |
TACAS Debugging with model checking Session chair: Perdita Stevens Temporal Debugging for Concurrent Systems Fate and Free Will in Error Traces Real-Time Systems Design with PEP |