C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Louis Rustenholz
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Symbolic Execution
Neural Network
Static Analysis
Malicious Code
Top Venues
CoRR
SAS
</>
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)