Jesús Doménech

According to our database, Jesús Doménech authored at least 4 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Termination Analysis of Programs with Multiphase Control-Flow.

Jesús J. Doménech, Samir Genaim

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

2019

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis.

Jesús J. Doménech, John P. Gallagher, Samir Genaim

Theory Pract. Log. Program., 2019

Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets.

Amir M. Ben-Amram, Jesús J. Doménech, Samir Genaim

Proceedings of the Static Analysis - 26th International Symposium, 2019

2017

EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools.

Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte

Proceedings of the Fundamental Approaches to Software Engineering, 2017