( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Righting Software.

, , , , , , , и . IEEE Softw., 21 (3): 92-100 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sriram Rallabhandi

Sriram Varadarajan

Sriram Subramanian

Rajamani Sambasivam

Rajamani Sambasivam

 

Другие публикации лиц с тем же именем

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