Denis Poitrenaud
发表
Kamel Barkaoui,
Bruno Monsuez,
Denis Poitrenaud,
2011
.
Emmanuelle Encrenaz-Tiphène,
Souheib Baarir,
Régis Leveugle,
2009,
2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems.
Denis Poitrenaud,
Etienne Renault,
2019,
ICFEM.
Fabrice Kordon,
Denis Poitrenaud,
Alexandre Duret-Lutz,
2015,
TACAS.
Denis Poitrenaud,
Alexandre Duret-Lutz,
2004,
The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..
Stéphane Demri,
Denis Poitrenaud,
2011
.
Emmanuelle Encrenaz-Tiphène,
Souheib Baarir,
Denis Poitrenaud,
2011,
Formal Methods Syst. Des..
Denis Poitrenaud,
Jean-Michel Couvreur,
Alexandre Duret-Lutz,
2009,
ATVA.
Denis Poitrenaud,
Jean-Michel Couvreur,
Sébastien Grivet,
2000,
ICATPN.
Kais Klai,
Denis Poitrenaud,
Alexandre Duret-Lutz,
2011,
ATVA.
Kais Klai,
Denis Poitrenaud,
Alexandre Duret-Lutz,
2011,
ArXiv.
Fabrice Kordon,
Denis Poitrenaud,
Isabelle Mounier,
2004,
Formal Methods for Embedded Distributed Systems.
Fabrice Kordon,
Denis Poitrenaud,
Alexandre Duret-Lutz,
2017,
International Journal on Software Tools for Technology Transfer.
Emmanuelle Encrenaz-Tiphène,
Denis Poitrenaud,
Jean-Michel Couvreur,
2002,
ICATPN.
Pierre Sens,
Luciana Arantes,
Bertil Folliot,
2001,
Parallel Process. Lett..
Serge Haddad,
Denis Poitrenaud,
1999,
ICATPN.
Denis Poitrenaud,
Jean-Michel Couvreur,
Alexandre Duret-Lutz,
2005,
SPIN.
Kais Klai,
Denis Poitrenaud,
D. Poitrenaud,
2008,
Petri Nets.
Serge Haddad,
Denis Poitrenaud,
2000
.
Fabrice Kordon,
Denis Poitrenaud,
Alexandre Duret-Lutz,
2016,
ATVA.
Fabrice Kordon,
Denis Poitrenaud,
Etienne Renault,
2013,
TACAS.
Denis Poitrenaud,
Pascal Weil,
Jean-Michel Couvreur,
2011,
Petri Nets.
Mahmoud Boufaïda,
Denis Poitrenaud,
Sabine Boufenara,
2000,
ADVIS.
Denis Poitrenaud,
Jean-Michel Couvreur,
Sébastien Grivet,
2001,
ICATPN.
Serge Haddad,
Denis Poitrenaud,
S. Haddad,
2001,
Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
Denis Poitrenaud,
Jean-Michel Couvreur,
1996,
FORTE.
Denis Poitrenaud,
Jean-Michel Couvreur,
1999,
ICATPN.
Jean-François Pradat-Peyre,
Denis Poitrenaud,
D. Poitrenaud,
2000,
ICATPN.
Fabrice Kordon,
Denis Poitrenaud,
Alexandre Duret-Lutz,
2013,
LPAR.
Denis Poitrenaud,
Jean-Michel Ilié,
Yann Thierry-Mieg,
2004,
FORTE.
Souheib Baarir,
Denis Poitrenaud,
Cécile Braunstein,
2010
.
Serge Haddad,
Denis Poitrenaud,
S. Haddad,
2007,
Acta Informatica.
Denis Poitrenaud,
Robert Brgan,
1995,
Application and Theory of Petri Nets.
Fabrice Kordon,
Denis Poitrenaud,
Yann Thierry-Mieg,
2009,
TACAS.
Denis Poitrenaud,
Pascal Weil,
Jean-Michel Couvreur,
2013,
Fundam. Informaticae.
Denis Poitrenaud,
Emmanuel Paviot-Adet,
Yann Thierry-Mieg,
2021,
ArXiv.
Denis Poitrenaud,
Pascal Weil,
Jean-Michel Couvreur,
2004
.