Dongyun Jin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2008–2014
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | RV | 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 |
| 2012 | ICSE | JavaMOP: Efficient parametric runtime monitoring framework. | Dongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu |
| 2011 | PLDI | Garbage collection for monitoring parametric properties. | Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu |
| 2010 | ICSE | IMUnit: improved multithreaded unit testing. | Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov |
| 2008 | ISM | Implementing a Distributed Tele-immersive System. | Wanmin Wu, Zhenyu Yang, Dongyun Jin, Klara Nahrstedt |