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

Results (28)

  • 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