External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Quantitative Monitoring of STL with Edit Distance

Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic. Quantitative Monitoring of STL with Edit Distance. In Yliès Falcone, César Sánchez, editors, Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. Volume 10012 of Lecture Notes in Computer Science, pages 201-218, Springer, 2016. [doi]

Authors

Stefan Jaksic

This author has not been identified. Look up 'Stefan Jaksic' in Google

Ezio Bartocci

This author has not been identified. Look up 'Ezio Bartocci' in Google

Radu Grosu

This author has not been identified. Look up 'Radu Grosu' in Google

Dejan Nickovic

This author has not been identified. Look up 'Dejan Nickovic' in Google
runs on