Aaron Jonckheere
Ritam Ganguly
Yingjie Xue
Aaron Jonckheere
Parker Ljung
Benjamin Schornstein
Borzoo Bonakdarpour
Maurice Herlihy
Distributed runtime verification of metric temporal properties.
104801
2024
March
185
J. Parallel Distributed Comput.
https://doi.org/10.1016/j.jpdc.2023.104801
db/journals/jpdc/jpdc185.html#GangulyXJLSBH24
Ritam Ganguly
Yingjie Xue
Aaron Jonckheere
Parker Ljung
Benjamin Schornstein
Borzoo Bonakdarpour
Maurice Herlihy
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols.
23-33
2022
ICDCS
https://doi.org/10.1109/ICDCS54860.2022.00012
conf/icdcs/2022
db/conf/icdcs/icdcs2022.html#GangulyXJLSBH22
Ritam Ganguly
Yingjie Xue
Aaron Jonckheere
Parker Ljung
Benjamin Schornstein
Borzoo Bonakdarpour
Maurice Herlihy
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols.
2022
abs/2204.09796
CoRR
https://doi.org/10.48550/arXiv.2204.09796
db/journals/corr/corr2204.html#abs-2204-09796
Borzoo Bonakdarpour
Ritam Ganguly
Maurice Herlihy
Parker Ljung
Benjamin Schornstein
Yingjie Xue