Concepedia

Alessandro Aldini

AA

20

Publications

470

Citations

13

H-Index

1999

Active since

Affiliations

University of Urbino(Current)

University of Bologna

University of Pisa

University of Geneva

Alessandro Aldini is an author at University of Urbino specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceData SecurityFormal MethodsInformation SecurityFormal VerificationSystems EngineeringSoftware AnalysisTrustworthy ComputingTrust

Publications per year

1999–2021

20

Publications

20

A process-algebraic approach for the analysis of probabilistic noninterference

Alessandro Aldini, Mario Bravetti, Roberto Gorrieri · Journal of Computer Security · 2004 · 71 citations

Virtual currency and reputation-based cooperation incentives in user-centric networks

Alessandro Bogliolo, Paolo Polidori, Alessandro Aldini et al. · 2012 · 51 citations

Engineering, Game Theory, Communication +18

Discrete time generative–reactive probabilistic processes with different advancing speeds

Mario Bravetti, Alessandro Aldini · Theoretical Computer Science · 2002 · 37 citations

Stochastic Simulation, Engineering, Discrete Modeling +5

On the usability of process algebra: An architectural view

Alessandro Aldini, Marco Bernardo · Theoretical Computer Science · 2005 · 37 citations

Process Calculus, Engineering, Automated Reasoning +11

Design and Verification of Trusted Collective Adaptive Systems

Alessandro Aldini · ACM Transactions on Modeling and Computer Simulation · 2018 · 29 citations · Full text

Trustworthy Computing, Trusted System, Engineering +14

Rows per page

1–5 of 20