( en | de | ru )

 

Disambiguierung von "Samanta, Roopsha"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parameterized Verification of Systems with Global Synchronization and Guards.

, , , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 299-323. Springer, (2020)

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.

Ayan Samanta

Devranjan Samanta

Ramesh Samanta

Susruta Samanta

Avik Samanta

 

Weitere Publikationen von Autoren mit dem selben Namen

From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis., , , , , , und . CAV (2), Volume 9207 von Lecture Notes in Computer Science, Seite 180-197. Springer, (2015)Lipschitz Robustness of Timed I/O Systems., , und . VMCAI, Volume 9583 von Lecture Notes in Computer Science, Seite 250-267. Springer, (2016)Robustness Analysis of String Transducers., , und . ATVA, Volume 8172 von Lecture Notes in Computer Science, Seite 427-441. Springer, (2013)Lipschitz Robustness of Finite-state Transducers., , und . FSTTCS, Volume 29 von LIPIcs, Seite 431-443. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)From non-preemptive to preemptive scheduling using synchronization synthesis., , , , , , und . Formal Methods Syst. Des., 50 (2-3): 97-139 (2017)Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification., , , , und . CoRR, (2022)Cost-Aware Automatic Program Repair., , und . SAS, Volume 8723 von Lecture Notes in Computer Science, Seite 268-284. Springer, (2014)An Algorithmic Framework for Synthesis of Concurrent Programs., und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 522-530. Springer, (2011)Direct Manipulation for Imperative Programs., , , und . SAS, Volume 11822 von Lecture Notes in Computer Science, Seite 347-367. Springer, (2019)Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification., , , , und . TACAS (2), Volume 13994 von Lecture Notes in Computer Science, Seite 289-308. Springer, (2023)