Brandon M. Moore

According to our database, Brandon M. Moore authored at least 10 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

VLSM: Validating Labelled State Transition and Message Production Systems.

Vlad Zamfir, Mihai Calancea, Denisa Diaconescu, Brandon M. Moore, Karl Palmskog, Traian-Florin Serbanuta, Michael Stay

CoRR, 2022

2019

All-Path Reachability Logic.

Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu

Log. Methods Comput. Sci., 2019

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

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Towards a Verified Model of the Algorand Consensus Protocol in Coq.

Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Program Verification by Coinduction.

Brandon M. Moore, Lucas Peña, Grigore Rosu

Proceedings of the Programming Languages and Systems, 2018

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine.

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, Grigore Rosu

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2016

Coinductive program verification

Brandon M. Moore

PhD thesis, 2016

2014

ROSRV: Runtime Verification for Robots.

Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu

Proceedings of the Runtime Verification - 5th International Conference, 2014

2013

One-Path Reachability Logic.

Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon M. Moore

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2011

Thread contracts for safe parallelism.

Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011