M. Ali Dorosty

Identifiers

• name variant M. Ali Dorosty 0.60 · backfill

Papers (1)

1. Decentralized Runtime Verification for LTL Properties Using Global Clock cs.DC · 2019 · author #1

Mentions

• 1912.07365 #1 · arxiv_oai · confidence 0.70 M. Ali Dorosty

Frequent Coauthors

• Ehsan Khamespanah 1 shared papers
• Fathiyeh Faghih 1 shared papers