( en | de | ru )

 

Disambiguation of "Ganty, Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.

, , and . ICATPN, volume 4546 of Lecture Notes in Computer Science, page 124-143. Springer, (2007)

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.

Pierre Venet

Pierre Nyabyenda

Pierre Gottschlich

Pierre Mattern

Pierre Mangold

 

Other publications of authors with the same name

Analysis of Asynchronous Programs with Event-Based Synchronization., , , and . ESOP, volume 9032 of Lecture Notes in Computer Science, page 535-559. Springer, (2015)Interprocedural Reachability for Flat Integer Programs., and . FCT, volume 9210 of Lecture Notes in Computer Science, page 133-145. Springer, (2015)Model Checking Parameterized Asynchronous Shared-Memory Systems., , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 67-84. Springer, (2015)Preface., and . Bytecode@ETAPS, volume 279 of Electronic Notes in Theoretical Computer Science, page 1. Elsevier, (2011)Complexity Analysis of the Backward Coverability Algorithm for VASS., and . RP, volume 6945 of Lecture Notes in Computer Science, page 96-109. Springer, (2011)Fixpoint Guided Abstraction Refinement for Alternating Automata., , and . CIAA, volume 5642 of Lecture Notes in Computer Science, page 155-164. Springer, (2009)Parameterized Verification of Asynchronous Shared-Memory Systems., , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 124-140. Springer, (2013)Antichains Algorithms for the Inclusion Problem Between ømega-VPL., , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 290-307. Springer, (2023)Sound up-to techniques and Complete abstract domains., , , and . LICS, page 175-184. ACM, (2018)Complexity of pattern-based verification for multithreaded programs., and . POPL, page 499-510. ACM, (2011)