Implementing a Distributed Tele-immersive System. - Wanmin Wu; Zhenyu Yang 006; Dongyun Jin; Klara Nahrstedt (ISM, 2008)

Efficient Formalism-Independent Monitoring of Parametric Properties. - Feng Chen 006; Patrick O'Neil Meredith; Dongyun Jin; Grigore Rosu (ASE, 2009)

IMUnit: improved multithreaded unit testing. - Vilas Jagannath; Milos Gligoric 001; Dongyun Jin; Grigore Rosu; Darko Marinov (IWMSE@ICSE, 2010)

Efficient monitoring of parametric context-free patterns. - Patrick O'Neil Meredith; Dongyun Jin; Feng Chen 006; Grigore Rosu (Autom. Softw. Eng., 2010)

Garbage collection for monitoring parametric properties. - Dongyun Jin; Patrick O'Neil Meredith; Dennis Griffith; Grigore Rosu (PLDI, 2011)

Improved multithreaded unit testing. - Vilas Jagannath; Milos Gligoric 001; Dongyun Jin; Qingzhou Luo; Grigore Rosu; Darko Marinov (SIGSOFT FSE, 2011)

JavaMOP: Efficient parametric runtime monitoring framework. - Dongyun Jin; Patrick O'Neil Meredith; Choonghwan Lee; Grigore Rosu (ICSE, 2012)

An overview of the MOP runtime verification framework. - Patrick O'Neil Meredith; Dongyun Jin; Dennis Griffith; Feng Chen 006; Grigore Rosu (Int. J. Softw. Tools Technol. Transf., 2012)

Making runtime monitoring of parametric properties practical - Dongyun Jin (2012)

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 (RV, 2014)