Refine Results
Publications
  1. CAV: Computer Aided Verification (8)
  2. NIPS: Neural Information Processing Systems (3)
  3. POPL: Principles of Programming Languages (3)
  4. VMCAI: Verification, Model Checking and Abstract Interpretation (3)
  5. ESOP: European Symposium on Programming (2)

More Publications

Affiliation
  1. IST Austria (51)
Peer reviewed
  1. yes (51)
Invited
  1. no (51)

Results (51)

  • Static scheduling in clouds
    Conference paper