University home | Studying | Research | Business and community | Working here | Alumni and supporters | Our departments | Visiting us | About us

• Homepage
• Key Information
  • Almanac
  • Building Access
  • Building Maps
  • College Policies
  • College Structure
  • Key Academic Roles
  • Academic Groups
  • Key Professional Service Contacts
  • Staff Profiles
    • Academic Staff
    • Research Staff
    • Postgraduate Research Students
    • Professional Services Staff
    • Honorary Staff and Visitors
    • All Staff
  • Events and Colloquia
  • Useful Links
• Students
• Staff
• PGR
• Health and Safety
• Computer Support
• National Student Survey (NSS)
• Intranet Help

Amy Stell

Publications

_{Copyright Notice: Any articles made available for download are for personal use only. Any other use requires prior permission of the author and the copyright holder.}

| 2024 | 2023 |

2024

• Brucker AD, Cameron-burke T, Stell A. (2024) Formally Verified Interval Arithmetic and Its Application to Program Verification, FormaliSE 2024, Lisbon, Portugal, 14th - 15th Apr 2024, 13th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE 2024), DOI:10.1145/3644033.3644370.
• Brucker AD, Stell A. (2024) (Extended) Interval Analysis, Archive of Formal Proofs. [PDF]

2023

• Brucker AD, Stell A. (2023) Verifying Feedforward Neural Networks for Classification in Isabelle/HOL, Formal Methods (FM 2023), Springer. [PDF]

Showing 3 publications from Symplectic.