Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Parameterized Verification of Ad Hoc Networks

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Arnaud Sangnier
Date
Le mardi 19 octobre 2010 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Arnaud Sangnier (LIAFA, Université Paris Diderot (Paris VII))

We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast. The communication topology of a network is represented as a graph. Nodes represent states of individual processes. Adjacent nodes represent single-hop neighbors. Processes are finite state automata that communicate via selective broadcast messages. Reception of a broadcast is restricted to single-hop neighbors. For this model we consider verification problems that can be expressed as reachability of configurations with one node (resp. all nodes) in a certain state from an initial configuration with an arbitrary number of nodes and unknown topology. We are interested in decision problems that are parametric on the size and on the shape of the communication topology of the initial configurations. We draw a complete picture of the decidability boundaries of these problems according to different assumptions on the mobility of the nodes in the networks and on the form of the communication graphs.

This a joint work with Giorgio Delzanno (University of Genova) and Gianluigi Zavattaro (University of Bologna).


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents