×
Compute Distance To:
Author ID: ranzato.francesco Recent zbMATH articles by "Ranzato, Francesco"
Published as: Ranzato, Francesco; Ranzato, F.

Publications by Year

Citations contained in zbMATH Open

35 Publications have been cited 172 times in 102 Documents Cited by Year
Making abstract interpretations complete. Zbl 1133.68370
Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca
38
2000
Generalizing the Paige-Tarjan algorithm by abstract interpretation. Zbl 1197.68054
Ranzato, Francesco; Tapparo, Francesco
16
2008
Refining and compressing abstract domains. Zbl 1401.68197
Giacobazzi, Roberto; Ranzato, Francesco
14
1997
Optimal domains for disjunctive abstract interpretation. Zbl 0942.68020
Giacobazzi, Roberto; Ranzato, Francesco
14
1998
Weak relative pseudo-complements of closure operators. Zbl 0901.06003
Giacobazzi, R.; Palamidessi, C.; Ranzato, F.
9
1996
Generalized strong preservation by abstract interpretation. Zbl 1120.68074
Ranzato, Francesco; Tapparo, Francesco
9
2007
A spectrum of behavioral relations over LTSs on probability distributions. Zbl 1344.68162
Crafa, Silvia; Ranzato, Francesco
7
2011
Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements. Zbl 0921.68057
Giacobazzi, Roberto; Ranzato, Francesco
5
1998
The reduced relative power operation on abstract domains. Zbl 0914.68129
Giacobazzi, Roberto; Ranzato, Francesco
5
1999
Strong preservation as completeness in abstract interpretation. Zbl 1126.68485
Ranzato, Francesco; Tapparo, Francesco
5
2004
An abstract interpretation-based refinement algorithm for strong preservation. Zbl 1087.68058
Ranzato, Francesco; Tapparo, Francesco
4
2005
An efficient simulation algorithm based on abstract interpretation. Zbl 1188.68197
Ranzato, Francesco; Tapparo, Francesco
4
2010
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. Zbl 1290.68093
Crafa, Silvia; Ranzato, Francesco
4
2012
Probabilistic bisimulation and simulation algorithms by abstract interpretation. Zbl 1333.68196
Crafa, Silvia; Ranzato, Francesco
4
2011
The powerset operator on abstract interpretations. Zbl 0930.68033
Filé, Gilberto; Ranzato, Francesco
3
1999
Computing stuttering simulations. Zbl 1254.68179
Ranzato, Francesco; Tapparo, Francesco
3
2009
Complementing logic program semantics. Zbl 1355.68037
Giacobazzi, Roberto; Ranzato, Francesco
3
1996
A more efficient simulation algorithm on Kripke structures. Zbl 1400.68143
Ranzato, Francesco
3
2013
On the completeness of model checking. Zbl 0977.68056
Ranzato, Francesco
2
2001
Strong preservation of temporal fixpoint-based operators by abstract interpretation. Zbl 1176.68127
Ranzato, Francesco; Tapparo, Francesco
2
2006
Saving space in a time efficient simulation algorithm. Zbl 1255.68100
Crafa, Silvia; Ranzato, Francesco; Tapparo, Francesco
2
2011
States vs. traces in model checking by abstract interpretation. Zbl 1015.68124
Giacobazzi, Roberto; Ranzato, Francesco
2
2002
A forward-backward abstraction refinement algorithm. Zbl 1138.68458
Ranzato, Francesco; Doria, Olivia Rossi; Tapparo, Francesco
2
2008
Abstract interpretation of supermodular games. Zbl 1394.91022
Ranzato, Francesco
1
2016
A new characterization of complete Heyting and co-Heyting algebras. Zbl 1459.06006
Ranzato, Francesco
1
2017
Analyzing program analyses. Zbl 1345.68106
Giacobazzi, Roberto; Logozzo, Francesco; Ranzato, Francesco
1
2015
Logical characterizations of behavioral relations on transition systems of probability distributions. Zbl 1354.68192
Crafa, Silvia; Ranzato, Francesco
1
2015
Building complete abstract interpretations in a linear logic-based setting. Zbl 0912.03016
Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca
1
1998
Example-guided abstraction simplification. Zbl 1288.68041
Giacobazzi, Roberto; Ranzato, Francesco
1
2010
Making abstract model checking strongly preserving. Zbl 1015.68122
Ranzato, Francesco; Tapparo, Francesco
1
2002
Incompleteness of states w.r.t. traces in model checking. Zbl 1103.68074
Giacobazzi, Roberto; Ranzato, Francesco
1
2006
An abstract interpretation perspective on linear vs. branching time. Zbl 1159.68380
Ranzato, Francesco; Tapparo, Francesco
1
2005
Correctness kernels of abstract interpretations. Zbl 1360.68363
Giacobazzi, Roberto; Ranzato, Francesco
1
2014
Making abstract domains condensing. Zbl 1367.68065
Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca
1
2005
Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Zbl 1369.68036
1
2017
A new characterization of complete Heyting and co-Heyting algebras. Zbl 1459.06006
Ranzato, Francesco
1
2017
Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Zbl 1369.68036
1
2017
Abstract interpretation of supermodular games. Zbl 1394.91022
Ranzato, Francesco
1
2016
Analyzing program analyses. Zbl 1345.68106
Giacobazzi, Roberto; Logozzo, Francesco; Ranzato, Francesco
1
2015
Logical characterizations of behavioral relations on transition systems of probability distributions. Zbl 1354.68192
Crafa, Silvia; Ranzato, Francesco
1
2015
Correctness kernels of abstract interpretations. Zbl 1360.68363
Giacobazzi, Roberto; Ranzato, Francesco
1
2014
A more efficient simulation algorithm on Kripke structures. Zbl 1400.68143
Ranzato, Francesco
3
2013
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. Zbl 1290.68093
Crafa, Silvia; Ranzato, Francesco
4
2012
A spectrum of behavioral relations over LTSs on probability distributions. Zbl 1344.68162
Crafa, Silvia; Ranzato, Francesco
7
2011
Probabilistic bisimulation and simulation algorithms by abstract interpretation. Zbl 1333.68196
Crafa, Silvia; Ranzato, Francesco
4
2011
Saving space in a time efficient simulation algorithm. Zbl 1255.68100
Crafa, Silvia; Ranzato, Francesco; Tapparo, Francesco
2
2011
An efficient simulation algorithm based on abstract interpretation. Zbl 1188.68197
Ranzato, Francesco; Tapparo, Francesco
4
2010
Example-guided abstraction simplification. Zbl 1288.68041
Giacobazzi, Roberto; Ranzato, Francesco
1
2010
Computing stuttering simulations. Zbl 1254.68179
Ranzato, Francesco; Tapparo, Francesco
3
2009
Generalizing the Paige-Tarjan algorithm by abstract interpretation. Zbl 1197.68054
Ranzato, Francesco; Tapparo, Francesco
16
2008
A forward-backward abstraction refinement algorithm. Zbl 1138.68458
Ranzato, Francesco; Doria, Olivia Rossi; Tapparo, Francesco
2
2008
Generalized strong preservation by abstract interpretation. Zbl 1120.68074
Ranzato, Francesco; Tapparo, Francesco
9
2007
Strong preservation of temporal fixpoint-based operators by abstract interpretation. Zbl 1176.68127
Ranzato, Francesco; Tapparo, Francesco
2
2006
Incompleteness of states w.r.t. traces in model checking. Zbl 1103.68074
Giacobazzi, Roberto; Ranzato, Francesco
1
2006
An abstract interpretation-based refinement algorithm for strong preservation. Zbl 1087.68058
Ranzato, Francesco; Tapparo, Francesco
4
2005
An abstract interpretation perspective on linear vs. branching time. Zbl 1159.68380
Ranzato, Francesco; Tapparo, Francesco
1
2005
Making abstract domains condensing. Zbl 1367.68065
Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca
1
2005
Strong preservation as completeness in abstract interpretation. Zbl 1126.68485
Ranzato, Francesco; Tapparo, Francesco
5
2004
States vs. traces in model checking by abstract interpretation. Zbl 1015.68124
Giacobazzi, Roberto; Ranzato, Francesco
2
2002
Making abstract model checking strongly preserving. Zbl 1015.68122
Ranzato, Francesco; Tapparo, Francesco
1
2002
On the completeness of model checking. Zbl 0977.68056
Ranzato, Francesco
2
2001
Making abstract interpretations complete. Zbl 1133.68370
Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca
38
2000
The reduced relative power operation on abstract domains. Zbl 0914.68129
Giacobazzi, Roberto; Ranzato, Francesco
5
1999
The powerset operator on abstract interpretations. Zbl 0930.68033
Filé, Gilberto; Ranzato, Francesco
3
1999
Optimal domains for disjunctive abstract interpretation. Zbl 0942.68020
Giacobazzi, Roberto; Ranzato, Francesco
14
1998
Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements. Zbl 0921.68057
Giacobazzi, Roberto; Ranzato, Francesco
5
1998
Building complete abstract interpretations in a linear logic-based setting. Zbl 0912.03016
Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca
1
1998
Refining and compressing abstract domains. Zbl 1401.68197
Giacobazzi, Roberto; Ranzato, Francesco
14
1997
Weak relative pseudo-complements of closure operators. Zbl 0901.06003
Giacobazzi, R.; Palamidessi, C.; Ranzato, F.
9
1996
Complementing logic program semantics. Zbl 1355.68037
Giacobazzi, Roberto; Ranzato, Francesco
3
1996
all top 5

