Jesús Correas Fernández

Publication Activity (10 Years)

Years Active: 2002-2018
Publications (10 Years): 5

Top Topics

Constraint Solvers

Distributed Systems

Individual Objects

Top Venues

Formal Aspects Comput.

Softw. Test. Verification Reliab.

Publications

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 (2018)
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 (2015)
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) (2015)
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) (2015)
Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez
Non-cumulative Resource Analysis. TACAS (2015)
Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez
Peak Cost Analysis of Distributed Systems. SAS (2014)
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)
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)
Jesús Correas Fernández, Francisco Bueno Carrillo
A Configuration Framework for Distributed Logic Applications. APPIA-GULP-PRODE (2002)