Follow
Damiano Zanardini
Damiano Zanardini
Verified email at fi.upm.es - Homepage
Title
Cited by
Cited by
Year
Cost analysis of java bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
2442007
Cost analysis of object-oriented bytecode programs
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Theoretical Computer Science 413 (1), 142-159, 2012
1552012
COSTA: Design and implementation of a cost and termination analyzer for java bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Formal Methods for Components and Objects, 113-132, 2008
1162008
Termination analysis of Java bytecode
E Albert, P Arenas, M Codish, S Genaim, G Puebla, D Zanardini
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 …, 2008
822008
Data dependencies and program slicing: from syntax to abstract semantics
I Mastroeni, D Zanardini
Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008
482008
Termination and Cost Analysis with COSTA and its User Interfaces
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla, D Ramírez, ...
Electronic Notes in Theoretical Computer Science 258 (1), 109-121, 2009
432009
Abstract program slicing: An abstract interpretation-based approach to program slicing
I Mastroeni, D Zanardini
ACM Transactions on Computational Logic (TOCL) 18 (1), 1-58, 2017
292017
Removing useless variables in cost analysis of Java bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Proceedings of the 2008 ACM symposium on Applied computing, 368-375, 2008
262008
Task-level analysis for a language with async/finish parallelism
E Albert, P Arenas, S Genaim, D Zanardini
Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers …, 2011
252011
Resource usage analysis and its application to resource certification
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial …, 2009
212009
The Semantics of Abstract Program Slicing
D Zanardini
Source Code Analysis and Manipulation, 2008 Eighth IEEE International …, 2008
182008
Experiments in cost analysis of Java bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Electronic Notes in Theoretical Computer Science 190 (1), 67-83, 2007
172007
Reachability-based acyclicity analysis by abstract interpretation
S Genaim, D Zanardini
Theoretical Computer Science 474, 60-79, 2013
142013
Influencing over people with a social emotional model
JA Rincon, F de la Prieta, D Zanardini, V Julian, C Carrascosa
Neurocomputing 231, 47-54, 2017
132017
The acyclicity inference of COSTA
S Genaim, D Zanardini
11th International Workshop on Termination, 2010
132010
Towards product configuration taking into account quality concerns
K Villela, T Arif, D Zanardini
Proceedings of the 16th International Software Product Line Conference …, 2012
92012
Resource–usage–aware configuration in software product lines
D Zanardini, E Albert, K Villela
Journal of Logical and Algebraic Methods in Programming 85 (1), 173-199, 2016
82016
Inference of field-sensitive reachability and cyclicity
D Zanardini, S Genaim
ACM Transactions on Computational Logic (TOCL) 15 (4), 1-41, 2014
82014
COSTA: a cost and termination analyzer for Java Bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Proc. of BYTECODE Workshop, ENTCS. Elsevier, 2008
82008
Abstract Non-Interference in a fragment of Java bytecode
D Zanardini
Proceedings of the 2006 ACM symposium on Applied computing, 1822-1826, 2006
62006
The system can't perform the operation now. Try again later.
Articles 1–20