Alessandro Aldini

	2009
34		Alessandro Aldini, Gilles Barthe, Roberto Gorrieri: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures Springer 2009
33		Alessandro Aldini, Marco Bernardo: A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. ARSPA-WITS 2009: 18-33
32		Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 236: 1-3 (2009)
	2008
31		Alessandro Aldini, Marco Bernardo: Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. WADS 2008: 228-254
30		Alessandro Aldini, Christel Baier: Preface. Electr. Notes Theor. Comput. Sci. 220(3): 1-3 (2008)
29		Alessandro Aldini, Alessandra Di Pierro: Estimating the maximum information leakage. Int. J. Inf. Sec. 7(3): 219-242 (2008)
	2007
28		Alessandro Aldini, Roberto Gorrieri: Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures Springer 2007
27		Marco Bernardo, Alessandro Aldini: Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. ICTCS 2007: 39-56
26		Alessandro Aldini, Franck van Breugel: Preface. Electr. Notes Theor. Comput. Sci. 190(3): 1-2 (2007)
25		Alessandro Aldini, Marco Bernardo: Mixing logics and rewards for the component-oriented specification of performance measures. Theor. Comput. Sci. 382(1): 3-23 (2007)
	2006
24		Alessandro Aldini, Marco Bernardo: Component-Oriented Specification of Performance Measures. Electr. Notes Theor. Comput. Sci. 164(3): 27-43 (2006)
23		Alessandro Aldini: Classification of security properties in a Linda-like process algebra. Sci. Comput. Program. 63(1): 16-38 (2006)
	2005
22		Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli: Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures Springer 2005
21		Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi: A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. SFM 2005: 155-189
20		Alessandro Aldini, Alessandra Di Pierro: On Quantitative Analysis of Probabilistic Protocols. Electr. Notes Theor. Comput. Sci. 112: 131-148 (2005)
19		Alessandro Aldini, Marco Bernardo: On the usability of process algebra: An architectural view. Theor. Comput. Sci. 335(2-3): 281-329 (2005)
	2004
18		Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi: Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances. DSN 2004: 731-
17		Angelo Troina, Alessandro Aldini, Roberto Gorrieri: Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing 2004: 77-92
16		Alessandro Aldini, Marco Bernardo: TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. QEST 2004: 336-337
15		Alessandro Aldini, Marco Bernardo: An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. SAFECOMP 2004: 283-296
14		Alessandro Aldini, Alessandra Di Pierro: A Quantitative Approach to Noninterference for Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 99: 155-182 (2004)
13		Angelo Troina, Alessandro Aldini, Roberto Gorrieri: Approximating Imperfect Cryptography in a Formal Model. Electr. Notes Theor. Comput. Sci. 99: 183-203 (2004)
12		Alessandro Aldini, Mario Bravetti, Roberto Gorrieri: A process-algebraic approach for the analysis of probabilistic noninterference. Journal of Computer Security 12(2): 191-245 (2004)
	2003
11		Alessandro Aldini, Marco Bernardo: A General Approach to Deadlock Freedom Verification for Software Architectures. FME 2003: 658-677
10		Alessandro Aldini, Roberto Gorrieri: A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. Global Computing 2003: 203-228
9		Alessandro Aldini: Coordination Model and Noninterference. Electr. Notes Theor. Comput. Sci. 85(3): (2003)
8		Mario Bravetti, Alessandro Aldini: Discrete time generative-reactive probabilistic processes with different advancing speeds. Theor. Comput. Sci. 290(1): 355-406 (2003)
	2002
7		Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky: Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43
6		Alessandro Aldini, Roberto Gorrieri: Security Analysis of a Probabilistic Non-repudiation Protocol. PAPM-PROBMIV 2002: 17-36
	2001
5		Alessandro Aldini: Probabilistic Information Flow in a Process Algebra. CONCUR 2001: 152-168
4		Mario Bravetti, Alessandro Aldini: Expressing Processes with Different Action Durations through Probabilities. PAPM-PROBMIV 2001: 168-183
3		Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti: Comparing the QoS of Internet audio mechanisms via formal methods. ACM Trans. Model. Comput. Simul. 11(1): 1-42 (2001)
2		Mario Bravetti, Alessandro Aldini: Non-determinism in Probabilistic Timed Systems with General Distributions. Electr. Notes Theor. Comput. Sci. 52(3): (2001)
	2000
1		Alessandro Aldini, Mario Bravetti: An Asynchronous Calculus for Generative-Reactive Probalistic Systems. ICALP Satellite Workshops 2000: 591-606

Coauthor Index

1	Andrea Acquaviva	[18] [21]
2	Christel Baier	[30]
3	Gilles Barthe	[34]
4	Maurice H. ter Beek	[32]
5	Marco Bernardo	[3] [11] [15] [16] [18] [19] [21] [24] [25] [27] [31] [33]
6	Alessandro Bogliolo	[18] [21]
7	Edoardo Bontà	[18] [21]
8	Mario Bravetti	[1] [2] [4] [7] [8] [12]
9	Franck van Breugel	[26]
10	Fabio Gadducci	[32]
11	Roberto Gorrieri	[3] [6] [7] [10] [12] [13] [17] [22] [28] [34]
12	Chris Hankin	[7]
13	Emanuele Lattanzi	[18] [21]
14	Fabio Martinelli	[22]
15	Alessandra Di Pierro	[7] [14] [20] [29]
16	Marco Roccetti	[3]
17	Angelo Troina	[13] [17]
18	Herbert Wiklicky	[7]

Colors in the list of coauthors