( en | de | ru )

 

Disambiguierung von "Rajamani, Sriram K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
You Assume, We Guarantee: Methodology and Case Studies.

, , und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 440-451. Springer, (1998)

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.

Sriram Rallabhandi

Sriram Varadarajan

Sriram Subramanian

Rajamani Sambasivam

Rajamani Sambasivam

 

Weitere Publikationen von Autoren mit dem selben Namen

Models for Contract Conformance., und . ISoLA, Volume 4313 von Lecture Notes in Computer Science, Seite 181-196. Springer, (2004)Keynote talk III: Trusted cloud: How to make the cloud more secure.. MEMOCODE, Seite 132. IEEE, (2016)MOCHA: Modularity in Model Checking., , , , , und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 521-525. Springer, (1998)Fair Bisimulation., und . TACAS, Volume 1785 von Lecture Notes in Computer Science, Seite 299-314. Springer, (2000)Analyzing Explicit Information Flow.. ICISS, Volume 6503 von Lecture Notes in Computer Science, Seite 1-2. Springer, (2010)Combining Tests and Proofs., , und . VSTTE, Volume 5295 von Lecture Notes in Computer Science, Seite 4-5. Springer, (2008)Merlin: specification inference for explicit information flow problems., , , und . PLDI, Seite 75-86. ACM, (2009)Parallelizing top-down interprocedural analyses., , , und . PLDI, Seite 217-228. ACM, (2012)Formal specification and verification of a dataflow processor array., , , und . ICCAD, Seite 494-499. IEEE Computer Society, (1999)Jigsaw: Large Language Models meet Program Synthesis., , , , , , und . ICSE, Seite 1219-1231. ACM, (2022)