Refine Results
Publications
  1. CAV: Computer Aided Verification (34)
  2. CONCUR: Concurrency Theory (30)
  3. EMSOFT: Embedded Software (16)
  4. LICS: Logic in Computer Science (15)
  5. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (14)

More Publications

Affiliation
  1. IST Austria (158)
Peer reviewed
  1. no (323)
  2. yes (92)
Invited
  1. no (408)
  2. yes (7)

Results (415)

  • Synchronous interface theories and time triggered scheduling
    Conference paper
  • Ideal abstractions for well structured transition systems
    Conference paper
  • Quantitative reactive models
    Conference paper