Cited by 144 Authors

16 Giacobazzi, Roberto
16 Ranzato, Francesco
10 Mastroeni, Isabella
6 Ćirić, Miroslav D.
6 Ignjatović, Jelena
5 Cortesi, Agostino
5 Cousot, Patrick
4 Crafa, Silvia
4 Dalla Preda, Mila
4 Schmidt, David A.
4 Scozzari, Francesca
4 Sokolova, Ana
3 Amato, Gianluca
3 Arceri, Vincenzo
3 Bernardo, Marco
3 De Nicola, Rocco
3 Groote, Jan Friso
3 Loreti, Michele
3 Meo, Maria Chiara
3 Milius, Stefan
3 Miné, Antoine
3 Schröder, Lutz
3 Silva, Alexandra
3 Spoto, Fausto
3 Tapparo, Francesco
3 Wißmann, Thorsten
2 Banerjee, Anindya
2 Bašić, Milan
2 Bonchi, Filippo
2 Chen, Liqian
2 Cousot, Radhia
2 Damljanović, Nada
2 Dorsch, Ulrich
2 Gorrieri, Roberto
2 Halder, Raju
2 Jančić, Ivana
2 Jansen, David N.
2 Kilpack, Martha L. H.
2 Lettieri, Giuseppe
2 Levi, Giorgio
2 Magidin, Arturo
2 Stamenković, Aleksandar
2 Wang, Ji
2 Willemse, Tim A. C.
1 Abdulla, Parosh Aziz
1 Alpuente, María
1 Basin, David A.
1 Bodei, Chiara
1 Bogdanović, Stojan M.
1 Brauer, Jörg
1 Bruni, Roberto
1 Bu, Tianming
1 Bulychev, Peter E.
1 Buro, Samuele
1 Chen, Yixiang
1 Comini, Marco
1 Costa, Gabriele
1 Crole, Roy L.
1 de Boer, Frank S.
1 De Francesco, Nicoletta
1 de Vink, Erik P.
1 Debray, Saumya K.
1 Degano, Pierpaolo
1 Deifel, Hans-Peter
1 del Mar Gallardo, María
1 Deng, Yuxin
1 Derezaa, A. V.
1 Dovier, Agostino
1 D’silva, Vijay
1 Engelhardt, Kai
1 Fahrenberg, Uli
1 Feret, Jérôme
1 Ferrara, Pietro
1 Filé, Gilberto
1 Gabbrielli, Maurizio
1 Gallagher, John P.
1 Galletta, Letterio
1 Gange, Graeme
1 Gazda, Maciej W.
1 Gebler, Daniel E.
1 Gori, Roberta
1 Gregorio-Rodríguez, Carlos
1 Grumberg, Orna
1 Gu, Ming
1 Hashemi, Vahid
1 Hill, Patricia M.
1 Holík, Lukáš
1 Huuck, Ralf
1 Jacobs, Bart
1 Jančić, Zorana
1 Jensen, Thomas P.
1 Kaati, Lisa
1 Kafle, Bishoksan
1 Keiren, Jeroen J. A.
1 King, Andy
1 Larsen, Kim Guldstrand
1 Laveaux, Maurice
1 Llana, Luis
1 Lu, Qi
1 Luk’yanova, E. A.
...and 44 more Authors

Citations by Year