Francesco Alberti

Orcid: 0000-0003-0642-0455

Affiliations:
  • University of Lugano, Switzerland


According to our database1, Francesco Alberti authored at least 26 papers between 2010 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

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
A Framework for the Verification of Parameterized Infinite-state Systems.
Fundam. Informaticae, 2017

Cardinality constraints for arrays (decidability results and applications).
Formal Methods Syst. Des., 2017

2016
Enhancing Personas for Well-Being e-Services and Product Service Systems.
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

Counting Constraints in Flat Array Fragments.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

Co-creating Security-and-Privacy-by-Design Systems.
Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2015
Decision Procedures for Flat Array Properties.
J. Autom. Reason., 2015

A Simple Abstraction of Arrays and Maps by Program Translation.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Polyhedra to the rescue of array interpolants.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A New Acceleration-Based Combination Framework for Array Properties.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014
An extension of lazy abstraction with interpolation for programs with arrays.
Formal Methods Syst. Des., 2014

Monotonic Abstraction Techniques: from Parametric to Software Model Checking.
Proceedings of the Proceedings First Workshop on Logics and Model-checking for Self-* Systems, 2014

Verige: verification with invariant generation engine.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Booster: An Acceleration-Based Verification Framework for Array Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs
CoRR, 2013

Acceleration-based safety decision procedure for programs with arrays.
Proceedings of the LPAR 2013, 2013

Definability of Accelerated Relations in a Theory of Arrays and Its Applications.
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

Lazy Abstraction with Interpolants for Arrays.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

SAFARI: SMT-Based Abstraction for Arrays with Interpolants.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Reachability Modulo Theory Library.
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

ASASP: Automated Symbolic Analysis of Security Policies.
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


  Loading...