Refine Results
Affiliation
  1. IST Austria (7)
Peer reviewed
  1. no (8)
  2. yes (6)
Invited
  1. no (14)

Results (14)

  • Compositional specifications for ioco testing
    Conference paper
  • Synchronous interface theories and time triggered scheduling
    Conference paper
  • From MTL to deterministic timed automata
    Conference paper
  • Robustness of sequential circuits
    Conference paper
  • AMT: a property-based monitoring tool for analog systems
    Conference paper