Alessandro Aldini

MaRDI QIDQ764290zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Design and verification of trusted collective adaptive systems ACM Transactions on Modeling and Computer Simulation	2024-08-06	Paper
A probabilistic modal logic for context-aware trust based on evidence International Journal of Approximate Reasoning	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 Journal Of Logic And Computation	2022-09-08	Paper
From belief to trust: A quantitative framework based on modal logic Journal Of Logic And Computation	2022-09-08	Paper
Trust evidence logic	2022-06-15	Paper
Reasoning about ignorance and beliefs	2021-10-18	Paper
Approximate testing equivalence based on time, probability, and observed behavior	2021-02-16	Paper
On quantitative analysis of probabilistic protocols	2013-09-20	Paper
Approximating Markovian testing equivalence Theoretical Computer Science	2012-03-13	Paper
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference Foundations and Applications of Security Analysis	2009-10-22	Paper
A process algebraic approach to software architecture design	2009-09-10	Paper
Foundations of Security Analysis and Design II Lecture Notes in Computer Science	2009-05-14	Paper
Mixing logics and rewards for the component-oriented specification of performance measures Theoretical Computer Science	2007-09-03	Paper
Classification of security properties in a Linda-like process algebra Science of Computer Programming	2006-10-25	Paper
Global Computing Lecture Notes in Computer Science	2005-08-19	Paper
On the usability of process algebra: An architectural view Theoretical Computer Science	2005-06-10	Paper
scientific article; zbMATH DE number 2090701 (Why is no real title available?)	2004-08-13	Paper
scientific article; zbMATH DE number 1942707 (Why is no real title available?)	2003-10-28	Paper
scientific article; zbMATH DE number 1884419 (Why is no real title available?)	2003-03-18	Paper
scientific article; zbMATH DE number 1863164 (Why is no real title available?)	2003-02-03	Paper
Discrete time generative-reactive probabilistic processes with different advancing speeds Theoretical Computer Science	2003-01-21	Paper

Research outcomes over time

This page was built for person: Alessandro Aldini