BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Poland
1 × Spain
1 × USA
1 × United Kingdom
2 × France
Collaborated with:
S.Ghilardi N.Sharygina D.Monniaux S.Ranise R.Bruttomesso A.Armando E.Pagani
Talks about:
array (6) flat (3) properti (2) procedur (2) interpol (2) abstract (2) decis (2) constraint (1) polyhedra (1) translat (1)

Person: Francesco Alberti

DBLP DBLP: Alberti:Francesco

Contributed to:

SAC 20152015
SAS 20152015
SMT 20142014
TACAS 20142014
CAV 20122012
SMT 20122012
CADE 20112011
IJCAR 20162016

Wrote 8 papers:

SAC-2015-AlbertiM #array
Polyhedra to the rescue of array interpolants (FA, DM), pp. 1745–1750.
SAS-2015-MonniauxA #abstraction #array
A Simple Abstraction of Arrays and Maps by Program Translation (DM, FA), pp. 217–234.
SMT-2014-AlbertiGS #array
Decision Procedures for Flat Array Properties (FA, SG, NS), p. 51.
TACAS-2014-AlbertiGS #array
Decision Procedures for Flat Array Properties (FA, SG, NS), pp. 15–30.
CAV-2012-AlbertiBGRS #abstraction #array #named #smt
SAFARI: SMT-Based Abstraction for Arrays with Interpolants (FA, RB, SG, SR, NS), pp. 679–685.
SMT-2012-AlbertiBGRS #library #modulo theories #reachability
Reachability Modulo Theory Library (FA, RB, SG, SR, NS), pp. 67–76.
CADE-2011-AlbertiAR #analysis #automation #named #policy #security
ASASP: Automated Symbolic Analysis of Security Policies (FA, AA, SR), pp. 26–33.
IJCAR-2016-AlbertiGP #array #constraints
Counting Constraints in Flat Array Fragments (FA, SG, EP), pp. 65–81.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.