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.

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries

Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace. polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. In George Eleftherakis, Mike Hinchey, Mike Holcombe, editors, Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Volume 7504 of Lecture Notes in Computer Science, pages 218-232, Springer, 2012. [doi]

Authors

Christian Colombo

This author has not been identified. Look up 'Christian Colombo' in Google

Adrian Francalanza

This author has not been identified. Look up 'Adrian Francalanza' in Google

Ruth Mizzi

This author has not been identified. Look up 'Ruth Mizzi' in Google

Gordon J. Pace

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