Petri Nets 2010, ACSD 2010 - Braga, Portugal


ACSD 2010

Braga, Portugal, June 21-25, 2010
Petri Nets 2010, ACSD 2010 - Braga, Portugal
Wednesday, 23 June 2010

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
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