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.

Runtime Verification at Work: A Tutorial

Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu. Runtime Verification at Work: A Tutorial. 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 46-67, Springer, 2016. [doi]

Authors

Philip Daian

This author has not been identified. Look up 'Philip Daian' in Google

Dwight Guth

This author has not been identified. Look up 'Dwight Guth' in Google

Chris Hathhorn

This author has not been identified. Look up 'Chris Hathhorn' in Google

Yilong Li

This author has not been identified. Look up 'Yilong Li' in Google

Edgar Pek

This author has not been identified. Look up 'Edgar Pek' in Google

Manasvi Saxena

This author has not been identified. Look up 'Manasvi Saxena' in Google

Traian-Florin Serbanuta

This author has not been identified. Look up 'Traian-Florin Serbanuta' in Google

Grigore Rosu

This author has not been identified. It may be one of the following persons: Look up 'Grigore Rosu' in Google
runs on