×

zbMATH — the first resource for mathematics

Zaffanella, Enea

Compute Distance To:
Author ID: zaffanella.enea Recent zbMATH articles by "Zaffanella, Enea"
Published as: Zaffanella, Enea
Documents Indexed: 26 Publications since 1999

Publications by Year

Citations contained in zbMATH

25 Publications have been cited 138 times in 81 Documents Cited by Year
Possibly not closed convex polyhedra and the Parma Polyhedra Library. Zbl 1015.68215
Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
14
2002
Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness. Zbl 1185.68405
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
13
2009
An improved tight closure algorithm for integer octagonal constraints. Zbl 1138.68474
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
11
2008
Not necessarily closed convex polyhedra and the double description method. Zbl 1101.68674
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
10
2005
Precise widening operators for convex polyhedra. Zbl 1088.68173
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
10
2005
Widening operators for powerset domains. Zbl 1202.68242
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
10
2004
Applications of polyhedral computations to the analysis and verification of hardware and software systems. Zbl 1187.68311
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
9
2009
Widening operators for weakly-relational numeric abstractions. Zbl 1141.68445
Bagnara, Roberto; Hill, Patricia M.; Mazzi, Elena; Zaffanella, Enea
8
2005
Set-sharing is redundant for pair-sharing. Zbl 0997.68021
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
8
2002
A new look at the automatic synthesis of linear ranking functions. Zbl 1251.68073
Bagnara, Roberto; Mesnard, Fred; Pescetti, Andrea; Zaffanella, Enea
7
2012
Generation of basic semi-algebraic invariants using convex polyhedra. Zbl 1141.68446
Bagnara, Roberto; Rodríguez-Carbonell, Enric; Zaffanella, Enea
5
2005
Enhanced sharing analysis techniques: a comprehensive evaluation. Zbl 1093.68015
Bagnara, Roberto; Zaffanella, Enea; Hill, Patricia M.
5
2005
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. Zbl 1088.68027
Hill, Patricia M.; Zaffanella, Enea; Bagnara, Roberto
5
2004
Grids: a domain for analyzing the distribution of numerical values. Zbl 1196.68042
Bagnara, Roberto; Dobson, Katy; Hill, Patricia M.; Mundell, Matthew; Zaffanella, Enea
4
2007
Precise widening operators for convex polyhedra. Zbl 1067.68578
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
4
2003
Soundness, idempotence and commutativity of set-sharing. Zbl 1087.68530
Hill, Patricia M.; Bagnara, Roberto; Zaffanella, Enea
3
2002
Widening sharing. Zbl 0956.68023
Zaffanella, Enea; Bagnara, Roberto; Hill, Patricia M.
3
1999
Exact join detection for convex polyhedra and other numerical abstractions. Zbl 1187.65018
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
2
2010
Efficient constraint/generator removal from double description of polyhedra. Zbl 1337.68262
Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea
1
2014
Finite-tree analysis for constraint logic-based languages. Zbl 1088.68025
Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea
1
2004
Decomposing non-redundant sharing by complementation. Zbl 1087.68535
Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto
1
2002
Boolean functions for finite-tree dependencies. Zbl 1275.68043
Bagnara, Roberto; Zaffanella, Enea; Gori, Roberta; Hill, Patricia M.
1
2001
Finite-tree analysis for constraint logic-based languages. Zbl 0997.68510
Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea
1
2001
Efficient structural information analysis for real CLP languages. Zbl 0988.68035
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
1
2000
Decomposing non-redundant sharing by complementation. Zbl 0957.68057
Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto
1
1999
Efficient constraint/generator removal from double description of polyhedra. Zbl 1337.68262
Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea
1
2014
A new look at the automatic synthesis of linear ranking functions. Zbl 1251.68073
Bagnara, Roberto; Mesnard, Fred; Pescetti, Andrea; Zaffanella, Enea
7
2012
Exact join detection for convex polyhedra and other numerical abstractions. Zbl 1187.65018
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
2
2010
Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness. Zbl 1185.68405
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
13
2009
Applications of polyhedral computations to the analysis and verification of hardware and software systems. Zbl 1187.68311
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
9
2009
An improved tight closure algorithm for integer octagonal constraints. Zbl 1138.68474
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
11
2008
Grids: a domain for analyzing the distribution of numerical values. Zbl 1196.68042
Bagnara, Roberto; Dobson, Katy; Hill, Patricia M.; Mundell, Matthew; Zaffanella, Enea
4
2007
Not necessarily closed convex polyhedra and the double description method. Zbl 1101.68674
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
10
2005
Precise widening operators for convex polyhedra. Zbl 1088.68173
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
10
2005
Widening operators for weakly-relational numeric abstractions. Zbl 1141.68445
Bagnara, Roberto; Hill, Patricia M.; Mazzi, Elena; Zaffanella, Enea
8
2005
Generation of basic semi-algebraic invariants using convex polyhedra. Zbl 1141.68446
Bagnara, Roberto; Rodríguez-Carbonell, Enric; Zaffanella, Enea
5
2005
Enhanced sharing analysis techniques: a comprehensive evaluation. Zbl 1093.68015
Bagnara, Roberto; Zaffanella, Enea; Hill, Patricia M.
5
2005
Widening operators for powerset domains. Zbl 1202.68242
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
10
2004
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. Zbl 1088.68027
Hill, Patricia M.; Zaffanella, Enea; Bagnara, Roberto
5
2004
Finite-tree analysis for constraint logic-based languages. Zbl 1088.68025
Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea
1
2004
Precise widening operators for convex polyhedra. Zbl 1067.68578
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
4
2003
Possibly not closed convex polyhedra and the Parma Polyhedra Library. Zbl 1015.68215
Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
14
2002
Set-sharing is redundant for pair-sharing. Zbl 0997.68021
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
8
2002
Soundness, idempotence and commutativity of set-sharing. Zbl 1087.68530
Hill, Patricia M.; Bagnara, Roberto; Zaffanella, Enea
3
2002
Decomposing non-redundant sharing by complementation. Zbl 1087.68535
Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto
1
2002
Boolean functions for finite-tree dependencies. Zbl 1275.68043
Bagnara, Roberto; Zaffanella, Enea; Gori, Roberta; Hill, Patricia M.
1
2001
Finite-tree analysis for constraint logic-based languages. Zbl 0997.68510
Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea
1
2001
Efficient structural information analysis for real CLP languages. Zbl 0988.68035
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
1
2000
Widening sharing. Zbl 0956.68023
Zaffanella, Enea; Bagnara, Roberto; Hill, Patricia M.
3
1999
Decomposing non-redundant sharing by complementation. Zbl 0957.68057
Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto
1
1999
all top 5

