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
2992000
A logical model for relational abstract domains
R Giacobazzi, F Scozzari
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (5), 1067-1109, 1998
711998
Efficiently intertwining widening and narrowing
G Amato, F Scozzari, H Seidl, K Apinis, V Vojdani
Science of Computer Programming 120, 1-24, 2016
402016
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
372020
Localizing widening and narrowing
G Amato, F Scozzari
International Static Analysis Symposium, 25-42, 2013
312013
Logical optimality of groundness analysis
F Scozzari
Static Analysis: 4th International Symposium, SAS'97 Paris, Franceá…, 1997
301997
Complete abstract interpretations made constructive
R Giacobazzi, F Ranzato, F Scozzari
International Symposium on Mathematical Foundations of Computer Science, 366-377, 1998
271998
Intuitionistic implication in abstract interpretation
R Giacobazzi, F Scozzari
Programming Languages: Implementations, Logics, and Programs: 9thá…, 1997
271997
Making abstract domains condensing
R Giacobazzi, F Ranzato, F Scozzari
ACM Transactions on Computational Logic (TOCL) 6 (1), 33-60, 2005
262005
The abstract domain of parallelotopes
G Amato, F Scozzari
Electronic Notes in Theoretical Computer Science 287, 17-28, 2012
242012
Building complete abstract interpretations in a linear logic-based setting
R Giacobazzi, F Ranzato, F Scozzari
International Static Analysis Symposium, 215-229, 1998
221998
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
Optimality in goal-dependent analysis of sharing
G Amato, F Scozzari
Theory and Practice of Logic Programming 9 (05), 617-689, 2009
192009
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
Numerical static analysis with Soot
G Amato, S Di Nardo Di Maio, F Scozzari
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of theá…, 2013
122013
Random: R-based analyzer for numerical domains
G Amato, F Scozzari
International Conference on Logic for Programming Artificial Intelligenceá…, 2012
122012
A tool which mines partial execution traces to improve static analysis
G Amato, M Parton, F Scozzari
Runtime Verification: First International Conference, RV 2010, St. Juliansá…, 2010
122010
Observational completeness on abstract interpretation
G Amato, F Scozzari
Fundamenta Informaticae 106 (2-4), 149-173, 2011
112011
The system can't perform the operation now. Try again later.
Articles 1–20