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
872014
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
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
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
622010
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
542010
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
432011
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
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
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
382015
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
332016
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
332010
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
292011
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
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
202016
Test case generation by symbolic execution: Basic concepts, a clp-based instance, and actor-based concurrency
E Albert, P Arenas, M Gómez-Zamalloa, JM Rojas
Formal Methods for Executable Software Models: 14th International School on …, 2014
202014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20