( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Depth Bounded Explicit-State Model Checking.

, , и . SPIN, том 6823 из Lecture Notes in Computer Science, стр. 57-74. Springer, (2011)

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

 

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

Jigsaw: Large Language Models meet Program Synthesis., , , , , , и . ICSE, стр. 1219-1231. ACM, (2022)Global Software Servicing: Observational Experiences at Microsoft., , , и . ICGSE, стр. 182-191. IEEE Computer Society, (2008)Parallelizing top-down interprocedural analyses., , , и . PLDI, стр. 217-228. ACM, (2012)Merlin: specification inference for explicit information flow problems., , , и . PLDI, стр. 75-86. ACM, (2009)Formal specification and verification of a dataflow processor array., , , и . ICCAD, стр. 494-499. IEEE Computer Society, (1999)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)Models for Contract Conformance., и . ISoLA, том 4313 из Lecture Notes in Computer Science, стр. 181-196. Springer, (2004)Analyzing Explicit Information Flow.. ICISS, том 6503 из Lecture Notes in Computer Science, стр. 1-2. Springer, (2010)Keynote talk III: Trusted cloud: How to make the cloud more secure.. MEMOCODE, стр. 132. IEEE, (2016)