Dongyun Jin

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Computationally Expensive

Information Retrieval

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. RV (2014)
Dongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu
JavaMOP: Efficient parametric runtime monitoring framework. ICSE (2012)
Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu
An overview of the MOP runtime verification framework. Int. J. Softw. Tools Technol. Transf. 14 (3) (2012)
Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov
Improved multithreaded unit testing. SIGSOFT FSE (2011)
Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu
Garbage collection for monitoring parametric properties. PLDI (2011)
Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu
Efficient monitoring of parametric context-free patterns. Autom. Softw. Eng. 17 (2) (2010)
Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov
IMUnit: improved multithreaded unit testing. IWMSE@ICSE (2010)
Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu
Efficient Formalism-Independent Monitoring of Parametric Properties. ASE (2009)
Wanmin Wu, Zhenyu Yang, Dongyun Jin, Klara Nahrstedt
Implementing a Distributed Tele-immersive System. ISM (2008)
Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu
Efficient Monitoring of Parametric Context-Free Patterns. ASE (2008)