( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification.

, , , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 397-414. Springer, (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.

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)Privacy Compliance Via Model Transformations., , и . EuroS&P Workshops, стр. 120-126. IEEE, (2018)Synchronous Agents, Verification, and Blame - A Deontic View., , , и . ICTAC, том 14446 из Lecture Notes in Computer Science, стр. 332-350. 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)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)