Rob Arthan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2008–2014
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ITP | HOL Constant Definition Done Right. | Rob Arthan |
| 2014 | ITP | HOL with Definitions: Semantics, Soundness, and a Verified Implementation. | Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Wei |
| 2008 | CADE | Mechanized Reasoning for Continuous Problem Domains (Invited Talk). | Rob Arthan |