( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier.

, , , , , , и . FSEN, том 11761 из Lecture Notes in Computer Science, стр. 228-243. 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.

Gerardo Schneider

Gerardo Orozco

Gerardo Walle

Gerardo Friedlmeier

Gerardo Paz

 

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

Privacy Labelling and the Story of Princess Privacy and the Seven Helpers., , , , , , , , и . CoRR, (2020)Timed Dyadic Deontic Logic., , и . JURIX, том 346 из Frontiers in Artificial Intelligence and Applications, стр. 197-204. IOS Press, (2021)Incorporating Monitors in Reactive Synthesis Without Paying the Price., , и . ATVA, том 12971 из Lecture Notes in Computer Science, стр. 337-353. Springer, (2021)Refining Privacy-Aware Data Flow Diagrams., , и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 121-140. Springer, (2021)Gray-Box Monitoring of Hyperproperties., , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 406-424. Springer, (2019)Transforming Data Flow Diagrams for Privacy Compliance (Long Version)., , и . CoRR, (2020)CROME: Contract-Based Robotic Mission Specification., , , и . MEMOCODE, стр. 1-11. IEEE, (2020)Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions., , , , и . ICRA, стр. 6824-6830. IEEE, (2021)ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae., , , и . ATVA, том 14216 из Lecture Notes in Computer Science, стр. 276-287. Springer, (2023)Privacy Compliance Via Model Transformations., , и . EuroS&P Workshops, стр. 120-126. IEEE, (2018)