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

HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams.

Felipe GorostiagaCésar Sánchez
Published in: FM (2021)
Keyphrases
  • real time
  • event streams
  • complex event processing
  • event driven
  • episode mining
  • object oriented
  • model checking
  • high volume
  • event processing
  • data model
  • database
  • data sets
  • image sequences
  • stream processing