Wednesday, 23 June 2010
| PETRI NETS | ACSD | ||
|---|---|---|---|
| 08:30-09:00 | Opening Session | ||
| 09:00-10:00 | Invited Speaker: Kim Guldstrand Larsen Verification, Compositionality and Refinements for Real-Time Systems |
||
| 10:00-10:30 | coffee break | ||
| 10:30-11:00 | Valmari, Hansen Can Stubborn Sets Be Optimal? |
Mokhov, Alekseyev, Yakovlev Automated Synthesis of Instruction Codes in the Context of Micro-Architecture Design |
|
| 11:00-11:30 | Weidlich, Polyvyanyy, Mendling, Weske Efficient Computation of Causal Behavioural Profiles using Structural Decomposition |
Wist, Schaefer, Vogler, Wollowski STG Decomposition: Internal Communication for SI Implementability |
|
| 11:30-12:00 | Maréchal, Buchs, Risoldi, Hostettler AlPiNA: A Symbolic Model Checker |
Toms, Edwards A Complete Synthesis Method for Block-Level Relaxation in Self-Timed Datapaths |
|
| 12:00-12:30 | Brej Wagging Logic: Implicit Parallelism Extraction Using Asynchronous Methodologies |
||
| Lunch | |||
| 14:00-15:00 | Invited Speaker: Gabriel Juhás Instance Deadlock: A Mystery Behind Frozen Programs |
||
| 15:00-15:30 | coffee break | ||
| 15:30-16:00 | Wang Canonical Transition Set Semantics for Petri Nets |
Xing, Theelen, Langerak, van de Pol, Tretmans, Voeten From POOSL to UPPAAL: Transformation and Quantitative Analysis |
|
| 16:00-16:30 | Miner, Babar, Becutti, Donatelli GreatSPN Enhanced with Decision Diagram Data Structures |
Voron, Démoulins, Kordon Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach |
|
| 16:30-17:00 | Tool exhibition | Song, Edwards An Asynchronous Routing Algorithm for Clos Networks |
|
| 17:00-17:15 | Doyen, Henzinger, Legay, Nickovic Robustness of Sequential Circuits |
||
| 17:15-17:30 | Ghassemi, Movaghar, Fokkink Towards Performance Evaluation of Mobile Ad Hoc Network Protocols |
||
| 17:30-18:30 | |||
