Concepedia

Samir Genaim

SG

27

Publications

957

Citations

17

H-Index

2001

Active since

Affiliations

Universidad Complutense de Madrid(Current)

Universidad Politécnica de Madrid

Academic College of Tel Aviv-Yafo

Ben-Gurion University of the Negev

University of Kent

Samir Genaim is an author at Universidad Complutense de Madrid specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSystem SoftwareSoftware EngineeringSoftware Testing

Publications per year

2001–2015

27

Publications

27

Closed-Form Upper Bounds in Static Cost Analysis

Elvira Albert, Puri Arenas, Samir Genaim et al. · Journal of Automated Reasoning · 2010 · 156 citations

Mathematical Programming, Cost Allocation, Engineering +7

Cost analysis of object-oriented bytecode programs

Elvira Albert, Puri Arenas, Samir Genaim et al. · Theoretical Computer Science · 2011 · 119 citations

Software Maintenance, Engineering, Program Analysis +12

Termination analysis of logic programs through combination of type-based norms

Maurice Bruynooghe, Michael Codish, John P. Gallagher et al. · ACM Transactions on Programming Languages and Systems · 2007 · 70 citations · Full text

Program Checking, Engineering, Type Theory +17

Ranking Functions for Linear-Constraint Loops

Amir M. Ben-Amram, Samir Genaim · Journal of the ACM · 2014 · 66 citations · Full text

Mathematical Programming, Ranking Algorithm, Engineering +17

On the linear ranking problem for integer linear-constraint loops

Amir M. Ben-Amram, Samir Genaim · 2013 · 52 citations

Mathematical Programming, Engineering, Integer Optimization +14

Rows per page

1–5 of 27