Denis Poitrenaud

SPOT: an extensible model checking library using transition-based generalized buchi automata

Alexandre Duret-Lutz, Denis Poitrenaud · 2004 · 135 citations

Computing, Computer Engineering, Computer Science +13

Recursive Petri nets

Serge Haddad, Denis Poitrenaud · Acta Informatica · 2007 · 46 citations

Variations on parallel explicit emptiness checks for generalized Büchi automata

Étienne Renault, Alexandre Duret-Lutz, Fabrice Kordon et al. · International Journal on Software Tools for Technology Transfer · 2016 · 14 citations · Full text

Computing, Computer Engineering, Computer Science +9

Complementary Formal Approaches for Dependability Analysis

Souheib Baarir, Cécile Braunstein, Renaud Clavel et al. · 2009 · 13 citations

Engineering, Computer Engineering, Computer Science +17

Branching Processes of General Petri Nets

Jean‐Michel Couvreur, Denis Poitrenaud, Pascal Weil · Fundamenta Informaticae · 2013 · 13 citations · Full text

Engineering, Systems Engineering, Stochastic Processes +4