 | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page