E-LIB Suche - Ergebnisse für: Arenas, Puri

1

Systematic testing of actor systems:

Albert, Elvira ; Arenas, Puri ; Gómez‐Zamalloa, Miguel
Software Testing, Verification and Reliability. 28 (2018) 3 - p. , 2018

Link: https://doi.org/10.1002/..

2

Testing of concurrent and imperative software using CLP:

, In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming,

Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel - p. 1-8 , 2016

Link: https://dl.acm.org/doi/1..

3

Object‐sensitive cost analysis for concurrent objects:

Albert, Elvira ; Arenas, Puri ; Correas, Jesús...
Software Testing, Verification and Reliability. 25 (2015) 3 - p. 218-271 , 2015

Link: https://doi.org/10.1002/..

4

A practical comparator of cost functions and its applicatio..:

Albert, Elvira ; Arenas, Puri ; Genaim, Samir.
Science of Computer Programming. 111 (2015) - p. 483-504 , 2015

Link: https://doi.org/10.1016/..

5

Conditional termination of loops over heap-allocated data:

Albert, Elvira ; Arenas, Puri ; Genaim, Samir..
Science of Computer Programming. 92 (2014) - p. 2-24 , 2014

Link: https://doi.org/10.1016/..

6

aPET: a test case generation tool for concurrent objects:

, In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering,

Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel. - p. 595-598 , 2013

Link: https://dl.acm.org/doi/1..

7

Task-level analysis for a language with async/finish parall..:

Albert, Elvira ; Arenas, Puri ; Genaim, Samir.
ACM SIGPLAN Notices. 47 (2012) 5 - p. 21 , 2012

Link: https://doi.org/10.1145/..

8

Preface:

Arenas, Puri ; Gulías, Víctor M.
Electronic Notes in Theoretical Computer Science. 282 (2012) - p. 1-2 , 2012

Link: https://doi.org/10.1016/..

9

Cost analysis of object-oriented bytecode programs:

Albert, Elvira ; Arenas, Puri ; Genaim, Samir..
Theoretical Computer Science. 413 (2012) 1 - p. 142-159 , 2012

Link: https://doi.org/10.1016/..

10

COSTABS : a cost and termination analyzer for ABS:

, In: Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation,

Albert, Elvira ; Arenas, Puri ; Genaim, Samir.. - p. 151-154 , 2012

Link: https://dl.acm.org/doi/1..

11

Symbolic execution of concurrent objects in CLP:

, In: Proceedings of the 14th international conference on Practical Aspects of Declarative Languages,

Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel - p. 123-137 , 2012

Link: https://dl.acm.org/doi/1..

12

Symbolic Execution of Concurrent Objects in CLP:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel - p. 123-137 , 2012

Link: https://doi.org/10.1007/..

13

Certificate size reduction in abstraction-carrying code:

ALBERT, ELVIRA ; ARENAS, PURI ; PUEBLA, GERMÁN.
Theory and Practice of Logic Programming. 12 (2011) 3 - p. 283-318 , 2011

Link: https://doi.org/10.1017/..

14

Task-level analysis for a language with async/finish parall..:

Albert, Elvira ; Arenas, Puri ; Genaim, Samir.
ACM SIGPLAN Notices. 46 (2011) 5 - p. 21-30 , 2011

Link: https://doi.org/10.1145/..

15

Handling Non-linear Operations in the Value Analysis of COS..:

Alonso, Diego ; Arenas, Puri ; Genaim, Samir
Electronic Notes in Theoretical Computer Science. 279 (2011) 1 - p. 3-17 , 2011

Link: https://doi.org/10.1016/..