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
European symposium on programming, 157-172, 2007
2362007
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
1522012
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode, Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007 …
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Springer-Verlag, Berlin, Heidelberg, 2008
116*2008
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
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
International Symposium on Formal Methods for Components and Objects, 113-132, 2007
1162007
Termination analysis of Java bytecode
E Albert, P Arenas, M Codish, S Genaim, G Puebla, D Zanardini
International Conference on Formal Methods for Open Object-Based Distributed …, 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
402008
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
372009
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
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
242017
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
232011
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, 258-288, 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
182007
Reachability-based acyclicity analysis by abstract interpretation
S Genaim, D Zanardini
Theoretical Computer Science 474, 60-79, 2013
142013
The acyclicity inference of COSTA
S Genaim, D Zanardini
11th International Workshop on Termination, 2010
132010
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
112017
Inference of field-sensitive reachability and cyclicity
D Zanardini, S Genaim
ACM Transactions on Computational Logic (TOCL) 15 (4), 1-41, 2014
102014
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
92016
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
The system can't perform the operation now. Try again later.
Articles 1–20