( en | de | ru )

 

Disambiguation of "Poitrenaud, Denis"

Author of the publication

copydeleteadd this publication to your clipboard
Parallel Explicit Model Checking for Generalized Büchi Automata.

, , , and . TACAS, volume 9035 of Lecture Notes in Computer Science, page 613-627. Springer, (2015)

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

Jaap Denissen

Wladimir Denisow

Natalja Denisjuk

Alexander Arnold Denisiuk

 

Other publications of authors with the same name

The Barrier-Lock Clock: A Scalable Synchronization-Oriented Logical Clock., , , and . Parallel Process. Lett., 11 (1): 65-76 (2001)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)Data Decision Diagrams for Petri Net Analysis., , , , and . ICATPN, volume 2360 of Lecture Notes in Computer Science, page 101-120. Springer, (2002)Combining Parallel Emptiness Checks with Partial Order Reductions., and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 370-386. Springer, (2019)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)Designing a LTL Model-Checker Based on Unfolding Graphs., , and . ICATPN, volume 1825 of Lecture Notes in Computer Science, page 123-145. Springer, (2000)Structural Reductions and Stutter Sensitive Properties., , , and . CoRR, (2022)LTL under reductions with weaker conditions than stutter-invariance., , , and . CoRR, (2021)LTL Under Reductions with Weaker Conditions Than Stutter Invariance., , , and . FORTE, volume 13273 of Lecture Notes in Computer Science, page 170-187. Springer, (2022)Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking, , , and . CoRR, (2011)