E-LIB Suche - Ergebnisse für: Correas, Jesus

1

Inferring Needless Write Memory Accesses on Ethereum Byteco..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Albert, Elvira ; Correas, Jesús ; Gordillo, Pablo.. - p. 448-466 , 2023

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

2

Static Profiling and Optimization of Ethereum Smart Contrac..:

Correas, Jesus ; Gordillo, Pablo ; Roman-Diez, Guillermo
IEEE Access. 9 (2021) - p. 25495-25507 , 2021

Link: https://doi.org/10.1109/..

3

Don't run on fumes—Parametric gas bounds for smart contract:

Albert, Elvira ; Correas, Jesús ; Gordillo, Pablo..
Journal of Systems and Software. 176 (2021) - p. 110923 , 2021

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

4

Smart, and also Reliable and Gas-Efficient, Contracts:

, In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST),

Albert, Elvira ; Correas, Jesus ; Gordillo, Pablo.. - p. 2-2 , 2020

Link: https://doi.org/10.1109/..

5

GASOL: Gas Analysis and Optimization for Ethereum Smart Con..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Albert, Elvira ; Correas, Jesús ; Gordillo, Pablo.. - p. 118-125 , 2020

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

6

SAFEVM: a safety verifier for Ethereum smart contracts:

, In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Albert, Elvira ; Correas, Jesús ; Gordillo, Pablo.. - p. 386-389 , 2019

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

7

Peak resource analysis of concurrent distributed systems:

Albert, Elvira ; Correas, Jesús ; Román-Díez, Guillermo
Journal of Systems and Software. 149 (2019) - p. 35-62 , 2019

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

8

Parallel Cost Analysis:

Albert, Elvira ; Correas, Jesús ; Johnsen, Einar Broch..
ACM Transactions on Computational Logic. 19 (2018) 4 - p. 1-37 , 2018

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

9

Parallel Cost Analysis:

Albert, Elvira ; Correas, Jesús ; Johnsen, Einar Broch..
ACM Transactions on Computational Logic (TOCL). 19 (2018) 4 - p. 1-37 , 2018

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

10

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

11

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

12

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

13

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

14

Extending the TOY system with the ECLiPSe solver over sets ..:

, In: Proceedings of the 11th international conference on Functional and Logic Programming,

Estévez-Martín, Sonia ; Correas Fernández, Jesús ; Sáenz-Pérez, Fernando - p. 120-135 , 2012

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

15

Extending the $\mathcal{TOY}$ System with the ECL i PS e So..:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Estévez-Martín, Sonia ; Correas Fernández, Jesús ; Sáenz-Pérez, Fernando - p. 120-135 , 2012

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