Multiphase-linear ranking functions and their relation to recurrent sets AM Ben-Amram, JJ Doménech, S Genaim Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 36 | 2019 |
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis JJ Doménech, JP Gallagher, S Genaim Theory and Practice of Logic Programming 19 (5-6), 990-1005, 2019 | 19 | 2019 |
IRankFinder JJ Doménech, S Genaim WST 2018, 83, 2018 | 12 | 2018 |
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools J Doménech, S Genaim, EB Johnsen, R Schlatte Fundamental Approaches to Software Engineering: 20th International …, 2017 | 9 | 2017 |
Control-flow refinement via partial evaluation JJ Doménech, S Genaim, JP Gallagher 16th International Workshop on Termination, 55, 2018 | 2 | 2018 |
Termination Analysis of Programs with Multiphase Control-Flow JJ Domenech, S Genaim arXiv preprint arXiv:2109.04630, 2021 | | 2021 |
Loops for which Multiphase-Linear Ranking Functions are Sufficient AM Ben-Amram, JJ Domenech, S Genaim 17th International Workshop on Termination, 69, 0 | | |
EasyInterface User Manual J Doménech, S Genaim | | |