default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlessandro Aldini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j25]Alessandro Aldini
, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri:
A probabilistic modal logic for context-aware trust based on evidence. Int. J. Approx. Reason. 169: 109167 (2024)- [c53]Alessandro Aldini, Tommaso Petrelli:
Image-based detection and classification of Android malware through CNN models. ARES 2024: 61:1-61:11 - [c52]Andrea Esposito, Alessandro Aldini, Marco Bernardo:
Noninterference Analysis of Reversible Probabilistic Systems. FORTE 2024: 39-59 - [c51]Ludovico Fusco, Alessandro Aldini:
Hyperproperties for Safe and Secure RFID Systems. ITASEC 2024 - [e17]Alessandro Aldini:
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14568, Springer 2024, ISBN 978-3-031-66020-7 [contents] - [i4]Alessandro Aldini:
A process algebraic framework for multi-agent dynamic epistemic systems. CoRR abs/2407.17537 (2024) - [i3]Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri:
Support + Belief = Decision Trust. CoRR abs/2409.00666 (2024) - 2023
- [c50]Andrea Esposito, Alessandro Aldini, Marco Bernardo:
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. FORTE 2023: 57-74 - [c49]Alessandro Aldini, Suzana Mesquita de Borba Maranhão Moreno, Jean-Marc Seigneur:
A Rule-Language Tailored for Financial Inclusion and KYC/AML Compliance. PST 2023: 1-10 - [c48]Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri:
Frequentist Probability Logic. SEFM Workshops 2023: 54-71 - [i2]Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi:
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. CoRR abs/2311.15670 (2023) - 2022
- [j24]Alessandro Aldini:
On the Modeling and Verification of Collective and Cooperative Systems. Frontiers Robotics AI 9 (2022) - [j23]Mirko Tagliaferri, Alessandro Aldini:
From belief to trust: A quantitative framework based on modal logic. J. Log. Comput. 32(6): 1017-1047 (2022) - [j22]Alessandro Aldini:
On the modeling and verification of the spread of fake news, algebraically. J. Log. Comput. 32(6): 1272-1291 (2022) - [c47]Alessandro Aldini, Samuel Allen Alexander, Pierluigi Graziani:
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox. SEFM Workshops 2022: 383-399 - 2021
- [j21]Annamaria Amura, Alessandro Aldini, Stefano Pagnotta, Emanuele Salerno, Anna Tonazzini, Paolo Triolo:
Analysis of Diagnostic Images of Artworks and Feature Extraction: Design of a Methodology. J. Imaging 7(3): 53 (2021) - [j20]Alessandro Aldini, Antonio La Marra, Fabio Martinelli, Andrea Saracino:
Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices. Soft Comput. 25(3): 2295-2314 (2021) - [c46]Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri:
Trust Evidence Logic. ECSQARU 2021: 575-589 - 2020
- [j19]Alessandro Aldini, Marco Bernardo:
The Italian Conference on Theoretical Computer Science. Theor. Comput. Sci. 815: 310 (2020) - [c45]Alessandro Aldini, Alessandro Bogliolo, Saverio Delpriori, Lorenz Cuno Klopfenstein, Giorgia Remedi:
Modeling and Verification of the Worth-One-Minute Security Protocols. ITASEC 2020: 24-35 - [c44]Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri:
Reasoning About Ignorance and Beliefs. SEFM 2020: 214-230 - [e16]Alessandro Aldini, Herbert Wiklicky:
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019. EPTCS 312, 2020 [contents]
2010 – 2019
- 2019
- [j18]Lorenz Cuno Klopfenstein, Saverio Delpriori, Alessandro Aldini, Alessandro Bogliolo:
"Worth one minute": An anonymous rewarding platform for crowd-sensing systems. J. Commun. Networks 21(5): 509-520 (2019) - [c43]Alessandro Aldini, Mirko Tagliaferri:
Logics to Reason Formally About Trust Computation and Manipulation. ETAA@ESORICS 2019: 1-15 - [c42]Mirko Tagliaferri, Alessandro Aldini:
A Trust Logic for the Varieties of Trust. SEFM Workshops 2019: 119-136 - [c41]Alessandro Aldini:
Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond. QAPL@ETAPS 2019: 1-19 - 2018
- [j17]Roberto Casadei, Alessandro Aldini, Mirko Viroli:
Towards attack-resistant Aggregate Computing using trust mechanisms. Sci. Comput. Program. 167: 114-137 (2018) - [j16]Alessandro Aldini:
Design and Verification of Trusted Collective Adaptive Systems. ACM Trans. Model. Comput. Simul. 28(2): 9:1-9:27 (2018) - [c40]Mirko Tagliaferri, Alessandro Aldini:
A Trust Logic for Pre-Trust Computations. FUSION 2018: 2006-2012 - [c39]Mirko Tagliaferri, Alessandro Aldini:
From Knowledge to Trust: A Logical Framework for Pre-trust Computations. IFIPTM 2018: 107-123 - [c38]Lorenz Cuno Klopfenstein, Saverio Delpriori, Alessandro Aldini, Alessandro Bogliolo:
Introducing a flexible rewarding platform for mobile crowd-sensing applications. PerCom Workshops 2018: 728-733 - [e15]Alessandro Aldini, Marco Bernardo:
Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018. CEUR Workshop Proceedings 2243, CEUR-WS.org 2018 [contents] - [i1]Marco Bernardo, Edoardo Bontà, Alessandro Aldini:
Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications. CoRR abs/1805.11676 (2018) - 2017
- [j15]Alessandro Aldini, Jean-Marc Seigneur, Carlos Ballester Lafuente, Xavier Titi, Jonathan Guislain:
Design and validation of a trust-based opportunity-enabled risk management system. Inf. Comput. Secur. 25(1): 2-25 (2017) - [c37]Roberto Casadei, Alessandro Aldini, Mirko Viroli:
Combining Trust and Aggregate Computing. SEFM Workshops 2017: 507-522 - 2016
- [c36]Antonio La Marra, Fabio Martinelli, Andrea Saracino, Alessandro Aldini:
On Probabilistic Application Compliance. Trustcom/BigDataSE/ISPA 2016: 1848-1855 - [c35]Alessandro Aldini:
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems. FORECAST@STAF 2016: 19-30 - [e14]Joaquín García-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri:
Data Privacy Management, and Security Assurance - 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9481, Springer 2016, ISBN 978-3-319-29882-5 [contents] - [e13]Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri:
Data Privacy Management and Security Assurance - 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings. Lecture Notes in Computer Science 9963, Springer 2016, ISBN 978-3-319-47071-9 [contents] - [e12]Alessandro Aldini, Javier López, Fabio Martinelli:
Foundations of Security Analysis and Design VIII - FOSAD 2014/2015/2016 Tutorial Lectures. Lecture Notes in Computer Science 9808, Springer 2016, ISBN 978-3-319-43004-1 [contents] - 2015
- [j14]Alessandro Aldini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra:
Detection of repackaged mobile applications through a collaborative approach. Concurr. Comput. Pract. Exp. 27(11): 2818-2838 (2015) - [j13]Alessandro Aldini:
Modeling and verification of trust and reputation systems. Secur. Commun. Networks 8(16): 2933-2946 (2015) - [c34]Alessandro Aldini, Vincenzo Fano, Pierluigi Graziani:
Do the Self-Knowing Machines Dream of Knowing Their Factivity? AIC 2015: 125-132 - [c33]Alessandro Aldini, Vincenzo Fano, Pierluigi Graziani:
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis. HaPoC 2015: 57-70 - [c32]Alessandro Aldini, Jean-Marc Seigneur, Carlos Ballester Lafuente, Xavier Titi, Jonathan Guislain:
Formal Modeling and Verification of Opportunity-enabled Risk Management. TrustCom/BigDataSE/ISPA (1) 2015: 676-684 - [c31]Alessandro Aldini, Marco Bernardo:
Expected-Delay-Summing Weak Bisimilarity for Markov Automata. QAPL 2015: 1-15 - [e11]Joaquín García-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri:
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance - 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8872, Springer 2015, ISBN 978-3-319-17015-2 [contents] - 2014
- [c30]Alessandro Aldini:
A Calculus for Trust and Reputation Systems. IFIPTM 2014: 173-188 - [c29]Alessandro Aldini, Alessandro Bogliolo, Carlos Ballester Lafuente, Jean-Marc Seigneur:
On the Tradeoff among Trust, Privacy, and Cost in Incentive-Based Networks. IFIPTM 2014: 205-212 - [e10]Alessandro Aldini, Javier López, Fabio Martinelli:
Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures. Lecture Notes in Computer Science 8604, Springer 2014, ISBN 978-3-319-10081-4 [contents] - 2013
- [c28]Fabio Martinelli, Andrea Saracino, Daniele Sgandurra, Alessandro Aldini:
A collaborative framework for generating probabilistic contracts. CTS 2013: 139-142 - 2012
- [j12]Alessandro Aldini:
Approximating Markovian testing equivalence. Theor. Comput. Sci. 413(1): 73-86 (2012) - [c27]Alessandro Bogliolo, Paolo Polidori, Alessandro Aldini, Waldir A. Moreira, Paulo Mendes, Mürsel Yildiz, Carlos Ballester Lafuente, Jean-Marc Seigneur:
Virtual currency and reputation-based cooperation incentives in user-centric networks. IWCMC 2012: 895-900 - 2011
- [j11]Alessandro Aldini, Marco Bernardo:
Component-oriented verification of noninterference. J. Syst. Archit. 57(3): 282-293 (2011) - [c26]Alessandro Aldini, Marco Bernardo, Jeremy Sproston:
Performability Measure Specification: Combining CSRL and MSL. FMICS 2011: 165-179 - [e9]Alessandro Aldini, Roberto Gorrieri:
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures. Lecture Notes in Computer Science 6858, Springer 2011, ISBN 978-3-642-23081-3 [contents] - 2010
- [b1]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 - [j10]Marco Bernardo, Edoardo Bontà, Alessandro Aldini:
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. J. Syst. Softw. 83(8): 1404-1429 (2010) - [c25]Alessandro Aldini:
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior. QAPL 2010: 1-15 - [e8]Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa:
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 [contents] - [e7]Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky:
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 [contents]
2000 – 2009
- 2009
- [c24]Alessandro Aldini, Marco Bernardo:
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. ARSPA-WITS 2009: 18-33 - [e6]Alessandro Aldini, Gilles Barthe, Roberto Gorrieri:
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 [contents] - [e5]Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008. Electronic Notes in Theoretical Computer Science 236, Elsevier 2009 [contents] - 2008
- [j9]Alessandro Aldini, Alessandra Di Pierro:
Estimating the maximum information leakage. Int. J. Inf. Sec. 7(3): 219-242 (2008) - [c23]Alessandro Aldini, Marco Bernardo:
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. WADS 2008: 228-254 - [c22]Alessandro Aldini, Christel Baier:
Preface. QAPL 2008: 1-3 - [c21]Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci:
Preface. VODCA@FOSAD 2008: 1-3 - [e4]Alessandro Aldini, Christel Baier:
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008. Electronic Notes in Theoretical Computer Science 220(3), Elsevier 2008 [contents] - 2007
- [j8]Alessandro Aldini, Marco Bernardo:
A formal approach to the integrated analysis of security and QoS. Reliab. Eng. Syst. Saf. 92(11): 1503-1520 (2007) - [j7]Alessandro Aldini, Marco Bernardo:
Mixing logics and rewards for the component-oriented specification of performance measures. Theor. Comput. Sci. 382(1): 3-23 (2007) - [c20]Marco Bernardo, Alessandro Aldini:
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. ICTCS 2007: 39-56 - [c19]Alessandro Aldini, Franck van Breugel:
Preface. QAPL 2007: 1-2 - [e3]Alessandro Aldini, Roberto Gorrieri:
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 [contents] - [e2]Alessandro Aldini, Franck van Breugel:
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, Braga, Portugal, March 24-25, 2007. Electronic Notes in Theoretical Computer Science 190(3), Elsevier 2007 [contents] - 2006
- [j6]Alessandro Aldini:
Classification of security properties in a Linda-like process algebra. Sci. Comput. Program. 63(1): 16-38 (2006) - [c18]Alessandro Aldini, Marco Bernardo:
Component-Oriented Specification of Performance Measures. QAPL 2006: 27-43 - 2005
- [j5]Alessandro Aldini, Marco Bernardo:
On the usability of process algebra: An architectural view. Theor. Comput. Sci. 335(2-3): 281-329 (2005) - [c17]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 - [e1]Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli:
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 [contents] - 2004
- [j4]Alessandro Aldini, Mario Bravetti, Roberto Gorrieri:
A process-algebraic approach for the analysis of probabilistic noninterference. J. Comput. Secur. 12(2): 191-245 (2004) - [c16]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- - [c15]Angelo Troina, Alessandro Aldini, Roberto Gorrieri:
Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing 2004: 77-92 - [c14]Alessandro Aldini, Marco Bernardo:
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. QEST 2004: 336-337 - [c13]Alessandro Aldini, Marco Bernardo:
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. SAFECOMP 2004: 283-296 - [c12]Alessandro Aldini, Alessandra Di Pierro:
On Quantitative Analysis of Probabilistic Protocols. QAPL 2004: 131-148 - 2003
- [j3]Alessandro Aldini, Marco Roccetti, Roberto Gorrieri:
On Securing Real-Time Speech Transmission over the Internet: An Experimental Study. EURASIP J. Adv. Signal Process. 2003(10): 1027-1042 (2003) - [j2]Mario Bravetti, Alessandro Aldini:
Discrete time generative-reactive probabilistic processes with different advancing speeds. Theor. Comput. Sci. 290(1): 355-406 (2003) - [c11]Alessandro Aldini, Marco Bernardo:
A General Approach to Deadlock Freedom Verification for Software Architectures. FME 2003: 658-677 - [c10]Alessandro Aldini, Roberto Gorrieri:
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. Global Computing 2003: 203-228 - [c9]Alessandro Aldini:
Coordination Model and Noninterference. SecCo 2003: 37-53 - [c8]Alessandro Aldini, Alessandra Di Pierro:
A Quantitative Approach to Noninterference for Probabilistic Systems. MEFISTO 2003: 155-182 - [c7]Angelo Troina, Alessandro Aldini, Roberto Gorrieri:
Approximating Imperfect Cryptography in a Formal Model. MEFISTO 2003: 183-203 - 2002
- [c6]Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky:
Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43 - [c5]Alessandro Aldini, Roberto Gorrieri:
Security Analysis of a Probabilistic Non-repudiation Protocol. PAPM-PROBMIV 2002: 17-36 - 2001
- [j1]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) - [c4]Alessandro Aldini:
Probabilistic Information Flow in a Process Algebra. CONCUR 2001: 152-168 - [c3]Mario Bravetti, Alessandro Aldini:
Expressing Processes with Different Action Durations through Probabilities. PAPM-PROBMIV 2001: 168-183 - [c2]Mario Bravetti, Alessandro Aldini:
Non-determinism in Probabilistic Timed Systems with General Distributions. MTCS 2001: 246-274 - 2000
- [c1]Alessandro Aldini, Mario Bravetti:
An Asynchronous Calculus for Generative-Reactive Probalistic Systems. ICALP Satellite Workshops 2000: 591-606
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
