( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Wireless Protocol Validation Under Uncertainty.

, , , и . RV, том 10012 из Lecture Notes in Computer Science, стр. 351-367. Springer, (2016)

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.

Kajori Lahiri

Ananda Lahiri

Claus Lahiri

Kishor Lahiri

Sunanda Lahiri

 

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

Enabling Open-World Specification Mining via Unsupervised Learning., , , и . CoRR, (2019)Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers., , и . CAV, том 5643 из Lecture Notes in Computer Science, стр. 509-524. Springer, (2009)SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs., , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 712-717. Springer, (2012)A Solver for Reachability Modulo Theories., , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 427-443. Springer, (2012)SMT-Based Modular Analysis of Sequential Systems Code.. CAV, том 6806 из Lecture Notes in Computer Science, стр. 21-27. Springer, (2011)Constructing Quantified Invariants via Predicate Abstraction., и . VMCAI, том 2937 из Lecture Notes in Computer Science, стр. 267-281. Springer, (2004)MergeBERT: Program Merge Conflict Resolution via Neural Transformers., , , , , , , и . CoRR, (2021)DeepMerge: Learning to Merge Programs., , , , , и . CoRR, (2021)Wireless Protocol Validation Under Uncertainty., , , и . RV, том 10012 из Lecture Notes in Computer Science, стр. 351-367. Springer, (2016)Formalizing Natural Language Intent into Program Specifications via Large Language Models., , , и . CoRR, (2023)