Refine Results
Publications
  1. CAV: Computer Aided Verification (52)
  2. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (17)
  3. ICALP: Automata, Languages and Programming (16)
  4. HSCC: Hybrid Systems - Computation and Control (15)
  5. Formal Methods in System Design (11)

More Publications

Affiliation
  1. IST Austria (123)
Peer reviewed
  1. no (175)
  2. yes (81)
Invited
  1. no (253)
  2. yes (3)

Results (256)

  • 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