 | 2012 |
| 7 |  | 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 |
| 6 |  | Dongyun Jin,
Patrick O'Neil Meredith,
Dennis Griffith,
Grigore Rosu:
Garbage collection for monitoring parametric properties.
PLDI 2011: 415-424 |
| 5 |  | Vilas Jagannath,
Milos Gligoric,
Dongyun Jin,
Qingzhou Luo,
Grigore Rosu,
Darko Marinov:
Improved multithreaded unit testing.
SIGSOFT FSE 2011: 223-233 |
| 2010 |
| 4 |  | 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 |
| 3 |  | Feng Chen,
Patrick O'Neil Meredith,
Dongyun Jin,
Grigore Rosu:
Efficient Formalism-Independent Monitoring of Parametric Properties.
ASE 2009: 383-394 |
| 2008 |
| 2 |  | Patrick O'Neil Meredith,
Dongyun Jin,
Feng Chen,
Grigore Rosu:
Efficient Monitoring of Parametric Context-Free Patterns.
ASE 2008: 148-157 |
| 1 |  | Wanmin Wu,
Zhenyu Yang,
Dongyun Jin,
Klara Nahrstedt:
Implementing a Distributed Tele-immersive System.
ISM 2008: 477-484 |