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 |
FASE Requirements Engineering Session chair: Tiziana Margaria (Dortmund, Germany) An Authoring Tool for Informal and Formal Requirements Specifications Introducing Context-Based Constraints for Requirements Engineering Formal Requirements Engineering using Observer Models Automatic Generation of Use Cases from Workflows: a Petri net based approach |
ESOP Distributed programs: verification and analysis Session chair: Florence Maraninchi Thread-Modular Verification For Shared-Memory Programs Timing UDP: mechanized semantics for sockets, threads and failures Finite-Control Mobile Ambients Dependency Analysis of Mobile Systems |
FOSSACS Specification Session chair: Andrzej Tarlecki On the Integration of Observability and Reachability Concepts Logics Admitting Final Semantics On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability Heterogeneous Development Graphs and Heterogeneous Borrowing |
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 |
FASE Case tools Session chair: Marie-Claude Gaudel (Orsay, France) Meta-modeling Techniques Meet Web Application Design Tools Formal-Driven Conceptualization and Prototyping of Hypermedia Applications |
CC Tool Demonstrations Session chair: LISA: An Interactive Environment for Programming Language Development Generating an Interpreter with vmgen Compiler Construction using LOTOS NT |
FOSSACS Semantics and Types Session chair: Don Sanella Verification for Java's Reentrant Multithreading Concept Efficient Type Matching A Semantic Basis for Local Reasoning |
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 |
empty | empty |
FOSSACS Distributed Systems Session chair: Fernando Orejas Characterization of Families of Graphs in which Election is Possible Conflict Detection and Resolution in Access Control Policy Specifications |
20.00 | ETAPS DINNER (Buses leave on 19:30) |