Ranking Functions for Linear-Constraint Loops von BEN-AMRAM, Amir M, GENAIM, Samir

Volltext

Cost analysis of object-oriented bytecode programs von Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, German, Zanardini, Damiano

Volltext

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis von DOMÉNECH, JESÚS J., GALLAGHER, JOHN P., GENAIM, SAMIR

Volltext

Reachability-based acyclicity analysis by Abstract Interpretation von Genaim, Samir, Zanardini, Damiano

Volltext

Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings von Albert, Elvira, Flores-Montoya, Antonio, Genaim, Samir, Martin-Martin, Enrique

Volltext

May-Happen-in-Parallel Analysis for Actor-Based Concurrency von Albert, Elvira, Flores-Montoya, Antonio, Genaim, Samir, Martin-Martin, Enrique

Volltext

Corrigendum to “Reachability-based acyclicity analysis by abstract interpretation” [Theoretical Computer Science 474 (2013) 60–79] von Genaim, Samir, Zanardini, Damiano

Volltext

Closed-Form Upper Bounds in Static Cost Analysis von Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán

Volltext

Inference of Field-Sensitive Reachability and Cyclicity von Zanardini, Damiano, Genaim, Samir

Volltext

When COSTA Met KeY: Verified Cost Bounds von Albert, Elvira, Genaim, Samir, Merayo, Alicia, Román-Díez, Guillermo

Volltext

On the Inference of Resource Usage Upper and Lower Bounds von Albert, Elvira, Genaim, Samir, Masud, Abu Naser

Volltext

Heap space analysis for garbage collected languages von Albert, Elvira, Genaim, Samir, Gómez-Zamalloa, Miguel

Volltext

Termination Analysis of Programs with Multiphase Control-Flow von Domenech, Jesús J., Genaim, Samir

Volltext

On Multiphase-Linear Ranking Functions von Ben-Amram, Amir M., Genaim, Samir

Volltext

A Transformational Approach to Resource Analysis with Typed-norms Inference von ALBERT, ELVIRA, GENAIM, SAMIR, GUTIÉRREZ, RAÚL, MARTIN-MARTIN, ENRIQUE

Volltext

Inferring termination conditions for logic programs using backwards analysis von GENAIM, SAMIR, CODISH, MICHAEL

Volltext

Cost analysis of object-oriented bytecode programs: Quantitative Aspects of Programming Languages (QAPL 2010) von ALBERT, Elvira, ARENAS, Puri, GENAIM, Samir, PUEBLA, German, ZANARDINI, Damiano

Volltext

A practical comparator of cost functions and its applications von Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán

Volltext

May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects von Flores-Montoya, Antonio E., Albert, Elvira, Genaim, Samir

Volltext

Information flow analysis for java bytecode von Genaim, Samir, Spoto, Fausto

Volltext