Refine Results
Years
  1. 2008 (27)
Open access
  1. no (27)
Peer reviewed
  1. no (27)
Invited
  1. no (27)

Results (27)

  • Valigator: A verification tool with bound and invariant generation
    Conference paper
  • Timed parity games: complexity and robustness
    Conference paper
  • Permissiveness in transactional memories
    Conference paper