I agree that this site is using cookies. You can find further informations here.
X
Puebla, Germán
166  results:
Search for persons X
?
1

Quantified abstract configurations of distributed systems:

Albert, Elvira ; Correas, Jesús ; Puebla, Germán.
Formal Aspects of Computing.  27 (2015)  4 - p. 665-699 , 2015
Link: https://doi.org/10.1007/..
 
?
2

A multi-domain incremental analysis engine and its applicat..:

Albert, Elvira ; Correas, Jesús ; Puebla, Germán.
Theoretical Computer Science.  585 (2015)  - p. 91-114 , 2015
Link: https://doi.org/10.1016/..
 
?
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 formal verification framework for static analysis: As wel..:

Albert, Elvira ; Bubel, Richard ; Genaim, Samir...
Software & Systems Modeling.  15 (2015)  4 - p. 987-1012 , 2015
Link: https://doi.org/10.1007/..
 
?
5

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/..
 
?
6

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/..
 
?
7

Selected and extended papers from Bytecode 2013:

Gómez-Zamalloa, Miguel ; Puebla, Germán
Science of Computer Programming.  95 (2014)  - p. 343 , 2014
Link: https://doi.org/10.1016/..
 
?
8

Incremental resource usage analysis:

, In: Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation,
Albert, Elvira ; Correas, Jesús ; Puebla, Germán. - p. 25-34 , 2012
Link: https://dl.acm.org/doi/1..
 
?
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

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/..
 
?
12

Verified resource guarantees using COSTA and KeY:

, In: Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation,
Albert, Elvira ; Bubel, Richard ; Genaim, Samir... - p. 73-76 , 2011
Link: https://dl.acm.org/doi/1..
 
?
13

Efficient local unfolding with ancestor stacks:

PUEBLA, GERMÁN ; ALBERT, ELVIRA ; HERMENEGILDO, MANUEL
Theory and Practice of Logic Programming.  11 (2010)  1 - p. 1-32 , 2010
Link: https://doi.org/10.1017/..
 
?
14

PET : a partial evaluation-based test case generation to..:

, In: Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation,
Albert, Elvira ; Gómez-Zamalloa, Miguel ; Puebla, Germán - p. 25-28 , 2010
Link: https://dl.acm.org/doi/1..
 
?
15

Session details: Session 7: Haskell analysis/transformation:

, In: Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation,
Puebla, German , 2010
Link: https://dl.acm.org/doi/1..
 
1-15