Items where author is "Genaim, Samir"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 10.

Article

Genaim, Samir and Zanardini, Damiano (2013). Reachability-based acyclicity analysis by Abstract Interpretation. "Theoretical Computer Science", v. 474 ; pp. 60-79. ISSN 0304-3975. https://doi.org/10.1016/j.tcs.2012.12.018.

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla Sánchez, Alvaro Germán (2008). Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. "Lecture Notes in Computer Science", v. 5079 ; pp. 221-237. ISSN 0302-9743. https://doi.org/10.1007/978-3-540-69166-2_15.

Presentation at Congress or Conference

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla Sánchez, Alvaro Germán and Ramirez Deantes, Diana (2010). From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. In: "SAS'10 17th international conference on Static analysis", 14/09/2010 - 16/09/2010, Perpignan, Francia. ISBN 978-3-642-15768-4.

Albert Albiol, Elvira and Genaim, Samir and Gomez Zamalloa, Miguel (2010). Parametric Inference of Memory Requirements for Garbage Collected Languages. In: "2010 international symposiumon Memory management", 05/06/2010 - 06/06/2010, Toronto, Canadá. ISBN 978-1-4503-0054-4.

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Gomez Zamalloa, Miguel and Puebla Sánchez, Alvaro Germán and Ramirez Deantes, Diana and Zanardini, Damiano and Roman, Groman (2009). Termination and Cost Analysis with COSTA and its User Interfaces. In: "IX Jornadas sobre Programación y Lenguajes (PROLE '09). IX Spanish Conference on Programming and Languages (PROLE 2009)", 09/09/2009 - 11/09/2009, San Sebastian, España. ISBN ISSN 1571-0661.

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla Sánchez, Alvaro Germán (2009). Comparing Cost Functions in Resource Analysis. In: "First international conference on Foundational and practical aspects of resource analysis, FOPARA'09", 06/11/2009 - 06/11/2009, Eindhoven, Holanda. ISBN 978-3-642-15330-3.

Albert Albiol, Elvira and Alonso, D. and Arenas Sánchez, Purificación and Genaim, Samir and Puebla Sánchez, Alvaro Germán (2009). Asymptotic Resource Usage Bounds. In: "7th Asian Symposium on Programming Languages and Systems, APLAS '09", 14/12/2009 - 16/12/2009, Seoul, Korea. ISBN 978-3-642-10671-2.

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla Sánchez, Alvaro Germán (2009). Field-Sensitive Value Analysis by Field-Insensitive Analysis. In: "2nd World Congress on Formal Methods, FM '09", 02/11/2009 - 06/11/2009, Eindhoven, Paises Bajos. ISBN 978-3-642-05088-6.

Albert Albiol, Elvira and Genaim, Samir and Gomez Zamalloa, Miguel (2009). Live Heap Space Analysis for Languages with Garbage Collection. In: "2009 International Symposium on Memory Management, ISMM '09", 19/06/2009 - 20/06/2009, Dublin, Irlanda. ISBN 978-1-60558-347-1.

Albert Albiol, Elvira and Genaim, Samir and Gomez Zamalloa, Miguel and Arenas Sánchez, Purificación and Puebla Sánchez, Alvaro Germán and Zanardini, Damiano (2009). Upper Bounds on Memory Usage for Garbage-Collected Languages. In: "1st Workshop on Quantitative Analysis of Software, QA'09 (co-located with CAV 2009)", 26/06/2009 - 02/07/2009, Grenoble, France.

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM