Miguel Gómez-Zamalloa

	2012
23		Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla: Automatic Inference of Resource Consumption Bounds. LPAR 2012: 1-11
22		Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa: Symbolic Execution of Concurrent Objects in CLP. PADL 2012: 123-137
21		Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla: COSTABS: a cost and termination analyzer for ABS. PEPM 2012: 151-154
	2011
20		Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla: Cost Analysis of Concurrent OO Programs. APLAS 2011: 238-254
19		Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM 2011: 353-368
18		Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez: jPET: An Automatic Test-Case Generator for Java. WCRE 2011: 441-442
	2010
17		Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Parametric inference of memory requirements for garbage collected languages. ISMM 2010: 121-130
16		Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla: Compositional CLP-Based Test Data Generation for Imperative Languages. LOPSTR 2010: 99-116
15		Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla: PET: a partial evaluation-based test case generation tool for Java bytecode. PEPM 2010: 25-28
14		Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla: Verification of Java Bytecode using Analysis and Transformation of Logic Programs CoRR abs/1007.3250: (2010)
13		Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Test Case Generation for Object-Oriented Imperative Languages in CLP CoRR abs/1007.5195: (2010)
12		Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Test case generation for object-oriented imperative languages in CLP. TPLP 10(4-6): 659-674 (2010)
	2009
11		Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Live heap space analysis for languages with garbage collection. ISMM 2009: 129-138
10		Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: On the Generation of Test Data for Prolog by Partial Evaluation CoRR abs/0903.2199: (2009)
9		Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini: Termination and Cost Analysis with COSTA and its User Interfaces. Electr. Notes Theor. Comput. Sci. 258(1): 109-121 (2009)
8		Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla: Type-based homeomorphic embedding for online termination. Inf. Process. Lett. 109(15): 879-886 (2009)
7		Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Decompilation of Java bytecode to Prolog by partial evaluation. Information & Software Technology 51(10): 1409-1427 (2009)
	2008
6		Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla: Test Data Generation of Bytecode by CLP Partial Evaluation. LOPSTR 2008: 4-23
5		Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Modular Decompilation of Low-Level Code by Partial Evaluation. SCAM 2008: 239-248
	2007
4		Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Heap space analysis for java bytecode. ISMM 2007: 105-116
3		Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla: Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. LOPSTR 2007: 23-42
2		Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla: Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL 2007: 124-139
1		Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. Electr. Notes Theor. Comput. Sci. 190(1): 85-101 (2007)

Coauthor Index

1	Elvira Albert	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23]
2	Puri Arenas (Puri Arenas-Sánchez)	[9] [20] [21] [22] [23]
3	Israel Cabanas	[18]
4	Antonio Flores-Montoya	[18]
5	John P. Gallagher	[3] [8]
6	Samir Genaim	[4] [9] [11] [17] [19] [20] [21] [23]
7	Sergio Gutierrez	[18]
8	Laurent Hubert	[2] [14]
9	Einar Broch Johnsen	[19]
10	Germán Puebla (German Puebla)	[1] [2] [3] [5] [6] [7] [8] [9] [10] [12] [13] [14] [15] [16] [20] [21] [23]
11	Diana V. Ramírez-Deantes	[9]
12	José Miguel Rojas (José Miguel Rojas Siles)	[16]
13	Guillermo Román-Díez	[9]
14	Rudolf Schlatte	[19]
15	Silvia Lizeth Tapia Tarifa	[19]
16	Damiano Zanardini	[9]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page