Concepedia

Puri Arenas

PA

9

Publications

423

Citations

9

H-Index

2007

Active since

Affiliations

Universidad Complutense de Madrid(Current)

Universidad Politécnica de Madrid

Puri Arenas is an author at Universidad Complutense de Madrid specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringFormal MethodsSoftware EngineeringSoftware DesignSystem SoftwareSoftware Testing

Publications per year

2007–2015

9

Publications

9

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 and Cost Analysis with COSTA and its User Interfaces

Elvira Albert, Puri Arenas, Samir Genaim et al. · Electronic Notes in Theoretical Computer Science · 2009 · 31 citations · Full text

Software Maintenance, Engineering, Software Engineering +29

Object‐sensitive cost analysis for concurrent objects

Elvira Albert, Puri Arenas, Jesús Correas et al. · Software Testing Verification and Reliability · 2015 · 29 citations

Engineering, Software Systems, Software Engineering +18

COSTABS

Elvira Albert, Puri Arenas, Samir Genaim et al. · 2012 · 26 citations

Engineering, Software Engineering, Concurrent System +17

Rows per page

1–5 of 9