Cited by 140 Authors

8 Zaffanella, Enea
6 Bagnara, Roberto
6 King, Andy
6 Subramani, Krishnan
6 Wojciechowski, Piotr J.
5 Amato, Gianluca
5 Hill, Patricia M.
5 Scozzari, Francesca
4 Miné, Antoine
4 Sankaranarayanan, Sriram
4 Simon, Axel
3 Ben-Amram, Amir M.
3 Brauer, Jörg
3 Cousot, Patrick
3 Genaim, Samir
2 Azgomi, Mohammad Abdollahi
2 Chakraborty, Supratik
2 Chandrasekaran, Ramaswamy
2 Chen, Liqian
2 Comini, Marco
2 Cortesi, Agostino
2 del Mar Gallardo, María
2 Fähndrich, Manuel
2 Gallagher, John P.
2 Halbwachs, Nicolas
2 Hermenegildo, Manuel V.
2 Howe, Jacob M.
2 Kowalewski, Stefan
2 Logozzo, Francesco
2 Lu, Qi
2 Monniaux, David P.
2 Motallebi, Hassan
2 Titolo, Laura
2 Villanueva, Alicia
2 Wang, Ji
1 Ackley, Elena S.
1 Balakrishnan, Gogul
1 Banda, Gourinath
1 Becchi, Anna
1 Becker, Stephen R.
1 Beckschulze, Eva
1 Ben Sassi, Mohamed Amin
1 Benerecetti, Massimo
1 Bonatti, Piero Andrea
1 Borralleras, Cristina
1 Boutonnet, Rémy
1 Bozga, Marius
1 Brockschmidt, Marc
1 Chawdhary, Aziem
1 Chechik, Marsha
1 Colón, Michael A.
1 Costantini, Giulia
1 Cousot, Radhia
1 Doménech, Jesús J.
1 Elder, Matthew
1 Faella, Marco
1 Fahrenberg, Uli
1 Feret, Jérôme
1 Ferrara, Pietro
1 Forrest, Stephanie
1 Fribourg, Laurent
1 Ghorbal, Khalil
1 Gîrlea, Codruţa
1 Gonnord, Laure
1 Gopan, Denis
1 Gori, Roberta
1 Goubault, Eric
1 Gras, Daniel Cabeza
1 Gronski, Jessica A.
1 Gulavani, Bhargav S.
1 Gupta, Aarti
1 Gurfinkel, Arie
1 Hagemann, Willem
1 Hamilton, Geoff W.
1 Hampe, Simon
1 Horbach, Matthias
1 Iosif, Radu
1 Ivančić, Franjo
1 Jakubczyk, Krzysztof
1 Jeannet, Bertrand
1 Joswig, Michael
1 Jourdan, Jacques-Henri
1 Kapur, Deepak
1 Kimura, Kei
1 Kühne, Ulrich
1 Larraz, Daniel
1 Larsen, Kim Guldstrand
1 Lawrence-Jones, Charles
1 Le Guen, Julien
1 Levi, Giorgio
1 Li, Yi
1 Lin, Wang
1 Madsen, Michael
1 Maeda, Naoto
1 Makino, Kazuhisa
1 Marchiori, Elena
1 Maréchal, Alexandre
1 Masud, Abu Naser
1 Mauborgne, Laurent
1 Mekie, Joycee
...and 40 more Authors

Citations by Year