Wednesday, November 4, 2009, Eindhoven, The Netherlands
Collocating with Formal Methods 2009,
November 2 - November 6, 2009
and other related events for the first time under the heading of Formal Methods Week.
8:55 - 9:00 OPENING 9:00 - 10:00 INVITED TALK
Parallel symbolic state-space exploration is difficult, but what is the alternative?
Gianfranco Ciardo (University of California at Riverside, USA)
10:00 - 10:30 SPECIAL P2P TRACK paper
Formal Aspects of Grid Brokering
Attila Kertesz and Zsolt Nemeth
10:30 - 11:00 COFFEE BREAK 11:00 - 11:30 PDMC REGULAR TALK
Distributed Branching Bisimulation Minimization by Inductive Signatures
Stefan Blom and Jaco van de Pol
11:30 - 12:00 PDMC REGULAR TALK
Efficient parallel statistical Model Checking of Biochemical Networks
Paolo Ballarini, Tommaso Mazza, Davide Prandi and Michele Forlin
12:00 - 12:30 PDMC REGULAR TALK
Tarmo: A Framework for Parallelized Bounded Model Checking
Siert Wieringa, Matti Niemenmaa and Keijo Heljanko
12:30 - 14:00 LUNCH 14:00 - 14:30 PDMC REGULAR TALK
An Efficient Explicit-time Description Method for Timed Model Checking
Hao Wang and Wendy MacCaull
14:30 - 15:00 PDMC REGULAR TALK
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
Fuad Abujarad, Borzoo Bonakdarpour and Sandeep Kulkarni
15:00 - 15:30 TOOL Presentation
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
Jiri Barnat, Lubos Brim and Milan Ceska
15:30 - 16:00 COFFEE BREAK 16:00 - 16:20 WORK-IN-PROGRESS REPORT
Efficient Explicit-State Model Checking on General Purpose Graphic Processors
Stefan Edelkamp and Damian Sulewski
16:20 - 16:40 WORK-IN-PROGRESS REPORT
MC-LAB: A Model Checking Laboratory
Thorsten Hoeger and Martin Leucker
16:40 - 17:00 WORK-IN-PROGRESS REPORT
Workflow Verification with DiVinE
Nazia Leyla, Ahmed Mashiyat, Hao Wang and Wendy MacCaull
17:00 - 17:20 WORK-IN-PROGRESS REPORT
Parallel Model Checking of Event-B Specification with ProB
Jens Bendisposto and Michael Leuschel
17:20 - 18:00 Open Session - Discussion