Publications (in reverse chronological order):

Articles in Refereed Conferences:

1. E. Mera, P. López-García, M. Hermenegildo. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. International Conference on Logic Programming (ICLP), LNCS, Vol. 5649, pages 281-295, Springer-Verlag, July 2009.

2. E. Mera, P. López-García, M. Carro, M. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based Languages. 10th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08), pages 174-184, ACM Press, July 2008.

3. J. Navas, E. Mera, P. López-García, M. Hermenegildo. User-Definable Resource Bounds Analysis for Logic Programs. International Conference on Logic Programming (ICLP), LNCS, Vol. 4670, pages 348-363, Springer-Verlag, September 2007.

4. E. Mera, P. López-García, G. Puebla, M. Carro, M. Hermenegildo. Combining Static Analysis and Profiling for Estimating Execution Times. Ninth International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 4354, pages 140-154, Springer-Verlag, January 2007.

5. E. Mera, P. López-García, G. Puebla, M. Carro, M. Hermenegildo. Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. 22nd International Conference on Logic Programming (ICLP 2006), LNCS, Num. 4079, pages 431-432, Springer-Verlag, August 2006.

Publications in Refereed Workshops:

1. E. Mera, P. López-García, G. Puebla, M. Carro, M. Hermenegildo. Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling. 16th Workshop on Logic Programming Environments, pages 45-60, University of Namur, Institut d'Informatique, August 2006.

Technical Reports and Manuals:

1. E. Mera, P. López-García, M. Hermenegildo. Towards Integrating Run-Time Checking and Software Testing in a Verification Framework. Num. CLIP1/2009.0, 19 pages, Technical University of Madrid (UPM), March 2009.

2. J. Navas, E. Mera, P. López-García, M. Hermenegildo. Inference of User-Definable Resource Bounds Usage for Logic Programs and its Applications. Num. CLIP5/2008.0, Technical University of Madrid (UPM), July 2008.

3. M. Hermenegildo, E. Albert, P. Arenas, F. Bueno, M. Carro, A. Casas, P. Chico, J. Correas, S. Genaim, J. Lipton, Pedro López García, M. Méndez, E. Mera, J. Morales, J. Navas, R. Padilla, P. Pietrzak, G. Puebla, M. Zamalloa,, D. Zanardini. Rigorous Methods for Mobile and Heterogeneous Software Systems - Second Year Report. Num. CLIP3/2008.0, Technical University of Madrid (UPM), April 2008.

4. E. Mera, P. López-García, M. Carro, M. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages. Num. CLIP8/2007.0, Technical University of Madrid (UPM), August 2007.

5. M. Hermenegildo, E. Albert, P. Arenas, A. Beascoa, F. Bueno, D. Cabeza, M. Carro, J. Correas, A. García Pañoso, J. Lipton, Pedro López García, E. Mera, J. Morales, C. Ochoa, G. Puebla. Rigorous Methods for Mobile and Heterogeneous Software Systems - First Year Report. Num. CLIP4/2007.0, Technical University of Madrid (UPM), March 2007.

6. J. Navas, E. Mera, P. López-García, M. Hermenegildo. Resource Bounds Analysis. Num. CLIP6/2006.0, 19 pages, Technical University of Madrid (UPM), November 2006.

7. E. Mera, P. López-García, G. Puebla, M. Carro, M. Hermenegildo. Towards Combining Static Analysis and Profiling for Estimating Execution Times in Logic Programs. Num. CLIP5/2006.0, 15 pages, Technical University of Madrid (UPM), April 2006.

8. E. Mera. Estimación de los coeficientes del análisis de complejidad mediante técnicas estadísticas. Num. CLIP14/2004.0, Technical University of Madrid, September 2004.

9. E. Mera. Development of a Prolog Profiler. Num. CLIP13/2004.1, Technical University of Madrid, September 2004.

10. E. Mera. Desarrollo de un Profiler para Prolog. Num. CLIP13/2004.0, Technical University of Madrid, September 2004.

11. J. F. Morales, E. Mera, M. Carro, J. Correas. The Interface Internals. Num. CLIP7/2004.0, 30 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D14 of the AMOS Project.

12. J. Correas, E. Mera, J. F. Morales. Final Matching Engine. Num. CLIP8/2004.0, 2 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D15 of the AMOS Project.

13. M. Carro, J. M. Gomez, J. Correas, J. F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M. Hermenegildo. Web site. Num. CLIP9/2004.0, 2 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D17 of the AMOS Project.

14. M. Carro, J. M. Gomez, J. Correas, J. F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M. Hermenegildo. AMOS User's Manual. Num. CLIP4/2004.0, 44 pages, Technical University of Madrid, March 2004.