Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mark Reynolds
conf.researchr.org general profile
ICSE 2019 profile
ISSTA 2019 profile
Registered user since Fri 22 Mar 2019
Name:
Mark Reynolds
Affiliation:
The Univeristy of Western Australia
Contributions
2019
SPIN
Author of A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table within the 26th International SPIN Symposium on Model Checking of Software-track
FormaliSE
Author of Epistemic Model Checking of Distributed Commit Protocols with Byzantine faults within the FormaliSE 2019-track
Share
x
Thu 3 Oct 22:13