Search Within

Thomas Wies

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

Results (21)

  • 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