Dongyun Jin

According to our database, Dongyun Jin authored at least 10 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

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

Proceedings of the Runtime Verification - 5th International Conference, 2014

2012

Making runtime monitoring of parametric properties practical

Dongyun Jin

PhD thesis, 2012

An overview of the MOP runtime verification framework.

Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu

Int. J. Softw. Tools Technol. Transf., 2012

JavaMOP: Efficient parametric runtime monitoring framework.

Dongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Improved multithreaded unit testing.

Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Garbage collection for monitoring parametric properties.

Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Efficient monitoring of parametric context-free patterns.

Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu

Autom. Softw. Eng., 2010

IMUnit: improved multithreaded unit testing.

Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

2009

Efficient Formalism-Independent Monitoring of Parametric Properties.

Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu

Proceedings of the ASE 2009, 2009

2008

Implementing a Distributed Tele-immersive System.

Wanmin Wu, Zhenyu Yang, Dongyun Jin, Klara Nahrstedt

Proceedings of the Tenth IEEE International Symposium on Multimedia (ISM2008), 2008