( en | de | ru )

 

Disambiguation of "Lanotte, Ruggero"

Author of the publication

copydeleteadd this publication to your clipboard
A Classification of Time and/or Probability Dependent Security Properties.

, , and . QAPL, volume 153 of Electronic Notes in Theoretical Computer Science, page 177-193. Elsevier, (2005)

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.

Cristina Ruggero

Ruggero Morselli

 

Other publications of authors with the same name

Security policies enforcement using finite and pushdown edit automata., , and . Int. J. Inf. Sec., 12 (4): 319-336 (2013)Measuring Robustness in Cyber-Physical Systems under Sensor Attacks., , , , and . CoRR, (2024)Privacy in Real-Time Systems., , and . MTCS, volume 52 of Electronic Notes in Theoretical Computer Science, page 295-305. Elsevier, (2001)A Probabilistic Calculus of Cyber-Physical Systems., , and . CoRR, (2017)Hybrid and First-Order Complete Extensions of CaRet., and . TABLEAUX, volume 6793 of Lecture Notes in Computer Science, page 58-72. Springer, (2011)Taylor Approximation for Hybrid Systems., and . HSCC, volume 3414 of Lecture Notes in Computer Science, page 402-416. Springer, (2005)Compositional Weak Metrics for Group Key Update., , and . MFCS, volume 83 of LIPIcs, page 72:1-72:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)A semantic theory of the Internet of Things., and . Inf. Comput., 259 (1): 72-101 (2018)A Decidable Probability Logic for Timed Probabilistic Systems., and . Fundam. Informaticae, 96 (1-2): 127-151 (2009)Transformations of Timed Cooperating Automata., , , and . Fundam. Informaticae, 47 (3-4): 271-282 (2001)