( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstract Interpretation of LLVM with a Region-Based Memory Model.

, и . VSTTE, том 13124 из Lecture Notes in Computer Science, стр. 122-144. Springer, (2021)

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.

Arie Nabrings

Arie Hartog

Arie Klerk

Horst Aries

Katrin Leonie Aries

 

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

Robust Vacuity for Branching Temporal Logic., и . ACM Trans. Comput. Log., 13 (1): 1:1-1:32 (2012)Combining predicate and numeric abstraction for software model checking., и . Int. J. Softw. Tools Technol. Transf., 12 (6): 409-427 (2010)Fast Approximations of Quantifier Elimination., , , и . CAV (2), том 13965 из Lecture Notes in Computer Science, стр. 64-86. Springer, (2023)Automated Discovery of Simulation Between Programs., , и . LPAR, том 9450 из Lecture Notes in Computer Science, стр. 606-621. Springer, (2015)Verifying Verified Code., , , , , и . ATVA, том 12971 из Lecture Notes in Computer Science, стр. 187-202. Springer, (2021)Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning., , и . RV, том 11237 из Lecture Notes in Computer Science, стр. 187-204. Springer, (2018)Model exploration with temporal logic query checking., , и . SIGSOFT FSE, стр. 139-148. ACM, (2002)Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE., , , , , и . VMCAI, том 13182 из Lecture Notes in Computer Science, стр. 425-449. Springer, (2022)Towards Reliable Neural Specifications., , , , , и . ICML, том 202 из Proceedings of Machine Learning Research, стр. 11196-11212. PMLR, (2023)Compositional Sequentialization of Periodic Programs., , , и . VMCAI, том 7737 из Lecture Notes in Computer Science, стр. 536-554. Springer, (2013)