Alessandro Aldini

Alessandro Aldini, Marco Bernardo, M. Bernardo, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference

Alessandro Aldini, Marco Bernardo, M. Bernardo, 2009, ARSPA-WITS.

A General Approach to Deadlock Freedom Verification for Software Architectures

Alessandro Aldini, Marco Bernardo, 2003, FME.

Component-Oriented Modeling

Alessandro Aldini, Marco Bernardo, Flavio Corradini, 2010 .

Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019

Herbert Wiklicky, Alessandro Aldini, 2020, QAPL@ETAPS.

Approximating Markovian testing equivalence

Alessandro Aldini, A. Aldini, 2012, Theor. Comput. Sci..

Saving Privacy in Trust-Based User-Centric Distributed Systems

Alessandro Aldini, 2014, SECURWARE 2014.

A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems

Alessandro Aldini, A. Aldini, 2016, FORECAST@STAF.

Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications pdf

Alessandro Aldini, Marco Bernardo, Edoardo Bontà, 2018, ArXiv.

Modeling and Verification of Cooperation Incentive Mechanisms in User-Centric Wireless Communications

Alessandro Aldini, Alessandro Bogliolo, A. Bogliolo, 2014 .

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

Alessandro Aldini, Paulo Mendes, Alessandro Bogliolo, 2012, 2012 8th International Wireless Communications and Mobile Computing Conference (IWCMC).

Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Luciano Bononi, Vittorio Cortellessa, Alessandro Aldini, 2010, EPEW.

Deterministically Timed Process Algebra

Alessandro Aldini, Marco Bernardo, Flavio Corradini, 2010 .

Trading Dependability and Performance

Alessandro Aldini, Marco Bernardo, Flavio Corradini, 2010 .

Preface

Fabio Gadducci, Alessandro Aldini, Maurice H. ter Beek, 2009, Electron. Notes Theor. Comput. Sci..

Design and Verification of Trusted Collective Adaptive Systems

Alessandro Aldini, A. Aldini, 2018, ACM Trans. Model. Comput. Simul..

Modeling and Verification of the Worth-One-Minute Security Protocols

Alessandro Aldini, Saverio Delpriori, Lorenz Cuno Klopfenstein, 2020, ITASEC.

Preface

Alessandro Aldini, Franck van Breugel, Maurice H. ter Beek, 2022, VODCA@FOSAD.

Foundations of Security Analysis and Design VII

Roberto Gorrieri, Alessandro Aldini, R. Gorrieri, 2014, Lecture Notes in Computer Science.

Two Formal Approaches for Approximating Noninterference Properties

Mario Bravetti, Chris Hankin, Roberto Gorrieri, 2001, FOSAD.

Approximating Imperfect Cryptography in a Formal Model

Roberto Gorrieri, Alessandro Aldini, Angelo Troina, 2004, Electron. Notes Theor. Comput. Sci..

A Process Algebraic Approach for the Analysis of Probabilistic Non-interference

Mario Bravetti, Roberto Gorrieri, Alessandro Aldini, 2011 .

QoS evaluation of IP telephony services: a specification language based simulation software tool

Marco Roccetti, Roberto Gorrieri, Alessandro Aldini, 2003 .

Introducing a flexible rewarding platform for mobile crowd-sensing applications

Alessandro Aldini, Alessandro Bogliolo, Saverio Delpriori, 2018, 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops).

Component-oriented verification of noninterference

Alessandro Aldini, Marco Bernardo, M. Bernardo, 2011, J. Syst. Archit..

Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions

Alessandro Aldini, Marco Bernardo, 2007, ICTCS.

Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Herbert Wiklicky, Alessandro Aldini, Marco Bernardo, 2010, SFM.

Data Privacy Management and Security Assurance

Vicenç Torra, Fabio Martinelli, Alessandro Aldini, 2016, Lecture Notes in Computer Science.

Mixing logics and rewards for the component-oriented specification of performance measures

Alessandro Aldini, Marco Bernardo, 2007, Theor. Comput. Sci..

Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation

