• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties.

Qingzhou LuoYi ZhangChoonghwan LeeDongyun JinPatrick O'Neil MeredithTraian-Florin SerbanutaGrigore Rosu
Published in: RV (2014)
Keyphrases
  • real time
  • neural network
  • computationally expensive
  • information retrieval
  • information systems
  • website
  • clustering algorithm
  • learning environment
  • expert systems
  • hidden markov models
  • lightweight