| 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 | 240 | 2007 |
| Closed-form upper bounds in static cost analysis E Albert, P Arenas, S Genaim, G Puebla Journal of automated reasoning 46, 161-203, 2011 | 211 | 2011 |
| 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 | 154 | 2012 |
| Automatic inference of upper bounds for recurrence relations in cost analysis E Albert, P Arenas, S Genaim, G Puebla Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008 | 128 | 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: 6th International Symposium, FMCO …, 2008 | 119 | 2008 |
| Information flow analysis for java bytecode S Genaim, F Spoto Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005 | 108 | 2005 |
| SACO: Static Analyzer for Concurrent Objects. E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ... TACAS 14, 562-567, 2014 | 87 | 2014 |
| Termination analysis of logic programs through combination of type-based norms M Bruynooghe, M Codish, JP Gallagher, S Genaim, W Vanhoof ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2), 10-es, 2007 | 84 | 2007 |
| 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 | 83 | 2008 |
| On the linear ranking problem for integer linear-constraint loops AM Ben-Amram, S Genaim ACM SIGPLAN Notices 48 (1), 51-62, 2013 | 81 | 2013 |
| Ranking functions for linear-constraint loops AM Ben-Amram, S Genaim Journal of the ACM (JACM) 61 (4), 1-55, 2014 | 77 | 2014 |
| Preference-based configuration of web page content C Domshlak, S Genaim, R Brafman 14th European Conference on Artificial Intelligence (ECAI 2000 …, 2000 | 72 | 2000 |
| Heap space analysis for Java bytecode E Albert, S Genaim, M Gomez-Zamalloa Proceedings of the 6th international symposium on Memory management, 105-116, 2007 | 69 | 2007 |
| May-happen-in-parallel based deadlock analysis for concurrent objects AE Flores-Montoya, E Albert, S Genaim Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International …, 2013 | 63 | 2013 |
| Parametric inference of memory requirements for garbage collected languages E Albert, S Genaim, M Gómez-Zamalloa ACM Sigplan Notices 45 (8), 121-130, 2010 | 63 | 2010 |
| On the termination of integer loops AM Ben-Amram, S Genaim, AN Masud ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (4), 1-24, 2012 | 62 | 2012 |
| On the inference of resource usage upper and lower bounds E Albert, S Genaim, AN Masud ACM Transactions on Computational Logic (TOCL) 14 (3), 1-35, 2013 | 57 | 2013 |
| Live heap space analysis for languages with garbage collection E Albert, S Genaim, M Gómez-Zamalloa Gil Proceedings of the 2009 international symposium on Memory management, 129-138, 2009 | 56 | 2009 |
| On the limits of the classical approach to cost analysis DE Alonso-Blas, S Genaim Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 55 | 2012 |
| On multiphase-linear ranking functions AM Ben-Amram, S Genaim Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 51 | 2017 |
