Francesco Alberti

33 papers A* 1A 5B 4Misc 1Journal 10Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Organizational principles of the cerebral cortex predict symptoms progression in the Alzheimer's disease spectrum. NeuroImage Arianna Menardi, Beatrice La Rocca, Ceren Saglam, Francesco Alberti, Diego Cecchin, Annalena Venneri, Annachiara Cagnin, Antonino Vallesi
2025	—	`conf`	A Place-Based Multi-sectoral Project for the Definition of Indicators and Thresholds to Support Sustainable Mobility Policies in Italian Cities. ICCSA (Workshops 6) Francesco Alberti, Giacomo Rossi, Giovanna Acampa, Alessio Pino
2022	—	`conf`	Accessible-to-All Cities. A Project of Networking Italian Experiences to Raise Awareness and Promote Universal Design. UD Francesco Alberti, Barbara Chiarelli
2017	J	`jnl`	A Framework for the Verification of Parameterized Infinite-state Systems. Fundam. Informaticae Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
2017	J	`jnl`	Cardinality constraints for arrays (decidability results and applications). Formal Methods Syst. Des. Francesco Alberti, Silvio Ghilardi, Elena Pagani
2016	B	`conf`	Co-creating Security-and-Privacy-by-Design Systems. ARES Sauro Vicini, Francesco Alberti, Nicolás Notario, Alberto Crespo, Juan Ramón Troncoso-Pastoriza, Alberto Sanna
2016	—	`conf`	Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies. CILC Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani
2016	A	`conf`	Counting Constraints in Flat Array Fragments. IJCAR Francesco Alberti, Silvio Ghilardi, Elena Pagani
2016	J	`jnl`	Counting Constraints in Flat Array Fragments. CoRR Francesco Alberti, Silvio Ghilardi, Elena Pagani
2016	—	`conf`	Enhancing Personas for Well-Being e-Services and Product Service Systems. HCI (16) Sauro Vicini, Adriano Gariglio, Francesco Alberti, Elettra Oleari, Alberto Sanna
2015	—	`conf`	A New Acceleration-Based Combination Framework for Array Properties. FroCos Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
2015	B	`conf`	A Simple Abstraction of Arrays and Maps by Program Translation. SAS David Monniaux, Francesco Alberti
2015	J	`jnl`	A simple abstraction of arrays and maps by program translation. CoRR David Monniaux, Francesco Alberti
2015	J	`jnl`	Decision Procedures for Flat Array Properties. J. Autom. Reason. Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
2015	Misc	`conf`	Polyhedra to the rescue of array interpolants. SAC Francesco Alberti, David Monniaux
2014	—	`conf`	A Framework for the Verification of Parameterized Infinite-State Systems. CILC Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
2014	J	`jnl`	An extension of lazy abstraction with interpolation for programs with arrays. Formal Methods Syst. Des. Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
2014	B	`conf`	Booster: An Acceleration-Based Verification Framework for Array Programs. ATVA Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
2014	—	`conf`	Decision Procedures for Flat Array Properties. SMT Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
2014	A	`conf`	Decision Procedures for Flat Array Properties. TACAS Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
2014	—	`conf`	Monotonic Abstraction Techniques: from Parametric to Software Model Checking. MOD* Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
2014	—	`conf`	Verige: verification with invariant generation engine. SPIN Nicolas Latorre, Francesco Alberti, Natasha Sharygina
2013	J	`jnl`	Abstraction and Acceleration in SMT-based Model-Checking for Array Programs CoRR Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
2013	—	`conf`	Acceleration-based safety decision procedure for programs with arrays. LPAR (short papers) Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
2013	—	`conf`	Definability of Accelerated Relations in a Theory of Arrays and Its Applications. FroCos Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
2012	B	`conf`	Lazy Abstraction with Interpolants for Arrays. LPAR Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
2012	—	`conf`	Reachability Modulo Theory Library. SMT@IJCAR Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
2012	A*	`conf`	SAFARI: SMT-Based Abstraction for Arrays with Interpolants. CAV Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
2012	J	`jnl`	Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. J. Satisf. Boolean Model. Comput. Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
2011	A	`conf`	ASASP: Automated Symbolic Analysis of Security Policies. CADE Francesco Alberti, Alessandro Armando, Silvio Ranise
2011	A	`conf`	Efficient symbolic automated analysis of administrative attribute-based RBAC-policies. AsiaCCS Francesco Alberti, Alessandro Armando, Silvio Ranise
2010	J	`jnl`	Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
2010	A	`conf`	Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study. DISC Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi