Browsing LAMSADE (UMR CNRS 7243) by Author "Ilié, Jean-Michel"
-
Contribution des réseaux de Petri de haut niveau
Haddad, Serge; Ilié, Jean-Michel; Taghelit, Mohamed; Dutheillet, Claude; Moreaux, Patrice (1997) Article accepté pour publication ou publié -
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker
Haddad, Serge; Ilié, Jean-Michel; Klai, Kais (2004) Communication / Conférence -
Exploiting Partial Symmetries in Well-formed nets for the Reachability and the Linear Time Model Checking Problems
Baarir, Souheib; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence -
Exploiting Symmetry in Linear Time Temporal Logic Model Checking : One Step Beyond
Ajami, Khalil; Haddad, Serge; Ilié, Jean-Michel (1998) Communication / Conférence -
An Incremental Verification Technique using Decomposition of Petri Nets
Klai, Kais; Haddad, Serge; Ilié, Jean-Michel (2002) Communication / Conférence -
A Model Checking Method for Partially Symmetric Systems
Haddad, Serge; Ilié, Jean-Michel; Ajami, Khalil (2000) Communication / Conférence -
Modular Verification of Petri nets properties: a Structure-based Approach
Klai, Kais; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence -
On the use of exact lumpability in partially symmetrical Well-formed Nets
Baarir, Souheib; Dutheillet, Claude; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence -
Symbolic Reachability Graph and Partial Symmetries
Haddad, Serge; Ilié, Jean-Michel; Taghelit, Mohamed; Zouari, Belhassen (1995) Communication / Conférence -
Symétries et logique temporelle
Haddad, Serge; Ilié, Jean-Michel (2003) Chapitre d'ouvrage