Refine Results
Publications
  1. CAV: Computer Aided Verification (52)
  2. CONCUR: Concurrency Theory (32)
  3. EMSOFT: Embedded Software (17)
  4. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (17)
  5. ICALP: Automata, Languages and Programming (16)

More Publications

Affiliation
  1. IST Austria (246)
Peer reviewed
  1. no (355)
  2. yes (176)
Invited
  1. no (523)
  2. yes (8)

Results (531)

  • Online timed pattern matching using automata
    Conference paper
  • Monitoring temporal logic with clock variables
    Conference paper
  • Layered Concurrent Programs
    Conference paper
  • Space-time interpolants
    Conference paper
  • The compound interest in relaxing punctuality
    Conference paper
  • A theory of register monitors
    Conference paper