Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Samir Genaim" ( http://dblp.L3S.de/Authors/Samir_Genaim )

  Author page on DBLP  Author page in RDF  Community of Samir Genaim in ASPL-2

Publication years (Num. hits)
2001-2007 (17) 2008-2010 (15) 2011-2012 (12)
Publication types (Num. hits)
article(12) inproceedings(32)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(5) VMCAI(4) ESOP(3) ISMM(3) SAS(3) APLAS(2) FM(2) ICLP(2) LPAR(2) PEPM(2) TPLP(2) ACM Trans. Comput. Log.(1) ACM Trans. Program. Lang. Syst...(1) CoRR(1) FASE(1) FMCO(1) More (+10 of total 25)
Authors
Samir Genaim(44) Elvira Albert(27) Puri Arenas(20) Germán Puebla(19) Michael Codish(12) Damiano Zanardini(9) Miguel Gómez-Zamalloa(8) Andy King(3) Guillermo Román-Díez(3) Abu Naser Masud(2) Diana V. Ramírez-Deantes(2) Diego Alonso(2) John P. Gallagher(2) Maurice Bruynooghe(2) Peter J. Stuckey(2) Reiner Hähnle(2) More (+10 of total 28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 23 occurrences of 17 keywords
Results
Found 44 publication records. Showing 44 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini Cost analysis of object-oriented bytecode programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla Automatic Inference of Resource Consumption Bounds. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla COSTABS: a cost and termination analyzer for ABS. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez Verified Resource Guarantees for Heap Manipulating Programs. Search on Bibsonomy FASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud On the Termination of Integer Loops. Search on Bibsonomy VMCAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Diego Alonso, Puri Arenas, Samir Genaim Handling Non-linear Operations in the Value Analysis of COSTA. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla Closed-Form Upper Bounds in Static Cost Analysis. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez Verified resource guarantees using COSTA and KeY. Search on Bibsonomy PEPM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa Simulating Concurrent Behaviors with Worst-Case Cost Bounds. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla Cost Analysis of Concurrent OO Programs. Search on Bibsonomy APLAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Abu Naser Masud More Precise Yet Widely Applicable Cost Analysis. Search on Bibsonomy VMCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini Task-level analysis for a language with async/finish parallelism. Search on Bibsonomy LCTES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa Parametric inference of memory requirements for garbage collected languages. Search on Bibsonomy ISMM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF live heap space analysis, peak memory consumption, garbage collection, java bytecode, low-level languages
1Elvira 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. Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Elvira 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. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa Live heap space analysis for languages with garbage collection. Search on Bibsonomy ISMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF live heap space analysis, peak memory consumption, java bytecode, low-level languages
1Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini Resource Usage Analysis and Its Application to Resource Certification. Search on Bibsonomy FOSAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla Field-Sensitive Value Analysis by Field-Insensitive Analysis. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Diego Alonso, Puri Arenas, Samir Genaim, German Puebla Asymptotic Resource Usage Bounds. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael Codish, Samir Genaim, Peter J. Stuckey A declarative encoding of telecommunications feature subscription in SAT. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF sat solving, telecommunications feature subscription, declarative modelling
1Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla Comparing Cost Functions in Resource Analysis. Search on Bibsonomy FOPARA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Andy King Inferring non-suspension conditions for logic programs with dynamic scheduling. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concurrency, logic programming, debugging, Abstract interpretation
1Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini Termination Analysis of Java Bytecode. Search on Bibsonomy FMOODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini Removing useless variables in cost analysis of Java bytecode. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode
1Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini Experiments in Cost Analysis of Java Bytecode. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof Termination analysis of logic programs through combination of type-based norms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program analysis, Abstract interpretation, dataflow analysis, termination analysis, global analysis, groundness analysis
1Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa Heap space analysis for java bytecode. Search on Bibsonomy ISMM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF heap consumption, heap space analysis, Java bytecode, low-level languages
1Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. Search on Bibsonomy FMCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini Cost Analysis of Java Bytecode. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Andy King, Lunjin Lu, Samir Genaim Detecting Determinacy in Prolog Programs. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Michael Codish Inferring Termination Conditions for Logic Programs using Backwards Analysis. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Fausto Spoto Information Flow Analysis for Java Bytecode. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Michael Codish Inferring Termination Conditions for Logic Programs using Backwards Analysis Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Michael Codish, Samir Genaim Proving Termination One Loop at a Time. Search on Bibsonomy WLPE The full citation details ... 2003 DBLP  BibTeX  RDF
1Samir Genaim, Andy King Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof Reuse of Results in Termination Analysis of Typed Logic Programs. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon Combining Norms to Prove Termination. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Jacob M. Howe, Michael Codish Worst-case groundness analysis using definite boolean functions. Search on Bibsonomy TPLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Michael Codish Inferring Termination Conditions for Logic Programs Using Backwards Analysis. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey Higher-Precision Groundness Analysis. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Michael Codish The Def-inite Approach to Dependency Analysis. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #44 of 44 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.