Alessandro Aldini

Alessandro Aldini: Approximating Markovian testing equivalence. Theor. Comput. Sci. 413(1): 73-86 (2012)

Alessandro Bogliolo, Paolo Polidori, Alessandro Aldini, Waldir Moreira, Paulo Mendes, Mursel Yildiz, Carlos Ballester Lafuente, Jean-Marc Seigneur: Virtual currency and reputation-based cooperation incentives in user-centric networks. IWCMC 2012: 895-900

Alessandro Aldini, Marco Bernardo: Component-oriented verification of noninterference. Journal of Systems Architecture - Embedded Systems Design 57(3): 282-293 (2011)

Alessandro Aldini, Marco Bernardo, Jeremy Sproston: Performability Measure Specification: Combining CSRL and MSL. FMICS 2011: 165-179

Alessandro Aldini, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures. Lecture Notes in Computer Science 6858, Springer 2011, isbn 978-3-642-23081-3

Alessandro Aldini, Marco Bernardo, Flavio Corradini: A Process Algebraic Approach to Software Architecture Design. Springer 2010, isbn 978-1-84800-222-7, pp. I-XV, 1-304

Marco Bernardo, Edoardo Bontà, Alessandro Aldini: Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. Journal of Systems and Software 83(8): 1404-1429 (2010)

Alessandro Aldini: Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior. QAPL 2010: 1-15

Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (Eds.): Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings. Lecture Notes in Computer Science 6342, Springer 2010, isbn 978-3-642-15783-7

Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (Eds.): 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. Lecture Notes in Computer Science 6154, Springer 2010, isbn 978-3-642-13677-1

Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 236: 1-3 (2009)

Alessandro Aldini, Marco Bernardo: A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. ARSPA-WITS 2009: 18-33

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Lecture Notes in Computer Science 5705, Springer 2009, isbn 978-3-642-03828-0

Alessandro Aldini, Christel Baier: Preface. Electr. Notes Theor. Comput. Sci. 220(3): 1-3 (2008)

Alessandro Aldini, Alessandra Di Pierro: Estimating the maximum information leakage. Int. J. Inf. Sec. 7(3): 219-242 (2008)

Alessandro Aldini, Marco Bernardo: Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. WADS 2008: 228-254

Alessandro Aldini, Franck van Breugel: Preface. Electr. Notes Theor. Comput. Sci. 190(3): 1-2 (2007)

Alessandro Aldini, Marco Bernardo: A formal approach to the integrated analysis of security and QoS. Rel. Eng. & Sys. Safety 92(11): 1503-1520 (2007)

Alessandro Aldini, Marco Bernardo: Mixing logics and rewards for the component-oriented specification of performance measures. Theor. Comput. Sci. 382(1): 3-23 (2007)

Marco Bernardo, Alessandro Aldini: Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. ICTCS 2007: 39-56

Alessandro Aldini, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures. Lecture Notes in Computer Science 4677, Springer 2007, isbn 978-3-540-74809-0

Alessandro Aldini, Marco Bernardo: Component-Oriented Specification of Performance Measures. Electr. Notes Theor. Comput. Sci. 164(3): 27-43 (2006)

Alessandro Aldini: Classification of security properties in a Linda-like process algebra. Sci. Comput. Program. 63(1): 16-38 (2006)

Alessandro Aldini, Alessandra Di Pierro: On Quantitative Analysis of Probabilistic Protocols. Electr. Notes Theor. Comput. Sci. 112: 131-148 (2005)

Alessandro Aldini, Marco Bernardo: On the usability of process algebra: An architectural view. Theor. Comput. Sci. 335(2-3): 281-329 (2005)

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

Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (Eds.): Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures. Lecture Notes in Computer Science 3655, Springer 2005, isbn 3-540-28955-0

Alessandro Aldini, Alessandra Di Pierro: A Quantitative Approach to Noninterference for Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 99: 155-182 (2004)

Angelo Troina, Alessandro Aldini, Roberto Gorrieri: Approximating Imperfect Cryptography in a Formal Model. Electr. Notes Theor. Comput. Sci. 99: 183-203 (2004)

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)

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-

Angelo Troina, Alessandro Aldini, Roberto Gorrieri: Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing 2004: 77-92

Alessandro Aldini, Marco Bernardo: TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. QEST 2004: 336-337

Alessandro Aldini, Marco Bernardo: An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. SAFECOMP 2004: 283-296

Alessandro Aldini, Marco Roccetti, Roberto Gorrieri: On Securing Real-Time Speech Transmission over the Internet: An Experimental Study. EURASIP J. Adv. Sig. Proc. 2003(10): 1027-1042 (2003)

Alessandro Aldini: Coordination Model and Noninterference. Electr. Notes Theor. Comput. Sci. 85(3): 37-53 (2003)

Mario Bravetti, Alessandro Aldini: Discrete time generative-reactive probabilistic processes with different advancing speeds. Theor. Comput. Sci. 290(1): 355-406 (2003)

Alessandro Aldini, Marco Bernardo: A General Approach to Deadlock Freedom Verification for Software Architectures. FME 2003: 658-677

Alessandro Aldini, Roberto Gorrieri: A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. Global Computing 2003: 203-228

Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky: Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43

Alessandro Aldini, Roberto Gorrieri: Security Analysis of a Probabilistic Non-repudiation Protocol. PAPM-PROBMIV 2002: 17-36

Mario Bravetti, Alessandro Aldini: Non-determinism in Probabilistic Timed Systems with General Distributions. Electr. Notes Theor. Comput. Sci. 52(3): 246-274 (2001)

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)

Alessandro Aldini: Probabilistic Information Flow in a Process Algebra. CONCUR 2001: 152-168

Mario Bravetti, Alessandro Aldini: Expressing Processes with Different Action Durations through Probabilities. PAPM-PROBMIV 2001: 168-183

Alessandro Aldini, Mario Bravetti: An Asynchronous Calculus for Generative-Reactive Probalistic Systems. ICALP Satellite Workshops 2000: 591-606