Grant O. Passmore
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ITP | A Certified Proof Checker for Deep Neural Network Verification in Imandra. | Remi Desmartin, Omri Isac, Grant O. Passmore, Ekaterina Komendantskaya, Kathrin Stark, Guy Katz |
| 2023 | LOPSTR | Towards a Certified Proof Checker for Deep Neural Network Verification. | Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz |
| 2022 | CAV | Neural Networks in Imandra: Matrix Representation as a Verification Choice. | Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya |
| 2022 | PPDP | CheckINN: Wide Range Neural Network Verification in Imandra. | Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt |
| 2020 | CADE | The Imandra Automated Reasoning System (System Description). | Grant O. Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto |
| 2018 | SYNASC | Compositional Taylor Model Based Validated Integration. | Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger |