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.

R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software

Chris Johannsen, Phillip H. Jones, Brian Kempa, Kristin Yvonne Rozier, Pei Zhang 0009. R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Volume 13966 of Lecture Notes in Computer Science, pages 483-497, Springer, 2023. [doi]

Authors

Chris Johannsen

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

Phillip H. Jones

This author has not been identified. Look up 'Phillip H. Jones' in Google

Brian Kempa

This author has not been identified. Look up 'Brian Kempa' in Google

Kristin Yvonne Rozier

This author has not been identified. It may be one of the following persons: Look up 'Kristin Yvonne Rozier' in Google

Pei Zhang 0009

This author has not been identified. Look up 'Pei Zhang 0009' in Google
runs on