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

Reachability-based acyclicity analysis by Abstract Interpretation 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

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

Volltext

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

Volltext

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

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

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

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

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

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

Volltext

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

Volltext

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

Volltext

Proving Termination Starting from the End von Ganty, Pierre, Genaim, Samir

Volltext

On the Limits of the Classical Approach to Cost Analysis von Alonso-Blas, Diego Esteban, Genaim, Samir

Volltext