1 / 9

The Organizers: NWO/DFG Cooperation Program on “Validation of Stochastic Systems” (VOSS2)

Two Decades of Probabilistic Verification – Reflections and Perspectives Lorentz Center Workshop Leiden, the Netherlands, 12-16 November 2007. The Organizers: NWO/DFG Cooperation Program on “Validation of Stochastic Systems” (VOSS2). Workshop Program. Monday: Tools Tuesday: Applications

sarai
Download Presentation

The Organizers: NWO/DFG Cooperation Program on “Validation of Stochastic Systems” (VOSS2)

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Two Decades of Probabilistic Verification – Reflections and PerspectivesLorentz Center WorkshopLeiden, the Netherlands, 12-16 November 2007

  2. The Organizers: NWO/DFG Cooperation Program on “Validation of Stochastic Systems” (VOSS2)

  3. Workshop Program • Monday: Tools • Tuesday: Applications • Wednesday: Theory + PhD/Postdoc sessions • Thursday: Theory + Excursion • Friday: Winding Up Much room for discussion and collaboration!!

  4. Case Study: Gossip Networks Essential use of randomization Great potential for applications, e.g. in wireless sensor networks Many open issues!

  5. PhD/Postdoc Session PhDs/postdocs are asked to prepare 5 slides (max) to present (a selected topic from) his/her research: • Research question/hypothesis • Relevance • Line of attack Presentation of 15 min (max) for small group followed by in depth discussion.

  6. Thursday: Excursion to Mauritshuis

  7. Mauritshuis and Probabilities?

  8. Some Questions • Should we combine tool efforts? • How can probabilistic model checking really make an impact? • Role of abstractions • How to handle dynamic topologies?

More Related