Francesco Alberti

Barbara Chiarelli

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.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Cardinality constraints for arrays (decidability results and applications).

[BibT_eX]

[DOI]

Elena Pagani

Formal Methods Syst. Des., 2017

2016

Enhancing Personas for Well-Being e-Services and Product Service Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 31st Italian Conference on Computational Logic, 2016

Counting Constraints in Flat Array Fragments.

[BibT_eX]

[DOI]

Juan Ramón Troncoso-Pastoriza

Elena Pagani

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

Co-creating Security-and-Privacy-by-Design Systems.

[BibT_eX]

[DOI]

Alberto Sanna

Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2015

Decision Procedures for Flat Array Properties.

[BibT_eX]

[DOI]

J. Autom. Reason., 2015

A Simple Abstraction of Arrays and Maps by Program Translation.

[BibT_eX]

[DOI]

David Monniaux

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Polyhedra to the rescue of array interpolants.

[BibT_eX]

[DOI]

David Monniaux

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A New Acceleration-Based Combination Framework for Array Properties.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

An extension of lazy abstraction with interpolation for programs with arrays.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2014

Monotonic Abstraction Techniques: from Parametric to Software Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Logics and Model-checking for Self-* Systems, 2014

Verige: verification with invariant generation engine.

[BibT_eX]

[DOI]

Nicolas Latorre

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Booster: An Acceleration-Based Verification Framework for Array Programs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

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

[BibT_eX]

[DOI]

CoRR, 2013

Acceleration-based safety decision procedure for programs with arrays.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2013, 2013

Definability of Accelerated Relations in a Theory of Arrays and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 2013

2012

Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2012

Lazy Abstraction with Interpolants for Arrays.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

SAFARI: SMT-Based Abstraction for Arrays with Interpolants.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Reachability Modulo Theory Library.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2011

Efficient symbolic automated analysis of administrative attribute-based RBAC-policies.

[BibT_eX]

[DOI]

Alessandro Armando

Silvio Ranise

Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, 2011

ASASP: Automated Symbolic Analysis of Security Policies.

[BibT_eX]

[DOI]