( en | de | ru )

 

Disambiguierung von "Rajamani, Sriram K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Righting Software.

, , , , , , , und . IEEE Software, 21 (3): 92-100 (2004)

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

Polymorphic predicate abstraction., , und . ACM Trans. Program. Lang. Syst., 27 (2): 314-343 (2005)Analyzing Explicit Information Flow.. ICISS, Volume 6503 von Lecture Notes in Computer Science, Seite 1-2. Springer, (2010)Models for Contract Conformance., und . ISoLA, Volume 4313 von Lecture Notes in Computer Science, Seite 181-196. Springer, (2004)Fair Bisimulation., und . TACAS, Volume 1785 von Lecture Notes in Computer Science, Seite 299-314. Springer, (2000)MOCHA: Modularity in Model Checking., , , , , und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 521-525. Springer, (1998)The SLAM Toolkit., und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 260-264. Springer, (2001)Keynote talk III: Trusted cloud: How to make the cloud more secure.. MEMOCODE, Seite 132. IEEE, (2016)Refining abstract interpretations., , , und . Inf. Process. Lett., 110 (16): 666-671 (2010)Formal specification and verification of a dataflow processor array., , , und . ICCAD, Seite 494-499. IEEE Computer Society, (1999)Parallelizing top-down interprocedural analyses., , , und . PLDI, Seite 217-228. ACM, (2012)