Ivan Perez

Identifiers

• name variant Ivan Perez 0.60 · backfill

Papers (1)

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

Mentions

• 2607.01363 #2 · arxiv_oai · confidence 0.70 Ivan Perez

Frequent Coauthors

• Alwyn E. Goodloe 1 shared papers
• Mike Dodds 1 shared papers
• Robert Dockins 1 shared papers
• Ryan G. Scott 1 shared papers