MACEDONIO, Damiano

MACEDONIO, Damiano  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
Boolean Formulas for the Static Identification of Injection Attacks in Java 1-gen-2015 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian; Spoto, Nicola Fausto
Locking Discipline Inference and Checking 1-gen-2016 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier
A Semantic Analysis of Wireless Network Security Protocols 1-gen-2012 Macedonio, Damiano; Merro, Massimo
Semantics for Locking Specifications 1-gen-2016 Michael, Ernst; Macedonio, Damiano; Merro, Massimo; Spoto, Nicola Fausto
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks 1-gen-2013 Battisti, L.; Macedonio, D.; Merro, M.
Statistical model checking of ad hoc routing protocols in lossy grid networks 1-gen-2015 Dal Corso, Alice; Macedonio, Damiano; Merro, Massimo
A Thread-Safe Library for Binary Decision Diagrams 1-gen-2014 Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto