Sébastien Palumby

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Symbolic Execution

Static Analysis

Top Venues

Publications

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)