• 2102 Citations
  • 22 h-Index
20032019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 2003 2019

  • 2102 Citations
  • 22 h-Index
  • 63 Conference contribution
  • 18 Article
  • 2 Patent
  • 1 Chapter
Filter
Chapter
2018
20 Citations (Scopus)

Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications

Bartocci, E., Deshmukh, J., Donzé, A., Fainekos, G., Maler, O., Ničković, D. & Sankaranarayanan, S., Jan 1 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 135-175 41 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10457 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Monitoring
Specification
Specifications
Discrete Event
Formal Verification