Brandon M. Moore
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2011–2019
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Towards a Verified Model of the Algorand Consensus Protocol in Coq. | Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Pea, Grigore Rosu |
| 2019 | FM | IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain. | Theodoros Kasampalis, Dwight Guth, Brandon M. Moore, Traian-Florin Serbanuta, Yi Zhang, Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson, Grigore Rosu |
| 2018 | ESOP | Program Verification by Coinduction. | Brandon M. Moore, Lucas Pea, Grigore Rosu |
| 2014 | RV | ROSRV: Runtime Verification for Robots. | Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu |
| 2013 | LICS | One-Path Reachability Logic. | Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon M. Moore |
| 2011 | PPoPP | Thread contracts for safe parallelism. | Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore |