Follow
Miguel Gómez-Zamalloa
Miguel Gómez-Zamalloa
Associate Professor of Computer Science, Complutense University of Madrid
Verified email at fdi.ucm.es - Homepage
Title
Cited by
Cited by
Year
SACO: static analyzer for concurrent objects
E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ...
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
912014
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
702007
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
652010
Verification of Java bytecode using analysis and transformation of logic programs
E Albert, M Gómez-Zamalloa, L Hubert, G Puebla
Practical Aspects of Declarative Languages: 9th International Symposium …, 2007
642007
Test case generation for object-oriented imperative languages in CLP
M Gómez-Zamalloa, E Albert, G Puebla
Theory and Practice of Logic Programming 10 (4-6), 659-674, 2010
572010
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
542009
Context-sensitive dynamic partial order reduction
E Albert, P Arenas, MG De La Banda, M Gómez-Zamalloa, PJ Stuckey
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
462017
Cost analysis of concurrent OO programs
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting …, 2011
452011
Decompilation of Java bytecode to Prolog by partial evaluation
M Gómez-Zamalloa, E Albert, G Puebla
Information and Software Technology 51 (10), 1409-1427, 2009
452009
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
432009
Object‐sensitive cost analysis for concurrent objects
E Albert, P Arenas, J Correas, S Genaim, M Gómez‐Zamalloa, G Puebla, ...
Software Testing, Verification and Reliability 25 (3), 218-271, 2015
412015
COSTABS: a cost and termination analyzer for ABS
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012
372012
SYCO: a systematic testing tool for concurrent objects
E Albert, M Gómez-Zamalloa, M Isabel
Proceedings of the 25th International Conference on Compiler Construction …, 2016
352016
PET: a partial evaluation-based test case generation tool for Java bytecode
E Albert, M Gómez-Zamalloa, G Puebla
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010
352010
jpet: An automatic test-case generator for java
E Albert, I Cabanas, A Flores-Montoya, M Gómez-Zamalloa, S Gutiérrez
2011 18th Working Conference on Reverse Engineering, 441-442, 2011
312011
Simulating concurrent behaviors with worst-case cost bounds
E Albert, S Genaim, M Gómez-Zamalloa, EB Johnsen, R Schlatte, ...
International Symposium on Formal Methods, 353-368, 2011
272011
Constrained dynamic partial order reduction
E Albert, M Gómez-Zamalloa, M Isabel, A Rubio
International Conference on Computer Aided Verification, 392-410, 2018
262018
Test data generation of bytecode by CLP partial evaluation
E Albert, M Gómez-Zamalloa, G Puebla
International Symposium on Logic-Based Program Synthesis and Transformation …, 2008
262008
aPET: a test case generation tool for concurrent objects
E Albert, P Arenas, M Gómez-Zamalloa, PYH Wong
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
222013
Combining static analysis and testing for deadlock detection
E Albert, M Gómez-Zamalloa, M Isabel
International Conference on Integrated Formal Methods, 409-424, 2016
212016
The system can't perform the operation now. Try again later.
Articles 1–20