Refine Results
Publications
  1. CAV: Computer Aided Verification (48)
  2. CONCUR: Concurrency Theory (31)
  3. EMSOFT: Embedded Software (17)
  4. ICALP: Automata, Languages and Programming (16)
  5. HSCC: Hybrid Systems - Computation and Control (15)

More Publications

Affiliation
  1. IST Austria (208)
Peer reviewed
  1. no (352)
  2. yes (144)
Invited
  1. no (489)
  2. yes (7)

Results (496)

  • Probabilistic programming
    Conference paper
  • Compositional specifications for ioco testing
    Conference paper
  • Battery transition systems
    Conference paper
  • Model measuring for hybrid systems
    Conference paper