Patrick O'Neil Meredith
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2008–2015
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | RV | RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. | Philip Daian, Ylis Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu |
| 2014 | PLDI | Maximal sound predictive race detection with control flow abstraction. | Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu |
| 2014 | RV | 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 |
| 2012 | ICSE | JavaMOP: Efficient parametric runtime monitoring framework. | Dongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu |
| 2012 | PLDI | Security-policy monitoring and enforcement with JavaMOP. | Soha Hussein, Patrick O'Neil Meredith, Grigore Rosu |
| 2011 | PLDI | Garbage collection for monitoring parametric properties. | Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu |
| 2010 | MEMOCODE | A formal executable semantics of Verilog. | Patrick O'Neil Meredith, Michael Katelman, Jos Meseguer, Grigore Rosu |
| 2010 | RV | Runtime Verification with the RV System. | Patrick O'Neil Meredith, Grigore Rosu |
| 2009 | EMSOFT | 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 |
| 2008 | RTSS | Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems. | Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco Caccamo, Grigore Rosu |