dblp.uni-trier.dewww.uni-trier.de

Alessandro Aldini Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
33EEAlessandro Aldini, Gilles Barthe, Roberto Gorrieri: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures Springer 2009
32EEAlessandro Aldini, Marco Bernardo: A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. ARSPA-WITS 2009: 18-33
31EEAlessandro Aldini, Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 236: 1-3 (2009)
2008
30EEAlessandro Aldini, Christel Baier: Preface. Electr. Notes Theor. Comput. Sci. 220(3): 1-3 (2008)
29EEAlessandro 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
26EEAlessandro Aldini, Franck van Breugel: Preface. Electr. Notes Theor. Comput. Sci. 190(3): 1-2 (2007)
25EEAlessandro Aldini, Marco Bernardo: Mixing logics and rewards for the component-oriented specification of performance measures. Theor. Comput. Sci. 382(1): 3-23 (2007)
2006
24EEAlessandro Aldini, Marco Bernardo: Component-Oriented Specification of Performance Measures. Electr. Notes Theor. Comput. Sci. 164(3): 27-43 (2006)
23EEAlessandro 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
21EEAndrea 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
20EEAlessandro Aldini, Alessandra Di Pierro: On Quantitative Analysis of Probabilistic Protocols. Electr. Notes Theor. Comput. Sci. 112: 131-148 (2005)
19EEAlessandro Aldini, Marco Bernardo: On the usability of process algebra: An architectural view. Theor. Comput. Sci. 335(2-3): 281-329 (2005)
2004
18EEAndrea 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-
17EEAngelo Troina, Alessandro Aldini, Roberto Gorrieri: Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing 2004: 77-92
16EEAlessandro Aldini, Marco Bernardo: TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. QEST 2004: 336-337
15EEAlessandro Aldini, Marco Bernardo: An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. SAFECOMP 2004: 283-296
14EEAlessandro Aldini, Alessandra Di Pierro: A Quantitative Approach to Noninterference for Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 99: 155-182 (2004)
13EEAngelo 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
11EEAlessandro Aldini, Marco Bernardo: A General Approach to Deadlock Freedom Verification for Software Architectures. FME 2003: 658-677
10EEAlessandro Aldini, Roberto Gorrieri: A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. Global Computing 2003: 203-228
9EEAlessandro 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
7EEAlessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky: Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43
6EEAlessandro Aldini, Roberto Gorrieri: Security Analysis of a Probabilistic Non-repudiation Protocol. PAPM-PROBMIV 2002: 17-36
2001
5EEAlessandro Aldini: Probabilistic Information Flow in a Process Algebra. CONCUR 2001: 152-168
4EEMario Bravetti, Alessandro Aldini: Expressing Processes with Different Action Durations through Probabilities. PAPM-PROBMIV 2001: 168-183
3EEAlessandro 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)
2EEMario 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)