Louis Rustenholz

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Static Analysis

Top Venues

Publications

Louis Rustenholz, Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García
A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs. CoRR (2024)
Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. CoRR (2024)
Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
Static Analysis of ReLU Neural Networks with Tropical Polyhedra. SAS (2021)
Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
Static analysis of ReLU neural networks with tropical polyhedra. CoRR (2021)