( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Gray-Box Monitoring of Hyperproperties.

, , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 406-424. 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.

César Augusto Rodríguez Sánchez

David Sánchez Sánchez

César Rose

César Miñambres

César Collazo

 

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

Expressive Completeness of an Event-Pattern Reactive Programming Language, , , и . FORTE, стр. 529-532. (2005)i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers., , и . CoRR, (2018)From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach., и . CoRR, (2023)Asynchronous Extensions of HyperLTL., , и . LICS, стр. 1-13. IEEE, (2021)Event Correlation: Language and Semantics., , , , , и . EMSOFT, том 2855 из Lecture Notes in Computer Science, стр. 323-339. Springer, (2003)Derivation of Atrial Surface Reentries Applying ICA to the Standard Electrocardiogram of Patients in Postoperative Atrial Fibrillation., , , , , и . ICA, том 3889 из Lecture Notes in Computer Science, стр. 478-485. Springer, (2006)Wavelet Denoising as Preprocessing Stage to Improve ICA Performance in Atrial Fibrillation Analysis., , , , , и . ICA, том 3889 из Lecture Notes in Computer Science, стр. 486-494. Springer, (2006)Striver: Stream Runtime Verification for Real-Time Event-Streams., и . RV, том 11237 из Lecture Notes in Computer Science, стр. 282-298. Springer, (2018)Online and Offline Stream Runtime Verification of Synchronous Systems.. RV, том 11237 из Lecture Notes in Computer Science, стр. 138-163. Springer, (2018)Introduction to the special issue on runtime verification., и . Formal Methods Syst. Des., 53 (1): 1-5 (2018)