Alessandro Aldini
Orcid: 0000-0002-7250-5011
According to our database1,
Alessandro Aldini
authored at least 76 papers
between 2000 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.
CoRR, 2023
Proceedings of the 20th Annual International Conference on Privacy, Security and Trust, 2023
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023
2022
J. Log. Comput., 2022
J. Log. Comput., 2022
Frontiers Robotics AI, 2022
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox.
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022
2021
Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices.
Soft Comput., 2021
Analysis of Diagnostic Images of Artworks and Feature Extraction: Design of a Methodology.
J. Imaging, 2021
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021
2020
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020
Proceedings of the Fourth Italian Conference on Cyber Security, 2020
2019
J. Commun. Networks, 2019
Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond.
Proceedings of the Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, 2019
Proceedings of the Software Engineering and Formal Methods, 2019
Proceedings of the Emerging Technologies for Authorization and Authentication, 2019
2018
ACM Trans. Model. Comput. Simul., 2018
Sci. Comput. Program., 2018
Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications.
CoRR, 2018
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018
Proceedings of the Trust Management XII - 12th IFIP WG 11.11 International Conference, 2018
Proceedings of the 21st International Conference on Information Fusion, 2018
2017
Inf. Comput. Secur., 2017
Proceedings of the Software Engineering and Formal Methods, 2017
2016
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016
2015
Secur. Commun. Networks, 2015
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015
Concurr. Comput. Pract. Exp., 2015
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Proceedings of the History and Philosophy of Computing - Third International Conference, 2015
Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, 2015
2014
Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014
Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014
2013
Proceedings of the 2013 International Conference on Collaboration Technologies and Systems, 2013
2012
Virtual currency and reputation-based cooperation incentives in user-centric networks.
Proceedings of the 8th International Wireless Communications and Mobile Computing Conference, 2012
2011
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
2010
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation.
J. Syst. Softw., 2010
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010
Springer, ISBN: 978-1-84800-222-7, 2010
2009
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference.
Proceedings of the Foundations and Applications of Security Analysis, 2009
2008
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems.
Proceedings of the Architecting Dependable Systems VI, 2008
2007
Mixing logics and rewards for the component-oriented specification of performance measures.
Theor. Comput. Sci., 2007
Reliab. Eng. Syst. Saf., 2007
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions.
Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007
2006
Sci. Comput. Program., 2006
Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006
2005
Theor. Comput. Sci., 2005
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.
Proceedings of the Formal Methods for Mobile Computing, 2005
2004
J. Comput. Secur., 2004
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth.
Proceedings of the Computer Safety, 2004
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004
Proceedings of the Global Computing, IST/FET International Workshop, 2004
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
2003
Discrete time generative-reactive probabilistic processes with different advancing speeds.
Theor. Comput. Sci., 2003
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003
EURASIP J. Adv. Signal Process., 2003
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism.
Proceedings of the Global Computing. Programming Environments, 2003
Proceedings of the FME 2003: Formal Methods, 2003
2002
Proceedings of the Process Algebra and Probabilistic Methods, 2002
Proceedings of the Foundations of Security Analysis and Design II, 2002
2001
ACM Trans. Model. Comput. Simul., 2001
Proceedings of the International Workshop on Models for Time-Critical Systems, 2001
Proceedings of the Process Algebra and Probabilistic Methods, 2001
Proceedings of the CONCUR 2001, 2001
2000
An Asynchronous Calculus for Generative-Reactive Probalistic Systems.
Proceedings of the ICALP Workshops 2000, 2000