Treffer 1 - 20 von 50 für Suche 'Arenas, Puri', Suchdauer: 1,13s Treffer weiter einschränken
  1. 1
    Systematic testing of actor systems

    Systematic testing of actor systems von Albert, Elvira, Arenas, Puri, Gómez‐Zamalloa, Miguel


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Cost analysis of object-oriented bytecode programs

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

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Closed-Form Upper Bounds in Static Cost Analysis

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

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing

    Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing von Albert, Elvira, Arenas, Puri, Gómez-Zamalloa, Miguel


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A practical comparator of cost functions and its applications

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

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Conditional termination of loops over heap-allocated data

    Conditional termination of loops over heap-allocated data von Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán, Román-Díez, Guillermo

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Cost analysis of object-oriented bytecode programs: Quantitative Aspects of Programming Languages (QAPL 2010)

    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

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Object-sensitive cost analysis for concurrent objects

    Object-sensitive cost analysis for concurrent objects von Albert, Elvira, Arenas, Puri, Correas, Jesús, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, Germán, Román-Díez, Guillermo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Context-Sensitive Dynamic Partial Order Reduction

    Context-Sensitive Dynamic Partial Order Reduction von Albert, Elvira, Arenas, Puri, de la Banda, María García, Gómez-Zamalloa, Miguel, Stuckey, Peter J.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    SACO: Static Analyzer for Concurrent Objects

    SACO: Static Analyzer for Concurrent Objects von Albert, Elvira, Arenas, Puri, Flores-Montoya, Antonio, Genaim, Samir, Gómez-Zamalloa, Miguel, Martin-Martin, Enrique, Puebla, German, Román-Díez, Guillermo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode

    COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode von Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, German, Zanardini, Damiano


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Reduced Certificates for Abstraction-Carrying Code

    Reduced Certificates for Abstraction-Carrying Code von Albert, Elvira, Arenas, Puri, Puebla, Germán, Hermenegildo, Manuel


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Certificate size reduction in abstraction-carrying code

    Certificate size reduction in abstraction-carrying code von ALBERT, ELVIRA, ARENAS, PURI, PUEBLA, GERMÁN, HERMENEGILDO, MANUEL


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis

    Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis von Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Test Case Generation of Actor Systems

    Test Case Generation of Actor Systems von Albert, Elvira, Arenas, Puri, Gómez-Zamalloa, Miguel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency

    Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency von Albert, Elvira, Arenas, Puri, Gómez-Zamalloa, Miguel, Rojas, Jose Miguel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Symbolic execution of concurrent objects in CLP

    Symbolic execution of concurrent objects in CLP von Albert, Elvira, Arenas, Puri, Gómez-Zamalloa, Miguel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Precise Cost Analysis via Local Reasoning

    Precise Cost Analysis via Local Reasoning von Alonso-Blas, Diego Esteban, Arenas, Puri, Genaim, Samir


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Cost Analysis of Concurrent OO Programs

    Cost Analysis of Concurrent OO Programs von Albert, Elvira, Arenas, Puri, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, German


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Preface

    Preface von Arenas, Puri, Gulías, Víctor M.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: