( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From non-zenoness verification to termination.

, , , и . MEMOCODE, стр. 228-237. IEEE, (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.

Pierre Mattern

Pierre Gottschlich

Pierre Mangold

Pierre Venet

Pierre Nyabyenda

 

Другие публикации лиц с тем же именем

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