×

zbMATH — the first resource for mathematics

Alberti, Francesco

Compute Distance To:
Author ID: alberti.francesco Recent zbMATH articles by "Alberti, Francesco"
Published as: Alberti, F.; Alberti, Francesco
Documents Indexed: 10 Publications since 2012

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 33 times in 21 Documents Cited by Year
Lazy abstraction with interpolants for arrays. Zbl 1352.68141
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
9
2012
Universal guards, relativization of quantifiers, and failure models in model checking modulo theories. Zbl 1331.68141
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena; Ranise, Silvio; Rossi, Gian Paolo
5
2012
Counting constraints in flat array fragments. Zbl 06623254
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena
4
2016
Decision procedures for flat array properties. Zbl 1356.03049
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
4
2015
Booster: an acceleration-based verification framework for array programs. Zbl 1448.68284
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
4
2014
An extension of lazy abstraction with interpolation for programs with arrays. Zbl 1317.68107
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
4
2014
Definability of accelerated relations in a theory of arrays and its applications. Zbl 1397.68121
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
3
2013
Counting constraints in flat array fragments. Zbl 06623254
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena
4
2016
Decision procedures for flat array properties. Zbl 1356.03049
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
4
2015
Booster: an acceleration-based verification framework for array programs. Zbl 1448.68284
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
4
2014
An extension of lazy abstraction with interpolation for programs with arrays. Zbl 1317.68107
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
4
2014
Definability of accelerated relations in a theory of arrays and its applications. Zbl 1397.68121
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
3
2013
Lazy abstraction with interpolants for arrays. Zbl 1352.68141
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
9
2012
Universal guards, relativization of quantifiers, and failure models in model checking modulo theories. Zbl 1331.68141
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena; Ranise, Silvio; Rossi, Gian Paolo
5
2012

Citations by Year