Roberto Giacobazzi
Associate Professor
Department of computer science
University of Vermont
Italy
Biography
Dr. Roberto Giacobazzi is currently working as a Associate Professor in the Department of Department of computer science, University of Verona , Italy. His research interests includes Software and its engineering - Software creation and management. He /she is serving as an editorial member and reviewer of several international reputed journals. Dr. Roberto Giacobazzi is the member of many international affiliations. He/ She has successfully completed his Administrative responsibilities. He /she has authored of many research articles/books related to Software and its engineering - Software creation and management.
Research Interest
Software and its engineering - Software creation and management
Publications
-
Barbuti R, Giacobazzi R, Levi G. A general framework for semantics-based bottom-up abstract interpretation of logic programs. ACM Transactions on Programming Languages and Systems (TOPLAS). 1993 Jan 1;15(1):133-81.
-
Giacobazzi R, Mastroeni I. Abstract non-interference: Parameterizing non-interference by abstract interpretation. ACM SIGPLAN Notices. 2004 Jan 1;39(1):186-97.
-
Giacobazzi R, Ranzato F, Scozzari F. Making abstract interpretations complete. Journal of the ACM (JACM). 2000 Mar 1;47(2):361-416.
