Follow
Francesca Scozzari
Francesca Scozzari
Associate Professor of Computer Science, Università di Chieti-Pescara
Verified email at unich.it - Homepage
Title
Cited by
Cited by
Year
Making abstract interpretations complete
R Giacobazzi, F Ranzato, F Scozzari
Journal of the ACM (JACM) 47 (2), 361-416, 2000
2692000
A logical model for relational abstract domains
R Giacobazzi, F Scozzari
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (5), 1067-1109, 1998
681998
Efficiently intertwining widening and narrowing
G Amato, F Scozzari, H Seidl, K Apinis, V Vojdani
Science of Computer Programming 120, 1-24, 2016
322016
Localizing widening and narrowing
G Amato, F Scozzari
International Static Analysis Symposium, 25-42, 2013
282013
Intuitionistic implication in abstract interpretation
R Giacobazzi, F Scozzari
International Symposium on Programming Language Implementation and Logic …, 1997
261997
Making abstract domains condensing
R Giacobazzi, F Ranzato, F Scozzari
ACM Transactions on Computational Logic (TOCL) 6 (1), 33-60, 2005
252005
Complete abstract interpretations made constructive
R Giacobazzi, F Ranzato, F Scozzari
International Symposium on Mathematical Foundations of Computer Science, 366-377, 1998
251998
Logical optimality of groundness analysis
F Scozzari
International Static Analysis Symposium, 83-97, 1997
241997
The abstract domain of parallelotopes
G Amato, F Scozzari
Electronic Notes in Theoretical Computer Science 287, 17-28, 2012
212012
Deriving numerical abstract domains via principal component analysis
G Amato, M Parton, F Scozzari
International Static Analysis Symposium, 134-150, 2010
202010
Logical optimality of groundness analysis
F Scozzari
Theoretical Computer Science 277 (1-2), 149-184, 2002
202002
Discovering invariants via simple component analysis
G Amato, M Parton, F Scozzari
Journal of Symbolic Computation 47 (12), 1533-1560, 2012
192012
Building complete abstract interpretations in a linear logic-based setting
R Giacobazzi, F Ranzato, F Scozzari
International Static Analysis Symposium, 215-229, 1998
191998
Using text mining and sentiment analysis to analyse YouTube Italian videos concerning vaccination
A Porreca, F Scozzari, M Di Nicola
BMC Public Health 20 (1), 1-9, 2020
172020
Optimality in goal-dependent analysis of sharing
G Amato, F Scozzari
Theory and Practice of Logic Programming 9 (05), 617-689, 2009
162009
Efficient Constraint/Generator Removal from Double Description of Polyhedra
G Amato, F Scozzari, E Zaffanella
Electronic Notes in Theoretical Computer Science 307, 3-15, 2014
132014
A tool which mines partial execution traces to improve static analysis
G Amato, M Parton, F Scozzari
International Conference on Runtime Verification, 475-479, 2010
102010
Abstract domains for sharing analysis by optimal semantics
F Scozzari
International Static Analysis Symposium, 397-412, 2000
102000
Random: R-based analyzer for numerical domains
G Amato, F Scozzari
International Conference on Logic for Programming Artificial Intelligence …, 2012
92012
Observational completeness on abstract interpretation
G Amato, F Scozzari
Logic, Language, Information and Computation, 99-112, 2009
92009
The system can't perform the operation now. Try again later.
Articles 1–20