TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

5 Citations (Scopus)
Original languageEnglish
Title of host publicationRuntime Verification, Vienna, September 2015
EditorsEzio Bartocci, Rupak Majumdar
PublisherSpringer International Publishing
Pages306-320
ISBN (Print)978-3-319-23819-7
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Keywords

  • monitor Synthesis
  • monotoring
  • timed Automata
  • verification

Cite this