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

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 Labelling and the Story of Princess Privacy and the Seven Helpers., , , , , , , , and . CoRR, (2020)Timed Dyadic Deontic Logic., , and . JURIX, volume 346 of Frontiers in Artificial Intelligence and Applications, page 197-204. IOS Press, (2021)Gray-Box Monitoring of Hyperproperties., , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 406-424. Springer, (2019)Incorporating Monitors in Reactive Synthesis Without Paying the Price., , and . ATVA, volume 12971 of Lecture Notes in Computer Science, page 337-353. Springer, (2021)Refining Privacy-Aware Data Flow Diagrams., , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 121-140. Springer, (2021)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)On the Specification and Monitoring of Timed Normative Systems., , , and . RV, volume 12974 of Lecture Notes in Computer Science, page 81-99. Springer, (2021)Capturing Smart Contract Design with DCR Graphs., , , , and . SEFM, volume 14323 of Lecture Notes in Computer Science, page 106-125. 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)