Alessandro Aldini

Available identifiers

zbMath Open aldini.alessandroDBLP41/6214WikidataQ58665899 ScholiaQ58665899MaRDI QIDQ764290

List of research outcomes

Publication	Date of Publication	Type
Design and verification of trusted collective adaptive systems	2024-08-06	Paper
A probabilistic modal logic for context-aware trust based on evidence	2024-07-10	Paper
Branching bisimulation semantics enables noninterference analysis of reversible systems	2024-01-11	Paper
On the modeling and verification of the spread of fake news, algebraically	2022-09-08	Paper
From belief to trust: A quantitative framework based on modal logic	2022-09-08	Paper
Trust evidence logic	2022-06-15	Paper
Reasoning about ignorance and beliefs	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5151030	2021-02-16	Paper
On quantitative analysis of probabilistic protocols	2013-09-20	Paper
Approximating Markovian testing equivalence	2012-03-13	Paper
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3394898	2009-09-10	Paper
Foundations of Security Analysis and Design II	2009-05-14	Paper
Mixing logics and rewards for the component-oriented specification of performance measures	2007-09-03	Paper
Classification of security properties in a Linda-like process algebra	2006-10-25	Paper
Global Computing	2005-08-19	Paper
On the usability of process algebra: An architectural view	2005-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4813196	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4409308	2003-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4798041	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4791835	2003-02-03	Paper
Discrete time generative-reactive probabilistic processes with different advancing speeds	2003-01-21	Paper

Research outcomes over time

This page was built for person: Alessandro Aldini