( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Gray-box Monitoring of Hyperproperties (Extended Version).

, , , и . CoRR, (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.

Gerardo Schneider

Gerardo Orozco

Gerardo Walle

Gerardo Friedlmeier

Gerardo Paz

 

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

Privacy Compliance Via Model Transformations., , и . EuroS&P Workshops, стр. 120-126. IEEE, (2018)LTL Synthesis on Infinite-State Arenas defined by Programs., , , и . CoRR, (2023)HMAC and "Secure Preferences": Revisiting Chromium-Based Browsers Security., , и . CANS, том 12579 из Lecture Notes in Computer Science, стр. 107-126. Springer, (2020)Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures., , и . NordSec, том 12556 из Lecture Notes in Computer Science, стр. 74-91. Springer, (2020)Capturing Smart Contract Design with DCR Graphs., , , , и . SEFM, том 14323 из Lecture Notes in Computer Science, стр. 106-125. Springer, (2023)Runtime Verification: Passing on the Baton., , и . Formal Methods in Outer Space, том 13065 из Lecture Notes in Computer Science, стр. 89-107. Springer, (2021)On the Specification and Monitoring of Timed Normative Systems., , , и . RV, том 12974 из Lecture Notes in Computer Science, стр. 81-99. Springer, (2021)Synchronous Agents, Verification, and Blame - A Deontic View., , , и . ICTAC, том 14446 из Lecture Notes in Computer Science, стр. 332-350. Springer, (2023)Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier., , , , , , и . FSEN, том 11761 из Lecture Notes in Computer Science, стр. 228-243. Springer, (2019)Reliable Smart Contracts., , и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 3-8. Springer, (2020)