Patrick O'Neil Meredith

According to our database, Patrick O'Neil Meredith authored at least 15 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

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

Proceedings of the Runtime Verification - 6th International Conference, 2015

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

Proceedings of the Runtime Verification - 5th International Conference, 2014

Maximal sound predictive race detection with control flow abstraction.

Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Efficient parametric runtime verification with deterministic string rewriting.

Patrick O'Neil Meredith, Grigore Rosu

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Efficient, expressive, and effective runtime verification

Patrick O'Neil Meredith

PhD thesis, 2012

An overview of the MOP runtime verification framework.

Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu

Int. J. Softw. Tools Technol. Transf., 2012

Security-policy monitoring and enforcement with JavaMOP.

Soha Hussein, Patrick O'Neil Meredith, Grigore Rosu

Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

JavaMOP: Efficient parametric runtime monitoring framework.

Dongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Garbage collection for monitoring parametric properties.

Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Efficient monitoring of parametric context-free patterns.

Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu

Autom. Softw. Eng., 2010

Runtime Verification with the RV System.

Patrick O'Neil Meredith, Grigore Rosu

Proceedings of the Runtime Verification - First International Conference, 2010

A formal executable semantics of Verilog.

Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

2009

Efficient Formalism-Independent Monitoring of Parametric Properties.

Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu

Proceedings of the ASE 2009, 2009

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

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008

Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems.

Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco Caccamo, Grigore Rosu

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008