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

More Publications

Affiliation
  1. IST Austria (75)
Peer reviewed
  1. yes (51)
  2. no (25)
Invited
  1. no (76)

Results (76)

  • Automating separation logic using SMT
    Conference paper
  • P: Safe asynchronous event-driven programming
    Conference paper
  • Stable length estimates of tube-like shapes
    Conference paper
  • Controllable-choice message sequence graphs
    Conference paper
  • Structural Counter Abstraction
    Conference paper
  • Quantitative abstraction refinement
    Conference paper