Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems. - Rodolfo Pellizzoni; Patrick O'Neil Meredith; Marco Caccamo; Grigore Rosu (RTSS, 2008)

Handling mixed-criticality in SoC-based real-time embedded systems. - Rodolfo Pellizzoni; Patrick O'Neil Meredith; Min-Young Nam; Mu Sun; Marco Caccamo; Lui Sha (EMSOFT, 2009)

Efficient Formalism-Independent Monitoring of Parametric Properties. - Feng Chen 006; Patrick O'Neil Meredith; Dongyun Jin; Grigore Rosu (ASE, 2009)

A formal executable semantics of Verilog. - Patrick O'Neil Meredith; Michael Katelman; José Meseguer 001; Grigore Rosu (MEMOCODE, 2010)

Runtime Verification with the RV System. - Patrick O'Neil Meredith; Grigore Rosu (RV, 2010)

Efficient monitoring of parametric context-free patterns. - Patrick O'Neil Meredith; Dongyun Jin; Feng Chen 006; Grigore Rosu (Autom. Softw. Eng., 2010)

Garbage collection for monitoring parametric properties. - Dongyun Jin; Patrick O'Neil Meredith; Dennis Griffith; Grigore Rosu (PLDI, 2011)

JavaMOP: Efficient parametric runtime monitoring framework. - Dongyun Jin; Patrick O'Neil Meredith; Choonghwan Lee; Grigore Rosu (ICSE, 2012)

Security-policy monitoring and enforcement with JavaMOP. - Soha Hussein; Patrick O'Neil Meredith; Grigore Rosu (PLAS, 2012)

An overview of the MOP runtime verification framework. - Patrick O'Neil Meredith; Dongyun Jin; Dennis Griffith; Feng Chen 006; Grigore Rosu (Int. J. Softw. Tools Technol. Transf., 2012)

Efficient, expressive, and effective runtime verification - Patrick O'Neil Meredith (2012)

Efficient parametric runtime verification with deterministic string rewriting. - Patrick O'Neil Meredith; Grigore Rosu (ASE, 2013)

Maximal sound predictive race detection with control flow abstraction. - Jeff Huang 001; Patrick O'Neil Meredith; Grigore Rosu (PLDI, 2014)

RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. - Qingzhou Luo; Yi Zhang; Choonghwan Lee; Dongyun Jin; Patrick O'Neil Meredith; Traian-Florin Serbanuta; Grigore Rosu (RV, 2014)

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. - Philip Daian; Yliès Falcone; Patrick O'Neil Meredith; Traian-Florin Serbanuta; Shinichi Shiraishi; Akihito Iwai; Grigore Rosu (RV, 2015)