Patrick O'Neil Meredith

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Mobile Platforms

Computationally Expensive

Security Concerns

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shin'ichi Shiriashi, Akihito Iwai, Grigore Rosu
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. RV (2015)
Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu
Maximal sound predictive race detection with control flow abstraction. PLDI (2014)
Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. RV (2014)
Patrick O'Neil Meredith, Grigore Rosu
Efficient parametric runtime verification with deterministic string rewriting. ASE (2013)
Soha Hussein, Patrick O'Neil Meredith, Grigore Rosu
Security-policy monitoring and enforcement with JavaMOP. PLAS (2012)
Dongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu
JavaMOP: Efficient parametric runtime monitoring framework. ICSE (2012)
Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu
An overview of the MOP runtime verification framework. Int. J. Softw. Tools Technol. Transf. 14 (3) (2012)
Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu
Garbage collection for monitoring parametric properties. PLDI (2011)
Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu
Efficient monitoring of parametric context-free patterns. Autom. Softw. Eng. 17 (2) (2010)
Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu
A formal executable semantics of Verilog. MEMOCODE (2010)
Patrick O'Neil Meredith, Grigore Rosu
Runtime Verification with the RV System. RV (2010)
Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu
Efficient Formalism-Independent Monitoring of Parametric Properties. ASE (2009)
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha
Handling mixed-criticality in SoC-based real-time embedded systems. EMSOFT (2009)
Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu
Efficient Monitoring of Parametric Context-Free Patterns. ASE (2008)
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco Caccamo, Grigore Rosu
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems. RTSS (2008)