Francesco Alberti
Orcid: 0000-0003-0642-0455Affiliations:
- University of Lugano, Switzerland
According to our database1,
Francesco Alberti
authored at least 26 papers
between 2010 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on inf.usi.ch
On csauthors.net:
Bibliography
2022
Accessible-to-All Cities. A Project of Networking Italian Experiences to Raise Awareness and Promote Universal Design.
Proceedings of the Transforming our World through Universal Design for Human Development - Proceedings of the Sixth International Conference on Universal Design (UD 2022), Brescia, Italy, 7, 2022
2017
Fundam. Informaticae, 2017
Formal Methods Syst. Des., 2017
2016
Proceedings of the Design, User Experience, and Usability: Design Thinking and Methods, 2016
Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies.
Proceedings of the 31st Italian Conference on Computational Logic, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016
2015
Proceedings of the Static Analysis - 22nd International Symposium, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015
2014
Formal Methods Syst. Des., 2014
Proceedings of the Proceedings First Workshop on Logics and Model-checking for Self-* Systems, 2014
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
2013
CoRR, 2013
Proceedings of the LPAR 2013, 2013
Proceedings of the Frontiers of Combining Systems, 2013
2012
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories.
J. Satisf. Boolean Model. Comput., 2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012
2011
Efficient symbolic automated analysis of administrative attribute-based RBAC-policies.
Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, 2011
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011
2010
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study.
Proceedings of the Distributed Computing, 24th International Symposium, 2010