Refine Results
Publications
  1. CAV: Computer Aided Verification (10)
  2. CONCUR: Concurrency Theory (6)
  3. POPL: Principles of Programming Languages (5)
  4. EMSOFT: Embedded Software (4)
  5. VMCAI: Verification, Model Checking and Abstract Interpretation (4)

More Publications

Affiliation
  1. IST Austria (90)
Peer reviewed
  1. no (90)
Invited
  1. no (90)

Results (90)

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