Robert Dockins

Identifiers

• name variant Robert Dockins 0.60 · backfill

Papers (1)

1. Trustworthy Runtime Verification via Bisimulation (Extended Experience Report) cs.PL · 2026 · author #5

Mentions

• 2607.01363 #5 · arxiv_oai · confidence 0.70 Robert Dockins

Frequent Coauthors

• Alwyn E. Goodloe 1 shared papers
• Ivan Perez 1 shared papers
• Mike Dodds 1 shared papers
• Ryan G. Scott 1 shared papers