Sfoglia per Autore  MACEDONIO, Damiano

Opzioni
Mostrati risultati da 1 a 8 di 8
Titolo Data di pubblicazione Autore(i) File
A Semantic Analysis of Wireless Network Security Protocols 1-gen-2012 Macedonio, Damiano; Merro, Massimo
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks 1-gen-2013 Battisti, L.; Macedonio, D.; Merro, M.
A Thread-Safe Library for Binary Decision Diagrams 1-gen-2014 Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto
Statistical model checking of ad hoc routing protocols in lossy grid networks 1-gen-2015 Dal Corso, Alice; Macedonio, Damiano; Merro, Massimo
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
Semantics for Locking Specifications 1-gen-2016 Michael, Ernst; Macedonio, Damiano; Merro, Massimo; Spoto, Nicola Fausto
Locking Discipline Inference and Checking 1-gen-2016 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier
Static Identification of Injection Attacks in Java 1-gen-2019 Spoto, Nicola Fausto; Burato, Elisa; Ernst, Michael D.; Ferrara, Pietro; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian
Mostrati risultati da 1 a 8 di 8
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile