DisCoTec2011
COORDINATION
DAIS
FMOODS & FORTE
Workshops
Previous Events
This shows you the differences between two versions of the page.
|
fmoodsforte:programme [2011/06/02 14:43] dingel |
fmoodsforte:programme [2011/06/16 14:09] (current) dingel |
||
|---|---|---|---|
| Line 79: | Line 79: | ||
| 12:30 - 14:00 Lunch | 12:30 - 14:00 Lunch | ||
| - | 14:00 - 16:00 **Model Checking** (Session Chair: TBA) | + | 14:00 - 16:00 **Model Checking** (Session Chair: Juergen Dingel) |
| * 14:00 - Partial Order Methods for Statistical Model Checking and Simulation (//Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns and Holger Hermanns//) | * 14:00 - Partial Order Methods for Statistical Model Checking and Simulation (//Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns and Holger Hermanns//) | ||
| * 14:30 - SimGrid MC: Verification Support for a Multi-API Simulation Platform (//Martin Quinson, Cristián Rosa and Stephan Merz//) | * 14:30 - SimGrid MC: Verification Support for a Multi-API Simulation Platform (//Martin Quinson, Cristián Rosa and Stephan Merz//) | ||
| Line 88: | Line 88: | ||
| 16:00 - 16:30 Coffee break | 16:00 - 16:30 Coffee break | ||
| - | 16:30 to 17:30 **Decidability and Complexity** (Session Chair: TBA) | + | 16:30 to 17:30 **Decidability and Complexity** (Session Chair: Roberto Bruni) |
| * 16:30 - Dynamic soundness in Resource-Constrained Workflow Nets (//María Martos-Salgado and Fernando Rosa-Velardo//) | * 16:30 - Dynamic soundness in Resource-Constrained Workflow Nets (//María Martos-Salgado and Fernando Rosa-Velardo//) | ||
| * 17:00 - Adaptable Processes: Extended Abstract (//Mario Bravetti, Cinzia Di Giusto, Jorge A. Perez and Gianluigi Zavattaro//) | * 17:00 - Adaptable Processes: Extended Abstract (//Mario Bravetti, Cinzia Di Giusto, Jorge A. Perez and Gianluigi Zavattaro//) | ||