( en | de | ru )

 

Disambiguation of "Schneider, Gerardo"

Author of the publication

copydeleteadd this publication to your clipboard
A survey of challenges for runtime verification from advanced application domains (beyond software).

, , , , , , , , , , , , , , , and . Formal Methods Syst. Des., 54 (3): 279-335 (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. You can also use the button next to the name to display some publications already assigned to the person.

Gerardo Schneider

Gerardo Orozco

Gerardo Walle

Gerardo Friedlmeier

Gerardo Paz

 

Other publications of authors with the same name

Privacy Compliance Via Model Transformations., , and . EuroS&P Workshops, page 120-126. IEEE, (2018)Synchronous Agents, Verification, and Blame - A Deontic View., , , and . ICTAC, volume 14446 of Lecture Notes in Computer Science, page 332-350. Springer, (2023)Runtime Verification: Passing on the Baton., , and . Formal Methods in Outer Space, volume 13065 of Lecture Notes in Computer Science, page 89-107. Springer, (2021)On the Specification and Monitoring of Timed Normative Systems., , , and . RV, volume 12974 of Lecture Notes in Computer Science, page 81-99. Springer, (2021)A survey of challenges for runtime verification from advanced application domains (beyond software)., , , , , , , , , and 6 other author(s). Formal Methods Syst. Des., 54 (3): 279-335 (2019)LTL Synthesis on Infinite-State Arenas defined by Programs., , , and . CoRR, (2023)Capturing Smart Contract Design with DCR Graphs., , , , and . SEFM, volume 14323 of Lecture Notes in Computer Science, page 106-125. Springer, (2023)Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures., , and . NordSec, volume 12556 of Lecture Notes in Computer Science, page 74-91. Springer, (2020)HMAC and "Secure Preferences": Revisiting Chromium-Based Browsers Security., , and . CANS, volume 12579 of Lecture Notes in Computer Science, page 107-126. Springer, (2020)Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier., , , , , , and . FSEN, volume 11761 of Lecture Notes in Computer Science, page 228-243. Springer, (2019)