( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Needles in a Haystack: Using PORT to Catch Bad Behaviors within Application Recordings.

, , , , и . ICSOFT, стр. 137-145. SCITEPRESS, (2022)

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.

Thomas Wies

Valentin Wies

Josef Wies

Christel Wies

Rudolf Wies

 

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

Less is more: refinement proofs for probabilistic proofs., , , , и . IACR Cryptol. ePrint Arch., (2022)Finding Minimum Type Error Sources., , и . Software Engineering & Management, том P-239 из LNI, стр. 43-44. GI, (2015)Clock Bound Repair for Timed Systems., , и . CAV (1), том 11561 из Lecture Notes in Computer Science, стр. 79-96. Springer, (2019)Automated repair for timed systems., , и . Formal Methods Syst. Des., 59 (1): 136-169 (2021)Local Reasoning for Global Graph Properties., , и . CoRR, (2019)Partitioned Memory Models for Program Analysis., , и . VMCAI, том 10145 из Lecture Notes in Computer Science, стр. 539-558. Springer, (2017)VACCINE: Using Contextual Integrity For Data Leakage Detection., , , , , , и . WWW, стр. 1702-1712. ACM, (2019)Data flow refinement type inference., , и . Proc. ACM Program. Lang., 5 (POPL): 1-31 (2021)Embedding Hindsight Reasoning in Separation Logic., , и . Proc. ACM Program. Lang., 7 (PLDI): 1848-1871 (2023)Forward Analysis of Depth-Bounded Processes., , и . FoSSaCS, том 6014 из Lecture Notes in Computer Science, стр. 94-108. Springer, (2010)