Results (16)

  • Quantitative evaluation of BFT protocols
    Conference paper
  • Static scheduling in clouds
    Conference paper
  • Transactions in the jungle
    Conference paper
  • Runtime verification for software transactional memories
    Conference paper