Refine Results
Publications
  1. CAV: Computer Aided Verification (12)
  2. CONCUR: Concurrency Theory (10)
  3. ACM Transactions on Computational Logic (TOCL) (6)
  4. POPL: Principles of Programming Languages (6)
  5. VMCAI: Verification, Model Checking and Abstract Interpretation (6)

More Publications

Affiliation
  1. IST Austria (153)
Peer reviewed
  1. yes (89)
  2. no (64)
Invited
  1. no (153)

Results (153)

  • Monitoring temporal logic with clock variables
    Conference paper
  • Space-time interpolants
    Conference paper
  • A theory of register monitors
    Conference paper