James Tobler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2025–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Generating Rely-Guarantee Conditions with the Conditional-Writes Domain. | James Tobler, Graeme Smith |
| 2026 | TACAS | Data Structure Analysis for Binaries. | Sadra Bayat Tork, Nicholas Coughlin, Alicia Michael, James Tobler, Kirsten Winter |
| 2025 | CAV | A Formally Verified Robustness Certifier for Neural Networks. | James Tobler, Hira Taqdees Syeda, Toby Murray |