Login / Signup
Aaron Jonckheere
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Temporal Properties
Multi Party
Distributed Environment
Possibility Theory
Top Venues
CoRR
ICDCS
J. Parallel Distributed Comput.
</>
Publications
</>
Ritam Ganguly
,
Yingjie Xue
,
Aaron Jonckheere
,
Parker Ljung
,
Benjamin Schornstein
,
Borzoo Bonakdarpour
,
Maurice Herlihy
Distributed runtime verification of metric temporal properties.
J. Parallel Distributed Comput.
185 (2024)
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.
ICDCS
(2022)
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.
CoRR
(2022)