Samir Genaim

	2012
44		Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez: Verified Resource Guarantees for Heap Manipulating Programs. FASE 2012: 130-145
43		Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla: Automatic Inference of Resource Consumption Bounds. LPAR 2012: 1-11
42		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
41		Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud: On the Termination of Integer Loops. VMCAI 2012: 72-87
40		Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini: Cost analysis of object-oriented bytecode programs. Theor. Comput. Sci. 413(1): 142-159 (2012)
	2011
39		Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla: Cost Analysis of Concurrent OO Programs. APLAS 2011: 238-254
38		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
37		Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini: Task-level analysis for a language with async/finish parallelism. LCTES 2011: 21-30
36		Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez: Verified resource guarantees using COSTA and KeY. PEPM 2011: 73-76
35		Elvira Albert, Samir Genaim, Abu Naser Masud: More Precise Yet Widely Applicable Cost Analysis. VMCAI 2011: 38-53
34		Diego Alonso, Puri Arenas, Samir Genaim: Handling Non-linear Operations in the Value Analysis of COSTA. Electr. Notes Theor. Comput. Sci. 279(1): 3-17 (2011)
33		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Closed-Form Upper Bounds in Static Cost Analysis. J. Autom. Reasoning 46(2): 161-203 (2011)
	2010
32		Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Parametric inference of memory requirements for garbage collected languages. ISMM 2010: 121-130
31		Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes: From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. SAS 2010: 100-116
	2009
30		Elvira Albert, Diego Alonso, Puri Arenas, Samir Genaim, German Puebla: Asymptotic Resource Usage Bounds. APLAS 2009: 294-310
29		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Field-Sensitive Value Analysis by Field-Insensitive Analysis. FM 2009: 370-386
28		Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla: Comparing Cost Functions in Resource Analysis. FOPARA 2009: 1-17
27		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Resource Usage Analysis and Its Application to Resource Certification. FOSAD 2009: 258-288
26		Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Live heap space analysis for languages with garbage collection. ISMM 2009: 129-138
25		Michael Codish, Samir Genaim, Peter J. Stuckey: A declarative encoding of telecommunications feature subscription in SAT. PPDP 2009: 255-266
24		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. Electr. Notes Theor. Comput. Sci. 248: 31-46 (2009)
23		Elvira Albert, Samir Genaim: Preface. Electr. Notes Theor. Comput. Sci. 253(5): 1-2 (2009)
22		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)
	2008
21		Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini: Termination Analysis of Java Bytecode. FMOODS 2008: 2-18
20		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Removing useless variables in cost analysis of Java bytecode. SAC 2008: 368-375
19		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. SAS 2008: 221-237
18		Samir Genaim, Andy King: Inferring non-suspension conditions for logic programs with dynamic scheduling. ACM Trans. Comput. Log. 9(3): (2008)
	2007
17		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Cost Analysis of Java Bytecode. ESOP 2007: 157-172
16		Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini: COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. FMCO 2007: 113-132
15		Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Heap space analysis for java bytecode. ISMM 2007: 105-116
14		Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof: Termination analysis of logic programs through combination of type-based norms. ACM Trans. Program. Lang. Syst. 29(2): (2007)
13		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Experiments in Cost Analysis of Java Bytecode. Electr. Notes Theor. Comput. Sci. 190(1): 67-83 (2007)
	2006
12		Andy King, Lunjin Lu, Samir Genaim: Detecting Determinacy in Prolog Programs. ICLP 2006: 132-147
	2005
11		Samir Genaim, Fausto Spoto: Information Flow Analysis for Java Bytecode. VMCAI 2005: 346-362
10		Samir Genaim, Michael Codish: Inferring Termination Conditions for Logic Programs using Backwards Analysis. TPLP 5(1-2): 75-91 (2005)
	2003
9		Samir Genaim, Andy King: Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. ESOP 2003: 84-98
8		Michael Codish, Samir Genaim: Proving Termination One Loop at a Time. WLPE 2003: 48-59
7		Samir Genaim, Michael Codish: Inferring Termination Conditions for Logic Programs using Backwards Analysis CoRR cs.PL/0312023: (2003)
	2002
6		Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof: Reuse of Results in Termination Analysis of Typed Logic Programs. SAS 2002: 477-492
5		Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon: Combining Norms to Prove Termination. VMCAI 2002: 126-138
	2001
4		Samir Genaim, Michael Codish: The Def-inite Approach to Dependency Analysis. ESOP 2001: 417-432
3		Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey: Higher-Precision Groundness Analysis. ICLP 2001: 135-149
2		Samir Genaim, Michael Codish: Inferring Termination Conditions for Logic Programs Using Backwards Analysis. LPAR 2001: 685-694
1		Samir Genaim, Jacob M. Howe, Michael Codish: Worst-case groundness analysis using definite boolean functions. TPLP 1(5): 611-615 (2001)

Coauthor Index

1	Elvira Albert	[13] [15] [16] [17] [19] [20] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [33] [35] [36] [37] [38] [39] [40] [42] [43] [44]
2	Diego Alonso	[30] [34]
3	Puri Arenas (Puri Arenas-Sánchez)	[13] [16] [17] [19] [20] [21] [22] [24] [27] [28] [29] [30] [31] [33] [34] [37] [39] [40] [42] [43]
4	Amir M. Ben-Amram	[41]
5	Maurice Bruynooghe	[6] [14]
6	Richard Bubel	[36] [44]
7	Michael Codish	[1] [2] [3] [4] [5] [6] [7] [8] [10] [14] [21] [25]
8	John P. Gallagher	[5] [14]
9	Miguel Gómez-Zamalloa	[15] [22] [26] [32] [38] [39] [42] [43]
10	Reiner Hähnle	[36] [44]
11	Israel Herraiz	[28]
12	Jacob M. Howe	[1]
13	Einar Broch Johnsen	[38]
14	Andy King	[9] [12] [18]
15	Vitaly Lagoon	[5]
16	Lunjin Lu	[12]
17	Abu Naser Masud	[35] [41]
18	Germán Puebla (German Puebla)	[13] [16] [17] [19] [20] [21] [22] [24] [27] [28] [29] [30] [31] [33] [36] [39] [40] [42] [43]
19	Diana V. Ramírez-Deantes	[22] [31]
20	Guillermo Román-Díez	[22] [36] [44]
21	Rudolf Schlatte	[38]
22	Harald Søndergaard	[3]
23	Fausto Spoto	[11]
24	Peter J. Stuckey	[3] [25]
25	Silvia Lizeth Tapia Tarifa	[38]
26	Wim Vanhoof	[6] [14]
27	Damiano Zanardini	[13] [16] [17] [20] [21] [22] [27] [37] [40]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page