Alessandro Aldini, Marco Bernardo, Edoardo Bontà, 2010, J. Syst. Softw..

Modeling and verification of trust and reputation systems

Alessandro Aldini, 2015, Secur. Commun. Networks.

A formal approach to the integrated analysis of security and QoS

Alessandro Aldini, Marco Bernardo, M. Bernardo, 2007, Reliab. Eng. Syst. Saf..

Expected-Delay-Summing Weak Bisimilarity for Markov Automata

Alessandro Aldini, Marco Bernardo, 2015, QAPL.

Combining Trust and Aggregate Computing

Mirko Viroli, Alessandro Aldini, Roberto Casadei, 2017, SEFM Workshops.

Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures

Roberto Gorrieri, Alessandro Aldini, 2007, FOSAD.

Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems

Herbert Wiklicky, Alessandro Aldini, A. Aldini, 2020 .

Towards attack-resistant Aggregate Computing using trust mechanisms

Mirko Viroli, Alessandro Aldini, Roberto Casadei, 2018, Sci. Comput. Program..

Estimating the maximum information leakage

Alessandro Aldini, Alessandra Di Pierro, A. Aldini, 2008, International Journal of Information Security.

Component-Oriented Specification of Performance Measures

Alessandro Aldini, Marco Bernardo, 2006, Electron. Notes Theor. Comput. Sci..

Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior

Alessandro Aldini, 2010, QAPL.

Logics to Reason Formally About Trust Computation and Manipulation

Alessandro Aldini, Mirko Tagliaferri, 2019, ETAA@ESORICS.

Do the Self-Knowing Machines Dream of Knowing Their Factivity?

Alessandro Aldini, Pierluigi Graziani, Vincenzo Fano, 2015, AIC.

Expressing Processes with Different Action Durations through Probabilities

Mario Bravetti, Alessandro Aldini, M. Bravetti, 2001, PAPM-PROBMIV.

Design and validation of a trust-based opportunity-enabled risk management system

Alessandro Aldini, Xavier Titi, Jean-Marc Seigneur, 2017, Inf. Comput. Secur..

Perfect Equivalences in an Imperfect World

Alessandro Aldini, Carlo Bo, A. Aldini, 2011 .

Proceedings of the 7th European performance engineering conference on Computer performance engineering

Luciano Bononi, Vittorio Cortellessa, Alessandro Aldini, 2010 .

Security Analysis of a Probabilistic Non-repudiation Protocol

Roberto Gorrieri, Alessandro Aldini, R. Gorrieri, 2002, PAPM-PROBMIV.

Coordination Model and Noninterference

Alessandro Aldini, 2003, Electron. Notes Theor. Comput. Sci..

On Securing Real-Time Speech Transmission over the Internet: An Experimental Study

Marco Roccetti, Roberto Gorrieri, Alessandro Aldini, 2003, EURASIP J. Adv. Signal Process..

Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems

Alessandro Aldini, Marco Bernardo, M. Bernardo, 2009, WADS.

Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis

Alessandro Aldini, Pierluigi Graziani, Vincenzo Fano, 2015, HaPoC.

Formal Modeling and Verification of Opportunity-enabled Risk Management

Alessandro Aldini, Jean-Marc Seigneur, Xavier Titi, 2015, 2015 IEEE Trustcom/BigDataSE/ISPA.

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management

Alessandro Aldini, Marco Bernardo, Andrea Acquaviva, 2005, SFM.

Model Checking of Trust-Based User-Centric Cooperative Networks

Alessandro Aldini, Alessandro Bogliolo, 2012 .

A collaborative framework for generating probabilistic contracts

Daniele Sgandurra, Fabio Martinelli, Alessandro Aldini, 2013, 2013 International Conference on Collaboration Technologies and Systems (CTS).

An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth

Alessandro Aldini, Marco Bernardo, M. Bernardo, 2004, SAFECOMP.

Foundations of Security Analysis and Design VIII : FOSAD 2014/2015/2016 Tutorial Lectures

