IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 120
Titolo Data di pubblicazione Autore(i) File
Noninterference Analysis of Reversible Probabilistic Systems 1-gen-2024 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Frequentist Probability Logic 1-gen-2024 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Image-based detection and classification of Android malware through CNN models 1-gen-2024 Aldini, Alessandro; Petrelli, Tommaso
A probabilistic modal logic for context-aware trust based on evidence 1-gen-2024 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
Hyperproperties for Safe and Secure RFID Systems 1-gen-2024 Fusco, Ludovico; Aldini, Alessandro
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops 1-gen-2024 Aldini, Alessandro
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems 1-gen-2023 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox 1-gen-2023 Aldini, Alessandro; Alexander, Samuel Allen; Graziani, Pierluigi
A Rule-Language Tailored for Financial Inclusion and KYC/AML Compliance 1-gen-2023 Aldini, Alessandro; Moreno, Suzana M. B. Maranhão; Seigneur, Jean-Marc
A hierarchical characterization of ignorance in epistemic Logic 1-gen-2023 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Algoritmi di Image Analysis applicati alle immagini diagnostiche 1-gen-2022 Amura, Annamaria; Aldini, Alessandro; Landi, Luisa; Pisani, Luigi; Salerno, Emanuele; Veronica Soro, Maria; Tonazzini, Anna; Torre, Mauro; Triolo, Paolo A. M.; Zantedeschi, Giorgia
On the modeling and verification of the spread of fake news, algebraically 1-gen-2022 Aldini, Alessandro
On the Modeling and Verification of Collective and Cooperative Systems 1-gen-2022 Aldini, Alessandro
From belief to trust: A quantitative framework based on modal logic 1-gen-2022 Tagliaferri, Mirko; Aldini, Alessandro
Trust Evidence Logic 1-gen-2021 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
16th International Conference on Availability, Reliability and Security - Welcome Message from the BASS Workshop Organizers 1-gen-2021 Aldini, Alessandro
Reasoning About Ignorance and Beliefs 1-gen-2021 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Analysis of Diagnostic Images of Artworks and Feature Extraction: Design of a Methodology 1-gen-2021 Amura, Annamaria; Aldini, Alessandro; Pagnotta, Stefano; Salerno, Emanuele; Tonazzini, Anna; Triolo, Paolo
Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices 1-gen-2021 Aldini, Alessandro; La Marra, Antonio; Martinelli, Fabio; Saracino, Andrea
Special Issue of the Italian Conference on Theoretical Computer Science 2018 1-gen-2020 Aldini, Alessandro; Bernardo, Marco
Mostrati risultati da 1 a 20 di 120
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