( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Dissecting Widening: Separating Termination from Information.

, , , , и . APLAS, том 11893 из Lecture Notes in Computer Science, стр. 95-114. Springer, (2019)

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.

Jorge Francisco Azofeifa-Navas

Juan Navas

Jorge A Portocarrero Quispe

Gilberto Navas

Byron Navas

 

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

Path-Sensitive Backward Slicing., , , и . SAS, том 7460 из Lecture Notes in Computer Science, стр. 231-247. Springer, (2012)Unbounded Symbolic Execution for Program Verification., , и . RV, том 7186 из Lecture Notes in Computer Science, стр. 396-411. Springer, (2011)Verification of Fault-Tolerant Protocols with Sally., , и . NFM, том 10811 из Lecture Notes in Computer Science, стр. 113-120. Springer, (2018)A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs., , и . LOPSTR, том 4915 из Lecture Notes in Computer Science, стр. 154-168. Springer, (2007)Abstract Interpretation of LLVM with a Region-Based Memory Model., и . VSTTE, том 13124 из Lecture Notes in Computer Science, стр. 122-144. Springer, (2021)OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-program Specialization: Leveraging scalable pointer analysis, value analysis, and dynamic analysis., и . ACM Queue, 20 (5): 58-85 (2022)A Study of Set-Sharing Analysis via Clique., , и . WLPE, стр. 31-45. (2005)Boosting concolic testing via interpolation., , и . ESEC/SIGSOFT FSE, стр. 48-58. ACM, (2013)A study of set-sharing analysis via cliques., , и . CoRR, (2005)TRACER: A Symbolic Execution Tool for Verification., , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 758-766. Springer, (2012)