| An overview of the MOP runtime verification framework PON Meredith, D Jin, D Griffith, F Chen, G Roşu International Journal on Software Tools for Technology Transfer 14 (3), 249-289, 2012 | 322 | 2012 |
| JavaMOP: Efficient parametric runtime monitoring framework D Jin, PON Meredith, C Lee, G Roşu Proceedings of the 34th International Conference on Software Engineering …, 2012 | 137 | 2012 |
| RV-Monitor: Efficient parametric runtime verification with simultaneous properties Q Luo, Y Zhang, C Lee, D Jin, PON Meredith, TF Şerbănuţă, G Roşu International Conference on Runtime Verification, 285-300, 2014 | 91 | 2014 |
| Efficient monitoring of parametric context-free patterns PON Meredith, D Jin, F Chen, G Roşu Automated Software Engineering 17 (2), 149-180, 2010 | 86 | 2010 |
| Improved multithreaded unit testing V Jagannath, M Gligoric, D Jin, Q Luo, G Rosu, D Marinov Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 71 | 2011 |
| Efficient formalism-independent monitoring of parametric properties F Chen, PON Meredith, D Jin, G Rosu Proceedings of the 2009 IEEE/ACM International Conference on Automated …, 2009 | 49 | 2009 |
| Garbage collection for monitoring parametric properties D Jin, PON Meredith, D Griffith, G Rosu ACM SIGPLAN Notices 46 (6), 415-424, 2011 | 46 | 2011 |
| Towards categorizing and formalizing the JDK API C Lee, D Jin, PON Meredith, G Rosu | 27 | 2012 |
| Monitoring oriented programming-a project overview F Chen, D Jin, P Meredith, G Rosu Proceedings of the Fourth International Conference on Intelligent Computing …, 2009 | 20 | 2009 |
| Scalable parametric runtime monitoring D Jin, PON Meredith, G Rosu | 15 | 2012 |
| Identifying and recommending potential uses of computing systems based on their patterns of use Y Song, D Cheng, S Kalasapur, D Jin US Patent 8,032,468, 2011 | 15 | 2011 |
| Identifying and recommending potential uses of computing systems based on their patterns of use Y Song, D Cheng, S Kalasapur, D Jin US Patent App. 12/106,163, 2009 | 15 | 2009 |
| Making runtime monitoring of parametric properties practical D Jin University of Illinois at Urbana-Champaign, 2012 | 10 | 2012 |
| IMUnit: improved multithreaded unit testing V Jagannath, M Gligoric, D Jin, G Rosu, D Marinov Proceedings of the 3rd International Workshop on Multicore Software …, 2010 | 9 | 2010 |
| Porting the xen hypervisor to arm M LeMay, D Jin, S Reddy, B Schoudel Technical Report in UIUC, 2009 | 2 | 2009 |
| Efficient Formalism-Independent Monitoring of Parametric Properties (Extended Version F Chen, D Jin, PO Meredith | 2 | 2008 |
| An overview of monitoring oriented programming PO Meredith, D Jin, D Griffith, F Chen, G Rosu Journal on Software Tools for Technology Transfer (to appear, 2011), 2011 | 1 | 2011 |
| Session 7a: Singular Topics-Session Chair: Vikram Adve (University of Illinois at Urbana-Champaign)-Garbage Collection for Monitoring Parametric Properties D Jin, P O'Neil Meredith, D Griffith, G Roşu SIGPLAN Notices 46 (6), 415, 2011 | | 2011 |
