( en | de | ru )

 

Disambiguierung von "Sánchez, César"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Gray-box monitoring of hyperproperties with an application to privacy.

, , , und . Formal Methods Syst. Des., 58 (1-2): 126-159 (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

César Augusto Rodríguez Sánchez

David Sánchez Sánchez

César Rose

César Miñambres

César Collazo

 

Weitere Publikationen von Autoren mit dem selben Namen

Expressive Completeness of an Event-Pattern Reactive Programming Language, , , und . FORTE, Seite 529-532. (2005)Gray-box Monitoring of Hyperproperties (Extended Version)., , , und . CoRR, (2019)COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1., , , , , , , , , und 2 andere Autor(en). CoRR, (2019)From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach., und . CoRR, (2023)Runtime verification of real-time event streams using the tool HStriver., und . Formal Methods Syst. Des., 61 (1): 3-34 (August 2022)Gray-box monitoring of hyperproperties with an application to privacy., , , und . Formal Methods Syst. Des., 58 (1-2): 126-159 (2021)Introduction to the special issue on runtime verification., und . Formal Methods Syst. Des., 53 (1): 1-5 (2018)i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers., , und . CoRR, (2018)Visibly Linear Temporal Logic., und . IJCAR, Volume 8562 von Lecture Notes in Computer Science, Seite 418-433. Springer, (2014)Unifying the Time-Event Spectrum for Stream Runtime Verification., , und . RV, Volume 12399 von Lecture Notes in Computer Science, Seite 462-481. Springer, (2020)