Seguir
Miguel Gómez-Zamalloa
Miguel Gómez-Zamalloa
Associate Professor of Computer Science, Complutense University of Madrid
Dirección de correo verificada de fdi.ucm.es - Página principal
Título
Citado por
Citado por
Año
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
942014
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
712007
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
662010
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
582010
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
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
482011
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
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
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
432015
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
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
392012
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
372016
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
322011
Constrained dynamic partial order reduction
E Albert, M Gómez-Zamalloa, M Isabel, A Rubio
International Conference on Computer Aided Verification, 392-410, 2018
272018
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
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
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
252016
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
242013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20