Login / Signup
Amy Stell
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Interval Analysis
Top Venues
FormaliSE@ICSE
Arch. Formal Proofs
FM
</>
Publications
</>
Achim D. Brucker
,
Amy Stell
(Extended) Interval Analysis.
Arch. Formal Proofs
2024 (2024)
Achim D. Brucker
,
Teddy Cameron-Burke
,
Amy Stell
Formally Verified Interval Arithmetic and Its Application to Program Verification.
FormaliSE@ICSE
(2024)
Achim D. Brucker
,
Amy Stell
Verifying Feedforward Neural Networks for Classification in Isabelle/HOL.
FM
(2023)