Fabio Martinelli, Javier Lopez, Alessandro Aldini, 2016 .

Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond pdf

Alessandro Aldini, A. Aldini, 2020, QAPL@ETAPS.

Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures

Roberto Gorrieri, Alessandro Aldini, Fabio Martinelli, 2005, FOSAD.

An Asynchronous Calculus for Generative-Reactive Probalistic Systems

Mario Bravetti, Alessandro Aldini, M. Bravetti, 2000, ICALP Satellite Workshops.

"Worth one minute": An anonymous rewarding platform for crowd-sensing systems

Alessandro Aldini, Alessandro Bogliolo, Saverio Delpriori, 2019, Journal of Communications and Networks.

Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures

Roberto Gorrieri, Alessandro Aldini, R. Gorrieri, 2011, FOSAD.

TwoTowers 4.0: towards the integration of security analysis and performance evaluation

Alessandro Aldini, Marco Bernardo, 2004 .

Detection of repackaged mobile applications through a collaborative approach

Daniele Sgandurra, Fabio Martinelli, Alessandro Aldini, 2015, Concurr. Comput. Pract. Exp..

Noninterference and the Most Powerful Probabilistic Adversary

Alessandro Aldini, Alessandra Di Pierro, 2006 .

From Knowledge to Trust: A Logical Framework for Pre-trust Computations

Alessandro Aldini, Mirko Tagliaferri, 2018, IFIPTM.

User-Centric Networking

Alessandro Aldini, Alessandro Bogliolo, 2014, Lecture Notes in Social Networks.

Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices

Alessandro Aldini, Andrea Saracino, Antonio La Marra, 2020 .

A Trust Logic for the Varieties of Trust

Alessandro Aldini, Mirko Tagliaferri, A. Aldini, 2019, SEFM Workshops.

On the Tradeoff among Trust, Privacy, and Cost in Incentive-Based Networks

Alessandro Aldini, Alessandro Bogliolo, Jean-Marc Seigneur, 2014, IFIPTM.

Tradeo between Performance and Security

Alessandro Aldini, Carlo Bo, A. Aldini, 2011 .

A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods

Marco Roccetti, Roberto Gorrieri, Alessandro Aldini, 1999 .

Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems

Herbert Wiklicky, Alessandro Aldini, Marco Bernardo, 2010 .

Classification of security properties in a Linda-like process algebra

Alessandro Aldini, 2006, Sci. Comput. Program..

Probabilistic Information Flow in a Process Algebra

Alessandro Aldini, A. Aldini, 2001, CONCUR.

Performability Measure Specification: Combining CSRL and MSL

Alessandro Aldini, Marco Bernardo, Jeremy Sproston, 2011, FMICS.

A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism

Roberto Gorrieri, Alessandro Aldini, R. Gorrieri, 2003, Global Computing.

Comparing the QoS of Internet audio mechanisms via formal methods

Marco Roccetti, Roberto Gorrieri, Alessandro Aldini, 2001, TOMC.

Component-Oriented Performance Evaluation

Alessandro Aldini, Marco Bernardo, Flavio Corradini, 2010 .

Stochastically Timed Process Algebra

Alessandro Aldini, Marco Bernardo, Flavio Corradini, 2010 .

A Process Algebraic Approach to Software Architecture Design

Alessandro Aldini, Marco Bernardo, Flavio Corradini, 2009 .

Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures

Roberto Gorrieri, Gilles Barthe, Alessandro Aldini, 2009, FOSAD.

Trust Evidence Logic

Alessandro Aldini, Mirko Tagliaferri, Pierluigi Graziani, 2021, ECSQARU.

On the Extension of Non-interference with Probabilities

Alessandro Aldini, A. Aldini, 2002 .

A SECURE PROTOCOL FOR VOICE-OPERATED E-COMMERCE SYSTEMS OVER IP NETWORKS

Marco Roccetti, Alessandro Aldini, Alessandro Amoroso, 2003 .