( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Correctness Witness Validation by Abstract Interpretation.

, , , , , и . VMCAI (1), том 14499 из Lecture Notes in Computer Science, стр. 74-97. Springer, (2024)

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.

Beatrice Saan

Wolfgang Simmon

Charles Bernard Saanane

Hans Simmon

Rebecca Simmonds

 

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

Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap., , , , , , и . CoRR, (2022)Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution)., , , , , , и . TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 438-442. Springer, (2021)Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution)., , , , , , , и . TACAS (3), том 14572 из Lecture Notes in Computer Science, стр. 335-340. Springer, (2024)Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution)., , , , , , и . TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 547-552. Springer, (2023)Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution)., , , , , , , и . TACAS (3), том 14572 из Lecture Notes in Computer Science, стр. 381-386. Springer, (2024)Improving Thread-Modular Abstract Interpretation., , , , , и . SAS, том 12913 из Lecture Notes in Computer Science, стр. 359-383. Springer, (2021)Correctness Witness Validation by Abstract Interpretation., , , , , и . VMCAI (1), том 14499 из Lecture Notes in Computer Science, стр. 74-97. Springer, (2024)Clustered Relational Thread-Modular Abstract Interpretation with Local Traces., , , , и . ESOP, том 13990 из Lecture Notes in Computer Science, стр. 28-58. Springer, (2023)Correctness Witness Validation by Abstract Interpretation., , , , , и . CoRR, (2023)When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C., , , , и . SOAP@PLDI, стр. 20-26. ACM, (2023)