( en | de | ru )

 

Disambiguierung von "Poitrenaud, Denis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Variations on parallel explicit emptiness checks for generalized Büchi automata.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gérard Poitrenaud

Jaap Denissen

Wladimir Denisow

Alexander Arnold Denisiuk

Natalja Denisjuk

 

Weitere Publikationen von Autoren mit dem selben Namen

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