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
2182007
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
1352012
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
112*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
1122008
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
1122007
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
772008
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
322009
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
242008
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
202017
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
202009
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
192011
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
192007
The Semantics of Abstract Program Slicing
D Zanardini
Source Code Analysis and Manipulation, 2008 Eighth IEEE International …, 2008
182008
The acyclicity inference of COSTA
S Genaim, D Zanardini
11th International Workshop on Termination, 2010
132010
Reachability-based acyclicity analysis by abstract interpretation
S Genaim, D Zanardini
Theoretical Computer Science 474, 60-79, 2013
122013
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
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
72014
Towards product configuration taking into account quality concerns
K Villela, T Arif, D Zanardini
Proceedings of the 16th International Software Product Line Conference …, 2012
72012
The system can't perform the operation now. Try again later.
Articles 1–20