Refine Results
Publications
  1. CAV: Computer Aided Verification (33)
  2. CONCUR: Concurrency Theory (21)
  3. ICALP: Automata, Languages and Programming (14)
  4. EMSOFT: Embedded Software (13)
  5. HSCC: Hybrid Systems - Computation and Control (13)

More Publications

Affiliation
  1. IST Austria (93)
Open access
  1. no (372)
Peer reviewed
  1. no (298)
  2. yes (74)
Invited
  1. no (366)
  2. yes (6)

Results (372)

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