Parker Ljung

According to our database¹, Parker Ljung authored at least 2 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Distributed runtime verification of metric temporal properties.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., March, 2024

2022

Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022