Differences

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//)
fmoodsforte/programme.txt · Last modified: 2011/06/16 14:09 by dingel
Reykjavik University - School of Computer Science - discotec@ru.is