Brandon M. Moore

According to our database1, Brandon M. Moore authored at least 8 papers between 2011 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
All-Path Reachability Logic.
Log. Methods Comput. Sci., 2019

IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Towards a Verified Model of the Algorand Consensus Protocol in Coq.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018
Program Verification by Coinduction.
Proceedings of the Programming Languages and Systems, 2018

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine.
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2014
ROSRV: Runtime Verification for Robots.
Proceedings of the Runtime Verification - 5th International Conference, 2014

2013
One-Path Reachability Logic.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2011
Thread contracts for safe parallelism.
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011


  Loading...