Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Román Díez, Roberto
25  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
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

When COSTA Met KeY: Verified Cost Bounds:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,
Albert, Elvira ; Genaim, Samir ; Merayo, Alicia. - p. 19-37 , 2022
Link: https://doi.org/10.1007/..
 
?
3

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

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

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

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

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

Modular Big Data Applications for Energy Services in Buildi..:

, In: Learning and Analytics in Intelligent Systems; Machine Learning Applications for Intelligent Energy Management,
Hernández Moral, Gema ; Serna González, Víctor Iván ; Sanz Jimeno, Roberto... - p. 53-103 , 2024
Link: https://doi.org/10.1007/..
 
?
9

Contributors:

, In: Chronic Kidney Disease in Disadvantaged Populations,
Agodoa, Lawrence Y. ; Ahmed, Ejaz ; Akhtar, Fazal... - p. xiii-xv , 2017
Link: https://doi.org/10.1016/..
 
?
10

Electronic Health Records in a Tele-Ophthalmologic Applicat..:

, In: Biocomputation and Biomedical Informatics; Advances in Bioinformatics and Biomedical Engineering,
de la Torre Díez, Isabel ; Sánchez, Roberto Hornero ; Coronado, Miguel López. - p. 89-105 , 2010
Link: https://doi.org/10.4018/..
 
?
11

Coal tar:

, In: New Trends in Coal Conversion,
Diez, María Antonia ; Garcia, Roberto - p. 439-487 , 2019
Link: https://doi.org/10.1016/..
 
?
12

List of contributors:

, In: New Trends in Coal Conversion,
Alonso-Fariñas, Bernabé ; Babich, Alexander ; Baena-Moreno, Francisco M.... - p. xi-xii , 2019
Link: https://doi.org/10.1016/..
 
?
13

List of Contributors:

, In: Hybrid Polymer Composite Materials,
Abdul Khalil, H.P.S. ; Amico, Sandro Campos ; Ashori, Alireza... - p. ix-xi , 2017
Link: https://doi.org/10.1016/..
 
?
14

Contributors:

, In: Natural Plant Products in Inflammatory Bowel Diseases,
Algieri, Francesca ; Almeida-Junior, Luiz Domingues de ; Alves, Mariana da Rocha... - p. ix-xi , 2023
Link: https://doi.org/10.1016/..
 
?
15

Urban Intelligence: Toward the Digital Twin of Matera and C..:

, In: 2022 Workshop on Blockchain for Renewables Integration (BLORIN),
Castelli, Giordana ; Cesta, Amedeo ; Ciampi, Mario... - p. 132-137 , 2022
Link: https://doi.org/10.1109/..
 
1-15