![Photo of](http://intranet.exeter.ac.uk/emps/includes/staff_profiles_api/userimage_blank.gif)
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
- 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]