FORWARD: A future of reliable wireless ad-hoc networks of roaming devices

Project details

Funded by: and (part of Next Wave Technologies and Markets)

Dates: 2003-2005

Institutions:

University of Birmingham

People

• Principal investigator: Marta Kwiatkowska
• Research fellow: Marie Duflot

Further information

• Main project web site
• Project publications

Presentations from FORWARD Meetings

• "Towards verification of Bluetooth device discovery", Marie Duflot, FORWARD meeting, Jun 2004
• "PRISM - An Update", Dave Parker, FORWARD meeting, Jan 2004
• "Performance Analysis of Probabilistic Timed Automata Using Digital Clocks", Dave Parker, FORWARD meeting, Jan 2004
• "Rendezvous for Bluetooth devices", Marie Duflot, FORWARD meeting, Jan 2004
• "PRISM An Overview", Dave Parker, FORWARD meeting, Jan 2003

Related Talks/Presentations

• "Probabilistic model checking in practice: Case studies with PRISM", Marta Kwiatkowska, QAPL'05, Apr 2005
• "Analysing mobile ad hoc networks via probabilistic model checking", Marta Kwiatkowska, Microsoft Research, Redmond, Apr 2005
• "Modelling and verification of probabilistic systems", Marta Kwiatkowska, Liverpool, Mar 2004
• "A Formal Analysis of Bluetooth Device Discovery", Marie Duflot, ISOLA'04, Nov 04
• "Analysing mobile ad hoc networks via probabilistic model checking", Marta Kwiatkowska, University of Illinois Urbana-Champaign, Nov 2004
• "Protocol analysis via probabilistic model checking", Marta Kwiatkowska, CMU, Nov 2004
• "Modelling and verification of probabilistic systems", Marta Kwiatkowska, Lucent, Nov 2004
• "Protocol analysis via probabilistic model checking", Marta Kwiatkowska, Stanford, Nov 2004
• "Analysing mobile networks via probabilistic model checking", Marta Kwiatkowska, FGUC'04, Sep 2004