Searching for authors named "Denis Poitrenaud" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

Detection of Illegal Behaviors Based on Unfoldings
by Jean-michel Couvreur, Denis Poitrenaud — 1999
…Detection of Illegal Behaviors Based on Unfoldings Jean-Michel Couvreur 1 and Denis Poitrenaud 2 1…
Add To MetaCart

Modelling and Analyzing Systems with Recursive Petri Nets
by Serge Haddad, Denis Poitrenaud — 2000 — In Proc. of the Workshop on Discrete Event Systems - Analysis and Control
….Haddad@(email omitted); Denis Poitrenaud LIP6 - UMR 7606, Universit'e Paris VI, Jussieu 4, Place Jussieu, 75252 Paris cedex 05…
Cited by 1 (0 self) – Add To MetaCart

Model CHECKING BASED ON OCCURRENCE Net Graph
by Jean-michel Couvreur, Denis Poitrenaud — 1996 — In Proc. of Formal Description Techniques IX, Theory, Applications and Tools
…MODEL CHECKING BASED ON OCCURRENCE NET GRAPH Jean-Michel Couvreur + , Denis Poitrenaud…
Cited by 1 (1 self) – Add To MetaCart

The Barrier-Lock Time: A Scalable Logical Support For Capturing Causality In Lazy Release Consistency Memory Model
by Luciana Arantes, Denis Poitrenaud, Pierre Sens, Bertil Folliot
…, DENIS POITRENAUD, PIERRE SENS, AND BERTIL FOLLIOT Laboratoire d'Informatique de Paris 6, Universite…
Add To MetaCart

SPOT: an Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata
by Alexandre Duret-Lutz, Re Duret-lutz, Denis Poitrenaud — 2004 — In Proc. of MASCOTS’04
… Alexandre Duret-Lutz and Denis Poitrenaud Laboratoire d’Informatique de Paris 6, Université P. & M. Curie, 4…
Cited by 6 (1 self) – Add To MetaCart

On-the-fly Emptiness Checks for Generalized Büchi Automata
by Jean-michel Couvreur, Alexandre Duret-Lutz, Re Duret-lutz, Denis Poitrenaud — 2005 — In Proc. 12th Intl. spin Works. on Model Checking Software, LNCS #1708
… Duret-Lutz 2 , and Denis Poitrenaud 2 1 LaBRI, Université de Bordeaux I, Talence, France 2 LIP6…
Cited by 1 (0 self) – Add To MetaCart

Data Decision Diagrams for Petri Nets Analysis
by Jean-Michel Couvreur Emmanuelle, Jean-michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-adet, Denis Poitrenaud, Pierre-andré Wacrenier — In Proc. of ICATPN’2002
… , Emmanuel Paviot-Adet 2 , Denis Poitrenaud 2 , and Pierre-André Wacrenier 1 1 LaBRI, Université Bordeaux 1…
Add To MetaCart

A Symbolic Symbolic State Space Representation
by Yann Thierry-mieg, Jean-michel Ilié, Denis Poitrenaud, Well-formed Petri Nets, Symmetry Detection — 2004
… Poitrenaud SRC - LIP6 - UMR 7606, Université Paris 6 4, Place Jussieu, 75252 Paris cedex 05 (firstname…
Cited by 2 (1 self) – Add To MetaCart

Universite Paris 6 - CNRS - Laboratoire d'informatique de Paris 6, Paris, France, September 1999.
by Hp Serge Haddad, Publications Of Denis Poitrenaud, Bcg François Bréant, Jean-michel Couvreur, Frédéric Gilliers, Isabelle Mounier, Emmanuel Paviot-adet, Denis Poitrenaud, Dan Regep, Grégoire Sutre, Formal Methods Embedded, Bp Robert Brgan — 2005
…ions and Theory of Petri Nets (ICATPN'00), Lecture Notes in Computer Science, Aarhus, Denmark, June 2000. Springer-Verlag. [TMIP04] Yann Thierry-Mieg, Jean-Michel Ilie, and Denis Poitrenaud. A symbolic symbolic state space representation. In David de FrutosEscrig and Manuel Nunez, editors, Proceedi…
Add To MetaCart

Showing 1 through 9.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB