Brandon M. Moore

13 papers A* 1A 2B 3Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2022 J jnl
VLSM: Validating Labelled State Transition and Message Production Systems.
CoRR
Vlad Zamfir, Mihai Calancea, Denisa Diaconescu, Brandon M. Moore, Karl Palmskog, Traian-Florin Serbanuta, Michael Stay
2019 J jnl
All-Path Reachability Logic.
Log. Methods Comput. Sci.
Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu
2019 B conf
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain.
FM
Theodoros Kasampalis, Dwight Guth, Brandon M. Moore, Traian-Florin Serbanuta, Yi Zhang, Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson, Grigore Rosu
2019 — conf
Towards a Verified Model of the Algorand Consensus Protocol in Coq.
FM Workshops (1)
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
2019 J jnl
Towards a Verified Model of the Algorand Consensus Protocol in Coq.
CoRR
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
2018 J jnl
All-Path Reachability Logic.
CoRR
Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu
2018 A conf
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine.
CSF
Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, Grigore Rosu
2018 A conf
Program Verification by Coinduction.
ESOP
Brandon M. Moore, Lucas Peña, Grigore Rosu
2016 — —
Coinductive program verification
Brandon M. Moore
2014 — conf
All-Path Reachability Logic.
RTA-TLCA
Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu
2014 B conf
ROSRV: Runtime Verification for Robots.
RV
Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu
2013 A* conf
One-Path Reachability Logic.
LICS
Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon M. Moore
2011 B conf
Thread contracts for safe parallelism.
PPoPP
Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore