Journée du 11 mars 2011

Rubriques
Travaux en commun
Publications
Info. pratiques
Contacts

Postes
Séminaires
Le prochain

16/12/2011
04/11/2011
30/09/2011
06/05/2011
11/03/2011
11/02/2011
11/01/2011

17/12/2010
05/11/2010
24/09/2010
18/06/2010
21/05/2010
05/03/2010
22/01/2010

04/12/2009
13/11/2009
02/10/2009
05/06/2009
03/04/2009
06/03/2009
23/01/2009

Séminaires 2008

Séminaires 2007

Séminaires 2006

Séminaires 2005


mod. 09-Fév-2012

Lieu

IBISC, salle de séminaire au 1er étage: comment y aller

Programme

14h00-15h00: S. Evangelista, Université Paris 13, "Parallel Nested Depth-First Searches for LTL Model Checking"

Abstract:transparents This talk introduces a parallel version of the nested-depth first search algorithm for LTL model checking. Our algorithm is adapted to shared memory, multi-core architectures. It exhibits good speed-ups as supported by a series of experiments.

15h00-15h30 : C. Rodriguez, ENS de Cachan, "Efficient contextual unfolding"

Abstract:transparents A contextual net is a Petri net extended with read arcs, that is, special arcs allowing a transition to check for the presence of tokens in a place without consuming them. The unfolding of a contextual net is another safe, acyclic contextual net that completely expresses its behaviour. Paolo Baldan et al. presented in 2008 an abstract procedure to construct a complete prefix of the unfolding for a (safe) contextual net. In this talk, we present this abstract procedure, with focus on the work done to obtain a first real (moderately efficient) implementation of it.

15h30-16h00: pause café

16h00: vie du groupe