P
Patrick O'Neil Meredith
Researcher at University of Illinois at Urbana–Champaign
Publications - 23
Citations - 1159
Patrick O'Neil Meredith is an academic researcher from University of Illinois at Urbana–Champaign. The author has contributed to research in topics: Runtime verification & Parametric statistics. The author has an hindex of 15, co-authored 23 publications receiving 1083 citations.
Papers
More filters
Journal ArticleDOI
An overview of the MOP runtime verification framework
TL;DR: An overview of the, monitoring oriented programming framework (MOP), and an explanation of parametric trace monitoring and its implementation is given.
Proceedings ArticleDOI
Maximal sound predictive race detection with control flow abstraction
TL;DR: This work presents a sound race detection technique that achieves a provably higher detection capability than existing sound techniques, and formally proves that its formulation achieves the maximal possible detection capability for any sound dynamic race detector with respect to the same input trace under the sequential consistency memory model.
Proceedings ArticleDOI
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems
TL;DR: This work proposes to monitor the runtime behavior of COTS peripherals against their assumed specifications, and implemented as an instance of a generic runtime verification framework, called MOP, which until now has only been used for software monitoring.
Proceedings ArticleDOI
JavaMOP: efficient parametric runtime monitoring framework
TL;DR: Here a demonstration of the only parametric monitoring system that allows multiple differing logical formalisms is given, JavaMOP, which is the most efficient in terms of runtime overhead, and very competitive with respect to memory usage.
Proceedings ArticleDOI
Handling mixed-criticality in SoC-based real-time embedded systems
TL;DR: A new design methodology for SoC that provides strong isolation guarantees to applications with different criticalities, and employs run-time monitoring to formally check all data communication in the system and enforce timing reservations for both computation and communication resources.