Refine Results
Publications
  1. CAV: Computer Aided Verification (5)
  2. POPL: Principles of Programming Languages (4)
  3. ACM Transactions on Computational Logic (TOCL) (3)
  4. FORMATS: Formal Modeling and Analysis of Timed Systems (3)
  5. Formal Methods in System Design (3)

More Publications

Affiliation
  1. IST Austria (93)
Open access
  1. no (93)
Peer reviewed
  1. yes (51)
  2. no (42)
Invited
  1. no (89)
  2. yes (4)

Results (93)

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