| Cost analysis of java bytecode E Albert, P Arenas, S Genaim, G Puebla, D Zanardini European symposium on programming, 157-172, 2007 | 229 | 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 | 144 | 2012 |
| 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 | 120* | 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 | 120 | 2008 |
| 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 | 120 | 2007 |
| 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 | 79 | 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 | 40 | 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 | 37 | 2009 |
| 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 | 25 | 2008 |
| 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 | 24 | 2017 |
| 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 | 20 | 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, 258-288, 2009 | 20 | 2009 |
| 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 | 19 | 2007 |
| The Semantics of Abstract Program Slicing D Zanardini Source Code Analysis and Manipulation, 2008 Eighth IEEE International …, 2008 | 18 | 2008 |
| Reachability-based acyclicity analysis by abstract interpretation S Genaim, D Zanardini Theoretical Computer Science 474, 60-79, 2013 | 14 | 2013 |
| The acyclicity inference of COSTA S Genaim, D Zanardini 11th International Workshop on Termination, 2010 | 13 | 2010 |
| 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 | 11 | 2017 |
| 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 |
| 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 |
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
