E-LIB Suche - Ergebnisse für: Aldini, Alessandro

1

A probabilistic modal logic for context-aware trust based o..:

Aldini, Alessandro ; Curzi, Gianluca ; Graziani, Pierluigi.
International Journal of Approximate Reasoning. 169 (2024) - p. 109167 , 2024

Link: https://doi.org/10.1016/..

2

Image-based detection and classification of Android malware..:

, In: Proceedings of the 19th International Conference on Availability, Reliability and Security,

Aldini, Alessandro ; Petrelli, Tommaso - p. 1-11 , 2024

Link: https://dl.acm.org/doi/1..

3

Noninterference Analysis ofReversible Probabilistic Systems:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Esposito, Andrea ; Aldini, Alessandro ; Bernardo, Marco - p. 39-59 , 2024

Link: https://doi.org/10.1007/..

4

Software Engineering and Formal Methods. SEFM 2023 Collocat..

Lecture Notes in Computer Science, 14568

Aldini, Alessandro - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

5

Knowledge-of-Own-Factivity, the Definition of Surprise, and..:

, In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science,

Aldini, Alessandro ; Alexander, Samuel Allen ; Graziani, Pierluigi - p. 383-399 , 2023

Link: https://doi.org/10.1007/..

6

A Rule-Language Tailored for Financial Inclusion and KYC/AM..:

, In: 2023 20th Annual International Conference on Privacy, Security and Trust (PST),

Aldini, Alessandro ; Moreno, Suzana M. B. Maranhao ; Seigneur, Jean-Marc - p. 1-10 , 2023

Link: https://doi.org/10.1109/..

7

Branching Bisimulation Semantics Enables Noninterference An..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Esposito, Andrea ; Aldini, Alessandro ; Bernardo, Marco - p. 57-74 , 2023

Link: https://doi.org/10.1007/..

8

From belief to trust: A quantitative framework based on mod..:

Tagliaferri, Mirko ; Aldini, Alessandro
Journal of Logic and Computation. 32 (2022) 6 - p. 1017-1047 , 2022

Link: https://doi.org/10.1093/..

9

On the modeling and verification of the spread of fake news..:

Aldini, Alessandro
Journal of Logic and Computation. 32 (2022) 6 - p. 1272-1291 , 2022

Link: https://doi.org/10.1093/..

10

On the Modeling and Verification of Collective and Cooperat..:

Aldini, Alessandro
Frontiers in Robotics and AI. 9 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

11

Analysis of Diagnostic Images of Artworks and Feature Extra..:

Amura, Annamaria ; Aldini, Alessandro ; Pagnotta, Stefano...
Journal of Imaging. 7 (2021) 3 - p. 53 , 2021

Link: https://doi.org/10.3390/..

12

Trust Evidence Logic:

, In: Lecture Notes in Computer Science; Symbolic and Quantitative Approaches to Reasoning with Uncertainty,

Aldini, Alessandro ; Curzi, Gianluca ; Graziani, Pierluigi. - p. 575-589 , 2021

Link: https://doi.org/10.1007/..

13

Reasoning About Ignorance and Beliefs:

, In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science,

Aldini, Alessandro ; Graziani, Pierluigi ; Tagliaferri, Mirko - p. 214-230 , 2021

Link: https://doi.org/10.1007/..

14

Ask a(n)droid to tell you the odds: probabilistic security-..:

Aldini, Alessandro ; La Marra, Antonio ; Martinelli, Fabio.
Soft Computing. 25 (2020) 3 - p. 2295-2314 , 2020

Link: https://doi.org/10.1007/..

15

A Trust Logic for the Varieties of Trust:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Tagliaferri, Mirko ; Aldini, Alessandro - p. 119-136 , 2020

Link: https://doi.org/10.1007/..