( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parameterized Verification of Systems with Global Synchronization and Guards.

, , , , и . CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 299-323. Springer, (2020)

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.

Ayan Samanta

Devranjan Samanta

Susruta Samanta

Ramesh Samanta

Avik Samanta

 

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

HACCLE: An Ecosystem for Building Secure Multi-Party Computations., , , , , , , , , и 9 other автор(ы). CoRR, (2020)Optimizing Solution Quality in Synchronization Synthesis., , , , , , и . CoRR, (2015)Lipschitz Robustness of Timed I/O Systems., , и . VMCAI, том 9583 из Lecture Notes in Computer Science, стр. 250-267. Springer, (2016)Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs. SYNT, том 84 из EPTCS, стр. 17-32. (2012)From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis., , , , , , и . CAV (2), том 9207 из Lecture Notes in Computer Science, стр. 180-197. Springer, (2015)Explainable Program Synthesis by Localizing Specifications., , , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 2171-2195 (октября 2023)QuickSilver: modeling and parameterized verification for distributed agreement-based systems., , , , и . Proc. ACM Program. Lang., 5 (OOPSLA): 1-31 (2021)ImageEye: Batch Image Processing Using Program Synthesis., , , и . CoRR, (2023)Lipschitz Robustness of Finite-state Transducers., , и . FSTTCS, том 29 из LIPIcs, стр. 431-443. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks., , , и . CoRR, (2019)