Results (5)

  • P: Safe asynchronous event-driven programming
    Conference paper
  • Model checking transactional memories
    Conference paper
  • Path invariants
    Conference paper
  • Race checking by context inference
    Conference paper
  • The embedded machine: predictable, portable real-time code
    Conference paper