Refine Results
Years
  1. 2008 (19)
Open access
  1. no (19)
Peer reviewed
  1. no (18)
  2. yes (1)
Invited
  1. no (19)

Results (19)

  • 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