BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Real-time verification with bigraphs with sharing - Michele Sevegn
 ani (University of Glasgow)
DTSTART:20120315T160000Z
DTEND:20120315T170000Z
UID:TALK35526@talks.cam.ac.uk
CONTACT:Eiko Yoneki
DESCRIPTION:Bigraphical reactive systems (BRS) is a formalism developed by
  Robin Milner for modelling the temporal and spatial evolution of computat
 ion.\nWe have extended it to bigraphs with sharing so that spatial locatio
 ns can overlap. In this talk\, we describe a novel application for runtime
  verification of domestic wireless network management. We present on-line 
 generation and analysis of bigraphical models of the current network topol
 ogy\, network events and activated access policies. The models are generat
 ed in real-time from events such as a new machine joining the network\, or
  from policy activations such as blocking TCP traffic from a given site. V
 erification is carried out in real-time by a bespoke bigraph reasoning sys
 tem.\n\nBIO: I am a PhD student at the University of Glasgow\, under Profe
 ssor Muffy Calder. My research is on bigraphs with sharing and innovative 
 applications of formal methods to every-day problems. I am involved in the
  Homework Research Project\, developing new network architectures and mana
 gement tools for future domestic networks.\nI obtained a BSc. degree in Co
 mputer Science from the University of Trento (thesis Encoding Orc in Pi-ca
 lculus) and an MSc in Informatics from the University of Edinburgh and Tre
 nto (thesis Implementing Stochastically-Timed COWS for the Prism Probabili
 stic Model Checker)\, supervised by Stephen Gilmore and Paola Quaglia.\n
LOCATION:FW26\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR