Refine Results
Publications
  1. CAV: Computer Aided Verification (26)
  2. CONCUR: Concurrency Theory (21)
  3. EMSOFT: Embedded Software (13)
  4. ICALP: Automata, Languages and Programming (12)
  5. HSCC: Hybrid Systems - Computation and Control (10)

More Publications

Affiliation
  1. IST Austria (42)
Open access
  1. no (298)
Peer reviewed
  1. no (298)
Invited
  1. no (293)
  2. yes (5)

Results (298)

  • Battery transition systems
    Conference paper
  • Automating separation logic using SMT
    Conference paper