Refine Results
Publications
  1. CAV: Computer Aided Verification (22)
  2. CONCUR: Concurrency Theory (12)
  3. VMCAI: Verification, Model Checking and Abstract Interpretation (8)
  4. POPL: Principles of Programming Languages (7)
  5. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (7)

More Publications

Affiliation
  1. IST Austria (171)
Peer reviewed
  1. yes (95)
  2. no (76)
Invited
  1. no (171)

Results (171)

  • Monitoring temporal logic with clock variables
    Conference paper
  • Space-time interpolants
    Conference paper
  • The compound interest in relaxing punctuality
    Conference paper
  • A theory of register monitors
    Conference paper