( en | de | ru )

 

Disambiguation of "Poitrenaud, Denis"

Author of the publication

copydeleteadd this publication to your clipboard
Variations on parallel explicit emptiness checks for generalized Büchi automata.

, , , and . Int. J. Softw. Tools Technol. Transf., 19 (6): 653-673 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gérard Poitrenaud

Wladimir Denisow

Jaap Denissen

Natalja Denisjuk

Alexander Arnold Denisiuk

 

Other publications of authors with the same name

Data Decision Diagrams for Petri Net Analysis., , , , and . ICATPN, volume 2360 of Lecture Notes in Computer Science, page 101-120. Springer, (2002)MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs., and . Petri Nets, volume 5062 of Lecture Notes in Computer Science, page 288-306. Springer, (2008)The Barrier-Lock Clock: A Scalable Synchronization-Oriented Logical Clock., , , and . Parallel Process. Lett., 11 (1): 65-76 (2001)Combining Parallel Emptiness Checks with Partial Order Reductions., and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 370-386. Springer, (2019)Designing a LTL Model-Checker Based on Unfolding Graphs., , and . ICATPN, volume 1825 of Lecture Notes in Computer Science, page 123-145. Springer, (2000)LTL under reductions with weaker conditions than stutter-invariance., , , and . CoRR, (2021)Structural Reductions and Stutter Sensitive Properties., , , and . CoRR, (2022)On-the-fly Emptiness Check of Transition-Based Streett Automata., , and . ATVA, volume 5799 of Lecture Notes in Computer Science, page 213-227. Springer, (2009)LTL Under Reductions with Weaker Conditions Than Stutter Invariance., , , and . FORTE, volume 13273 of Lecture Notes in Computer Science, page 170-187. Springer, (2022)Feasibility analysis for robustness quantification by symbolic model checking., , , , , , and . Formal Methods Syst. Des., 39 (2): 165-184 (2011)