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 |
FOSSACS Infinite State Systems Session chair: Julian Bradfield Higher-order Pushdown Trees are Easy Model-Checking Infinite Systems Generated by Ground Tree Rewriting Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds Note on the Tableau Technique for Commutative Transition Systems |
CC Analysis and Optimization Session chair: Data Compression Transformations for Dynamically Allocated Data Structures Evaluating a Demand-Driven Technique for Call Graph Construction A Graph-Free Approach to Data-Flow Analysis A Representation for Bit Section Based Analysis and Optimization |
SPIN |
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 |
FOSSACS Logic Session chair: Antoine Petit Model Checking Fixed Point Logic with Chop Verifying Temporal Properties using Explicit Approximants: Completeness for Context-free Processes A Calculus of Circular Proofs and its Categorical Semantics |
CC Low-level Analysis Session chair: Efficient Online Subpath Profiling Precise Exception Semantics in Dynamic Compilation Decompiling Java Bytecode: Problems, Traps and Pitfalls |
SPIN |
17.30 17.45 |
Short Break | |||
17.45 18.45 |
empty |
FOSSACS Message Sequence Charts Session chair: Doron Peled Bounded MSC Communication Generalised Regular MSC Languages |
CC Grammars and Parsing Session chair: Forwarding in Attribute Grammars for Modular Language Design Disambiguation Filters for Scannerless Generalized LR Parsers |
SPIN |
20.00 | nyd |