| 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 | 247 | 2007 |
| 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 | 160 | 2012 |
| 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 | 123 | 2008 |
| 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 | 85 | 2008 |
| 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 | 51 | 2008 |
| 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 | 44 | 2009 |
| 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 | 30 | 2017 |
| 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 | 27 | 2008 |
| 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 | 25 | 2011 |
| 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 | 22 | 2009 |
| The Semantics of Abstract Program Slicing D Zanardini Source Code Analysis and Manipulation, 2008 Eighth IEEE International …, 2008 | 19 | 2008 |
| 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 | 18 | 2007 |
| Reachability-based acyclicity analysis by abstract interpretation S Genaim, D Zanardini Theoretical Computer Science 474, 60-79, 2013 | 14 | 2013 |
| 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 | 13 | 2017 |
| The acyclicity inference of COSTA S Genaim, D Zanardini 11th International Workshop on Termination, 2010 | 13 | 2010 |
| Towards product configuration taking into account quality concerns K Villela, T Arif, D Zanardini Proceedings of the 16th International Software Product Line Conference …, 2012 | 9 | 2012 |
| 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 | 9 | 2008 |
| 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 | 8 | 2016 |
| Inference of field-sensitive reachability and cyclicity D Zanardini, S Genaim ACM Transactions on Computational Logic (TOCL) 15 (4), 1-41, 2014 | 8 | 2014 |
| Abstract Non-Interference in a fragment of Java bytecode D Zanardini Proceedings of the 2006 ACM symposium on Applied computing, 1822-1826, 2006 | 6 | 2006 |
Elvira AlbertComplutense University of Spain在 sip.ucm.es 的电子邮件经过验证
