| A process-algebraic approach for the analysis of probabilistic noninterference 1 A Aldini, M Bravetti, R Gorrieri Journal of Computer Security 12 (2), 191-245, 2004 | 98 | 2004 |
| A process algebraic approach to software architecture design A Aldini, M Bernardo, F Corradini Springer Science & Business Media, 2010 | 77 | 2010 |
| Virtual currency and reputation-based cooperation incentives in user-centric networks A Bogliolo, P Polidori, A Aldini, W Moreira, P Mendes, M Yildiz, ... 2012 8th International Wireless Communications and Mobile Computing …, 2012 | 66 | 2012 |
| On the usability of process algebra: An architectural view A Aldini, M Bernardo Theoretical Computer Science 335 (2-3), 281-329, 2005 | 49 | 2005 |
| Foundations of security analysis and design III: FOSAD 2004/2005 tutorial lectures A Aldini, R Gorrieri, F Martinelli Springer Science & Business Media, 2005 | 43* | 2005 |
| Discrete time generative–reactive probabilistic processes with different advancing speeds M Bravetti, A Aldini Theoretical Computer Science 290 (1), 355-406, 2003 | 42 | 2003 |
| Probabilistic information flow in a process algebra A Aldini International Conference on Concurrency Theory, 152-168, 2001 | 40 | 2001 |
| Comparing the QoS of Internet audio mechanisms via formal methods A Aldini, M Bernardo, R Gorrieri, M Roccetti ACM Transactions on Modeling and Computer Simulation (TOMACS) 11 (1), 1-42, 2001 | 32 | 2001 |
| Estimating the maximum information leakage A Aldini, A Di Pierro International Journal of Information Security 7 (3), 219-242, 2008 | 30 | 2008 |
| Two formal approaches for approximating noninterference properties A Aldini, M Bravetti, A Di Pierro, R Gorrieri, C Hankin, H Wiklicky International School on Foundations of Security Analysis and Design, 1-43, 2001 | 29 | 2001 |
| User-Centric Networking: Future Perspectives A Aldini, A Bogliolo Springer, 2014 | 27 | 2014 |
| A formal approach to the integrated analysis of security and QoS A Aldini, M Bernardo Reliability Engineering & System Safety 92 (11), 1503-1520, 2007 | 26 | 2007 |
| Security analysis of a probabilistic non-repudiation protocol A Aldini, R Gorrieri Joint International Workshop von Process Algebra and Probabilistic Methods …, 2002 | 26 | 2002 |
| Detection of repackaged mobile applications through a collaborative approach A Aldini, F Martinelli, A Saracino, D Sgandurra Concurrency and Computation: Practice and Experience 27 (11), 2818-2838, 2015 | 25 | 2015 |
| A quantitative approach to noninterference for probabilistic systems A Aldini, A Di Pierro Electronic Notes in Theoretical Computer Science 99, 155-182, 2004 | 20 | 2004 |
| An algebraic model for evaluating the performance of an ATM switch with explicit rate marking A Aldini, M Bernardo, R Gorrieri Proc. of the 7th Int. Workshop on Process Algebras and Performance Modeling …, 1999 | 20 | 1999 |
| Modeling and verification of trust and reputation systems A Aldini Security and communication networks 8 (16), 2933-2946, 2015 | 19 | 2015 |
| A methodology based on formal methods for predicting the impact of dynamic power management A Acquaviva, A Aldini, M Bernardo, A Bogliolo, E Bontą, E Lattanzi School on Formal Methods-Moby, 155-189, 2005 | 19 | 2005 |
| Model checking of trust-based user-centric cooperative networks A Aldini, A Bogliolo Proc. 4th International Conference on Advances in Future Internet (AFIN’12 …, 2012 | 18 | 2012 |
| Assessing the impact of dynamic power management on the functionality and the performance of battery-powered appliances A Acquaviva, A Aldini, M Bernardo, A Bogliolo, E Bontą, E Lattanzi International Conference on Dependable Systems and Networks, 2004, 731-740, 2004 | 18 | 2004 |
