 | 2012 |
| 9 |  | Patrick O'Neil Meredith,
Dongyun Jin,
Dennis Griffith,
Feng Chen,
Grigore Rosu:
An overview of the MOP runtime verification framework.
STTT 14(3): 249-289 (2012) |
| 2011 |
| 8 |  | Dongyun Jin,
Patrick O'Neil Meredith,
Dennis Griffith,
Grigore Rosu:
Garbage collection for monitoring parametric properties.
PLDI 2011: 415-424 |
| 2010 |
| 7 |  | Patrick O'Neil Meredith,
Michael Katelman,
José Meseguer,
Grigore Rosu:
A formal executable semantics of Verilog.
MEMOCODE 2010: 179-188 |
| 6 |  | Patrick O'Neil Meredith,
Grigore Rosu:
Runtime Verification with the RV System.
RV 2010: 136-152 |
| 5 |  | Patrick O'Neil Meredith,
Dongyun Jin,
Feng Chen,
Grigore Rosu:
Efficient monitoring of parametric context-free patterns.
Autom. Softw. Eng. 17(2): 149-180 (2010) |
| 2009 |
| 4 |  | Feng Chen,
Patrick O'Neil Meredith,
Dongyun Jin,
Grigore Rosu:
Efficient Formalism-Independent Monitoring of Parametric Properties.
ASE 2009: 383-394 |
| 3 |  | 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: 235-244 |
| 2008 |
| 2 |  | Patrick O'Neil Meredith,
Dongyun Jin,
Feng Chen,
Grigore Rosu:
Efficient Monitoring of Parametric Context-Free Patterns.
ASE 2008: 148-157 |
| 1 |  | Rodolfo Pellizzoni,
Patrick O'Neil Meredith,
Marco Caccamo,
Grigore Rosu:
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems.
IEEE Real-Time Systems Symposium 2008: 481-491 |