Book together with Marco Bernardo and Flavio Corradini (2010):
A Process Algebraic Approach to Software Architecture Design
Springer, ISBN: 978-1-84800-222-7

Bibliography by topics


Process calculi: syntax and semantics

A. Aldini
"
A Calculus for Trust and Reputation Systems"
8th IFIP WG 11.11 International Conference on Trust Management, J. Zhou et al. (Eds.), IFIP AICT 430, pp. 173-188, Springer, Singapore, July 2014.

M. Bernardo, E. Bontà, A. Aldini
"Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation"
The Journal of Systems & Software 83(8):1404-1429, Elsevier, August 2010.

A. Aldini, M. Bernardo
"On the Usability of Process Algebra: An Architectural View" - pdf
Journal of Theoretical Computer Science 335(2-3):281-329, Elsevier, May 2005.

M. Bravetti, A. Aldini
"Discrete Time Generative-reactive Probabilistic Processes with Different Advancing Speeds" - ps.gz
Journal of Theoretical Computer Science 290(1):355-406, Elsevier, January 2003.

M. Bravetti, A. Aldini
"Expressing Processes with Different Action Durations through Probabilities"
1st Joint Int. Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification (PAPM-PROBMIV'01), Springer LNCS 2165:168-183, Aachen, Germany, September 2001.

M. Bravetti, A. Aldini
"Non-determinism in Probabilistic Timed Systems with General Distributions"
MTCS 2001: Models for Time-Critical Systems, ENTCS 52.3, Aalborg, Denmark, August 2001.

A. Aldini, M. Bravetti
"An Asynchronous Calculus for Generative-Reactive Probabilistic Systems"
8th Int. Workshop on Process Algebra and Performance Modeling (PAPM'00), Carleton Scientific, pp. 591-605, Geneve (Switzerland), July 2000.


Behavioral equivalences and related approximations

A. Aldini
"Approximating Markovian Testing Equivalence" -
pdf
Journal of Theoretical Computer Science 413(1):73-86, Elsevier, January 2012.

A. Aldini
"Behavioral Equivalences and Approximations" - pdf - slides
12th Italian Conference on Theoretical Computer Science (ICTCS'10), Camerino (Italia), September 2010.

A. Aldini
"Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior" - pdf - slides
Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL'10), EPTCS 28, Paphos (Cyprus), March 2010.

A. Aldini, M. Bernardo
"Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems"
Architecting Dependable Systems 6, R. de Lemos et al., eds., Springer LNCS 5835:228-254, 2009.

A. Aldini
"A Note on the Approximation of Weak Probabilistic Bisimulation" - pdf - slides
Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL'09), York (UK), March 2009.

M. Bernardo, A. Aldini
"Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions" - ps
Tenth Italian Conference on Theoretical Computer Science (ICTCS'07) World Scientific, pp. 39-56, Roma (Italy), October 2007.


Logics

A. Aldini, M. Bernardo, J. Sproston
"Performability Measure Specification: Combining CSRL and MSL"
16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11), LNCS 6959:165-179, Springer, Trento (Italy), August 2011.

A. Aldini, M. Bernardo
"Mixing Logics and Rewards for the Component-oriented Specification of Performance Measures" -
pdf
Journal of Theoretical Computer Science 382(1):3-23, Special Issue on Quantitative Aspects of Programming Languages, August 2007.

A. Aldini, M. Bernardo
"Component-Oriented Specification of Performance Measures" - pdf
4th Workshop on Quantitative Aspects of Programming Languages (QAPL'06), ENTCS 164:27-43, Vienna (Austria), March 2006.


Nondeterministic, probabilistic and stochastic noninterference

A. Aldini, M. Bernardo
"Component-Oriented Verification of Noninterference" -
pdf
Journal of Systems Architecture 57:282-293, Elsevier, March 2011.

A. Aldini, M. Bernardo
"A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference" - pdf - slides
Joint Workshops on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'09), LNCS 5511:18-33, Springer, York (UK), March 2009.

A. Aldini
"Classification of Security Properties in a Linda-like Process Algebra" - pdf
Journal of Science of Computer Programming, Special Issue on Security Issues in Coordination Models, Languages and Systems 63(1):16-38, Elsevier, November 2006.

A. Troina, A. Aldini, R. Gorrieri
"Towards a Formal Treatment of Secrecy against Computational Adversaries" - pdf
Global Computing: Programming Environments, Languages, Security and Analysis of Systems, C. Priami and P. Quaglia, eds., LNCS 3267:77-92, Springer, February 2005.

A. Aldini, M. Bravetti, R. Gorrieri
"A Process-algebraic Approach for the Analysis of Probabilistic Non-interference" - ps
Journal of Computer Security 12(2):191-245, IOS Press, March 2004.

A. Aldini
"Coordination Model and Noninterference"
1st Int. Workshop on Security Issues in Coordination Models, Languages, and Systems (SECCO'03), Eindhoven University of Technology (the Netherlands), June 2003, ENTCS 85.3, 2003.

A. Troina, A. Aldini, R. Gorrieri
"A Probabilistic Formulation of Imperfect Cryptography"
1st Int. Workshop on Issues in Security and Petri Nets (WISP'03), Eindhoven University of Technology (the Netherlands), June 2003.

A. Aldini
"On the Extension of Non-interference with Probabilities" - ps.gz
2nd ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'02), Portland, OR (USA), January 2002.

A. Aldini
"Probabilistic Information Flow in a Process Algebra" - pdf
12th Int. Conference on Concurrency Theory (CONCUR'01), Springer LNCS 2154:152-168, Aalborg, Denmark, August 2001.


Approximate noninterference

A. Aldini, A. Di Pierro
"Estimating the Maximum Information Leakage" -
pdf
International Journal of Information Security 7(3):219-242, Springer, June 2008.

A. Aldini, A. Di Pierro
"Noninterference and the Most Powerful Probabilistic Adversary" - ps
6th Int. Workshop on Issues in the Theory of Security (WITS'06), Vienna (Austria), March 2006.

A. Aldini, A. Di Pierro
"A Quantitative Approach to Noninterference for Probabilistic Systems" - pdf
Selected papers from MIUR project Mefisto, ENTCS 99, pp. 155-182, August 2004.

A. Troina, A. Aldini, R. Gorrieri
"Approximating Imperfect Cryptography in a Formal Model" - pdf
Selected papers from MIUR project Mefisto, ENTCS 99, pp. 183-203, August 2004.

A. Aldini, A. Di Pierro
"On Quantitative Analysis of Probabilistic Protocols" - pdf
2nd Workshop on Quantitative Aspects of Programming Languages (QAPL'04), ENTCS 112:131-148, Barcelona (Spain), March 2004.

A. Aldini, M. Bravetti, A. Di Pierro, R. Gorrieri, C. Hankin, H. Wiklicky
Two Formal Approaches for Approximating Noninterference Properties - pdf
Foundations of Security Analysis and Design II, R. Focardi and R. Gorrieri, eds., LNCS 2946: 1-43, Springer, January 2004.


Dependability, security, and performance properties: analysis and trade-off

A. Aldini, M. Bernardo
"A Formal Approach to the Integrated Analysis of Security and QoS" -
pdf
Journal of Reliability Engineering & System Safety 92(11):1503-1520, Elsevier, November 2007.

M. Bernardo, A. Bogliolo, A. Acquaviva, A. Aldini, E. Bontà, E. Lattanzi
"Predicting the Functional/Performance Impact of Dynamic Power Management"
7th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 7), pp. 10-13, Torino (Italy), September 2005.

A. Acquaviva, A. Aldini, M. Bernardo, A. Bogliolo, E. Bontà, E. Lattanzi
"A Formal Method Based Methodology for Predicting the Impact of Dynamic Power Management" - pdf
Formal Methods for Mobile Computing, M. Bernardo and A. Bogliolo, eds., LNCS 3465: 155-189, Springer, April 2005.

A. Aldini, M. Bernardo
"TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation"
1st International Conference on Quantitative Evaluation of Systems (QEST'04), IEEE Computer Society Press, pp. 336-337, Enschede (The Netherlands), September 2004.

A. Aldini, M. Bernardo
"An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth" - ps
23rd Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP'04), Springer LNCS 3219:283-296, Potsdam (Germany), September 2004.

A. Acquaviva, A. Aldini, M. Bernardo, A. Bogliolo, E. Bontà, E. Lattanzi
"Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered iAppliances" - ps
5th Int. Conf. on Dependable Systems and Networks (DSN'04) - Performance and Dependability Symposium, IEEE CS Press, pp. 731-740, Firenze (Italy), June 2004.

A. Aldini, R. Gorrieri
"A Study About Trade-off Between Performance and Security in an Internet Audio Mechanism" - pdf
Global Computing: Programming Environments, Languages, Security and Analysis of Systems, C. Priami, ed., LNCS 2874:203-228, Springer, December 2003.

M. Roccetti, A. Aldini, M. Bernardo, R. Gorrieri
"QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool" - pdf
Journal of Systems Analysis Modelling Simulation 43(12):1747-1759, Taylor and Francis Pub., December 2003.

A. Aldini, M. Bernardo
"A General Approach to Deadlock Freedom Verification for Software Architectures" - ps.gz
FM 2003: the 12th Int. FME Symposium, Springer LNCS 2805:658-677, Pisa (Italy), September 2003.

A. Aldini, R. Gorrieri
"Security Analysis of a Probabilistic Non-repudiation Protocol"
2nd Joint Int. Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification (PAPM-PROBMIV'02), Springer LNCS 2399:17-36, Copenhagen (Denmark), July 2002.

A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti
"Comparing the QoS of Internet Audio Mechanisms via Formal Methods" - ps
Journal of Transactions on Modeling and Computer Simulation 11(1):1-42, ACM Press, January 2001.

A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti
"A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods"
11th European Simulation Symposium (ESS'99), Society for Computer Simulation International, pp. 281-288, Erlangen (Germany), October 1999.

A. Aldini, M. Bernardo, R. Gorrieri
"An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking"
7th Int. Workshop on Process Algebra and Performance Modeling (PAPM'99), Prensas Universitarias de Zaragoza, pp. 119-138, Zaragoza (Spain), September 1999.

A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti
"Stochastic Process Algebras for the Analysis of Internet Protocols"
4th Workshop on Distributed Systems: Algorithms, Architectures and Languages (WSDAAL'99), pp. 6-7, Fonte Cerreto (Italy), September 1999.


Dependable, secure, performance-aware software systems

A. Aldini, F. Martinelli, A. Saracino, D. Sgandurra
"A Collaborative Framework for Generating Probabilistic Contracts" (Springer runner-up prize for outstanding paper award 2013)
International Conference on Collaboration Technologies and Systems (CTS 2013), IEEE, pp. 139-143, San Diego, CA, May 2013.

A. Aldini, M. Roccetti, R. Gorrieri
"On Securing Real Time Speech Transmission over the Internet: An Experimental Study" -
pdf
EURASIP Journal on Applied Signal Processing, Special Issue on Digital Audio for Multimedia Communications 2003(10):1027-1042, Hindawi Publishing Corporation, September 2003.

A. Aldini, A. Amoroso, M. Roccetti
"A Secure Protocol for Voice-Operated E-Commerce Systems over IP Networks" - ps
Journal of Pure and Applied Mathematics 4(2):121-142, Academic Publications, January 2003.

A. Aldini, R. Gorrieri, M. Roccetti
"An Adaptive Mechanism for Real-time Secure Speech Transmission over the Internet"
2nd IP-Telephony Workshop, Columbia University, pp. 64-72, New York City, NY (USA), April 2001.


Modeling and analysis of trust

A. Aldini, A. Bogliolo, C. Ballester Lafuente, J.-M. Seigneur
"
On the Tradeoff Among Trust, Privacy, and Cost in Incentive-Based Networks"
8th IFIP WG 11.11 International Conference on Trust Management, J. Zhou et al. (Eds.), IFIP AICT 430, pp. 205-212, Springer, Singapore, July 2014.

A. Aldini, A. Bogliolo
"Modeling and Verification of Cooperation Incentive Mechanisms in User- Centric Wireless Communications"
Security, Privacy, Trust, and Resource Management in Mobile and Wireless Communications, D. Rawat, B. Bista, and G. Yan, eds., IGI Global, pp. 432-461, 2014.

A. Aldini
"Formal Approach to Design and Automatic Verification of Cooperation-Based Networks"
International Journal On Advances in Internet Technology 6 n. 1&2, IARIA, pp. 42-56, June 2013.

A. Aldini, A. Bogliolo
"Trading Performance and Cooperation Incentives in User-Centric Networks"
International Workshop on Quantitative Aspects in Security Assurance (QASA'12), Pisa (Italy), September 2012.

A. Bogliolo, P. Polidori, A. Aldini, W. Moreira, P. Mendes, M. Yildiz, C. Ballester, J.-M. Seigneur
"Virtual Currency and Reputation-Based Cooperation Incentives in User-Centric Networks"
8th International Wireless Communications and Mobile Computing Conference (IWCMC-2012), IEEE, pp. 895-900, Limassol (Cyprus), August 2012.

A. Aldini, A. Bogliolo
"Model Checking of Trust-Based User-Centric Cooperative Networks" (best paper award)
4th International Conference on Advances in Future Internet (AFIN2012), IARIA, pp. 32-41, Rome (Italy), August 2012.