( en | de | ru )

 

Disambiguierung von "Godbole, Adwait"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modelling and Verification of Security-Oriented Resource Partitioning Schemes.

, , , und . FMCAD, Seite 268-273. IEEE, (2023)

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.

Narasinh Godbole

RÌ£cá Godbolé

 

Weitere Publikationen von Autoren mit dem selben Namen

Fairness and Liveness Under Weak Consistency., , , , und . Taming the Infinities of Concurrency, Volume 14660 von Lecture Notes in Computer Science, Seite 1-21. Springer, (2024)Probabilistic Total Store Ordering., , , , und . ESOP, Volume 13240 von Lecture Notes in Computer Science, Seite 317-345. Springer, (2022)Parameterized Verification under Release Acquire is PSPACE-complete., , , und . PODC, Seite 482-492. ACM, (2022)Modelling and Verification of Security-Oriented Resource Partitioning Schemes., , , und . FMCAD, Seite 268-273. IEEE, (2023)Towards A Formally Verified Fully Homomorphic Encryption Compute Engine., , , , und . DAC, Seite 1-6. IEEE, (2023)UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis., , , , , , , , und . CAV (1), Volume 13371 von Lecture Notes in Computer Science, Seite 538-551. Springer, (2022)Lifting Micro-Update Models from RTL for Formal Security Analysis., , , und . ASPLOS (2), Seite 631-648. ACM, (2024)The Decidability of Verification under PS 2.0., , , , und . ESOP, Volume 12648 von Lecture Notes in Computer Science, Seite 1-29. Springer, (2021)PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency., , und . ASPLOS (3), Seite 513-527. ACM, (2023)Containment of Simple Conjunctive Regular Path Queries., , , , , und . KR, Seite 371-380. (2020)