Refine Results
Affiliation
  1. IST Austria (16)
Peer reviewed
  1. no (12)
  2. yes (5)
Invited
  1. no (17)

Results (17)

  • A logic-based framework for verifying consensus algorithms
    Conference paper
  • Automating separation logic using SMT
    Conference paper
  • P: Safe asynchronous event-driven programming
    Conference paper
  • Structural Counter Abstraction
    Conference paper
  • Ideal abstractions for well structured transition systems
    Conference paper