default search action
Jesús Correas Fernández
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c22]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT. ISSTA 2024: 1186-1197 - 2023
- [c21]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Inferring Needless Write Memory Accesses on Ethereum Bytecode. TACAS (1) 2023: 448-466 - [i4]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version). CoRR abs/2301.04757 (2023) - 2021
- [j8]Jesús Correas, Pablo Gordillo, Guillermo Román-Díez:
Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis. IEEE Access 9: 25495-25507 (2021) - [j7]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Don't run on fumes - Parametric gas bounds for smart contracts. J. Syst. Softw. 176: 110923 (2021) - 2020
- [c20]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Smart, and also Reliable and Gas-Efficient, Contracts. ICST 2020: 2 - [c19]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. TACAS (2) 2020: 118-125 - [i3]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph. CoRR abs/2004.14437 (2020)
2010 – 2019
- 2019
- [j6]Elvira Albert, Jesús Correas, Guillermo Román-Díez:
Peak resource analysis of concurrent distributed systems. J. Syst. Softw. 149: 35-62 (2019) - [c18]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
SAFEVM: a safety verifier for Ethereum smart contracts. ISSTA 2019: 386-389 - [i2]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
SAFEVM: A Safety Verifier for Ethereum Smart Contracts. CoRR abs/1906.04984 (2019) - [i1]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. CoRR abs/1912.11929 (2019) - 2018
- [j5]Jesús Correas Fernández, Sonia Estévez Martín, Fernando Sáenz-Pérez:
Enhancing set constraint solvers with bound consistency. Expert Syst. Appl. 92: 485-494 (2018) - [j4]Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez:
Parallel Cost Analysis. ACM Trans. Comput. Log. 19(4): 31:1-31:37 (2018) - 2016
- [c17]Elvira Albert, Jesús Correas, Guillermo Román-Díez:
Resource Analysis of Distributed Systems. Theory and Practice of Formal Methods 2016: 33-46 - 2015
- [j3]Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez:
Quantified abstract configurations of distributed systems. Formal Aspects Comput. 27(4): 665-699 (2015) - [j2]Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez:
Object-sensitive cost analysis for concurrent objects. Softw. Test. Verification Reliab. 25(3): 218-271 (2015) - [j1]Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez:
A multi-domain incremental analysis engine and its application to incremental resource analysis. Theor. Comput. Sci. 585: 91-114 (2015) - [c16]Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez:
Resource Analysis: From Sequential to Concurrent and Distributed Programs. FM 2015: 3-17 - [c15]Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez:
Parallel Cost Analysis of Distributed Systems. SAS 2015: 275-292 - [c14]Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez:
Non-cumulative Resource Analysis. TACAS 2015: 85-100 - 2014
- [c13]Elvira Albert, Jesús Correas Fernández, Enrique Martin-Martin, Guillermo Román-Díez:
Static Inference of Transmission Data Sizes in Distributed Systems. ISoLA (2) 2014: 104-119 - [c12]Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez:
Peak Cost Analysis of Distributed Systems. SAS 2014: 18-33 - 2013
- [c11]Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez:
Quantified Abstractions of Distributed Systems. IFM 2013: 285-300 - 2012
- [c10]Sonia Estévez Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez:
Extending the TOY System with the ECLiPSe Solver over Sets of Integers. FLOPS 2012: 120-135 - [c9]Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini:
Automatic Inference of Bounds on Resource Consumption. FMCO 2012: 119-144 - [c8]Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez:
Incremental resource usage analysis. PEPM 2012: 25-34 - 2010
- [c7]Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla:
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. FACS 2010: 218-236
2000 – 2009
- 2008
- [c6]Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo:
A practical type analysis for verification of modular prolog programs. PEPM 2008: 61-70 - 2006
- [c5]Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo:
Context-Sensitive Multivariant Assertion Checking in Modular Programs. LPAR 2006: 392-406 - 2005
- [c4]Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno:
Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR 2005: 163-178 - 2004
- [c3]Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo:
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). PADL 2004: 104-119 - [p1]Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic 2004: 233-260 - 2003
- [c2]Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo:
A Generic Persistence Model for (C)LP Systems. ICLP 2003: 481-482 - 2002
- [c1]Jesús Correas Fernández, Francisco Bueno Carrillo:
A Configuration Framework for Distributed Logic Applications. APPIA-GULP-PRODE 2002: 123-138
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint