( en | de | ru )

 

Disambiguierung von "Pinisetty, Srinivas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a Transpiler for C/C++ to Safer Rust.

, , , , , , und . CoRR, (2024)

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.

Srinivas Jagarlamudi

Srinivas Yarlanki

Girish Srinivas

Srinivas Boppu

Srinivas Kalidindi

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a Transpiler for C/C++ to Safer Rust., , , , , , und . CoRR, (2024)Runtime verification of implantable medical devices using multiple physiological signals., , , , und . SAC, Seite 1837-1840. ACM, (2021)Scalable Security Enforcement for Cyber Physical Systems., , , , und . IEEE Access, (2024)Compositional runtime enforcement revisited., , , und . Formal Methods Syst. Des., 59 (1): 205-252 (2021)Bounded-Memory Runtime Enforcement., , , und . SPIN, Volume 13255 von Lecture Notes in Computer Science, Seite 114-133. Springer, (2022)Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement., , und . J. Object Technol., 23 (2): 2 (2024)Runtime enforcement of regular timed properties by suppressing and delaying events., , , und . Sci. Comput. Program., (2016)Serial Compositional Runtime Enforcement of Safety Timed Properties., und . ISEC, Seite 5:1-5:11. ACM, (2023)Runtime enforcement of regular timed properties., , , und . SAC, Seite 1279-1286. ACM, (2014)Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations., , , und . ICCD, Seite 313-316. IEEE, (2019)