Search Within

Thomas Wies

Thomas-wies
Email: Thomas.Wies_REMOVE_THIS_@ist.ac.at
Interests:

Results (22)

  • Automating separation logic using SMT
    Conference paper
  • Structural Counter Abstraction
    Conference paper
  • Ideal abstractions for well structured transition systems
    Conference paper
  • Decision procedures for automating termination proofs
    Conference paper
  • Static scheduling in clouds
    Conference paper
  • Forward analysis of depth-bounded processes
    Conference paper