User contributions
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 04:10, 18 March 2014 (diff | hist) . . (0) . . File:CV clee83.pdf (Clee83 uploaded a new version of "File:CV clee83.pdf") (top)
- 03:26, 11 March 2014 (diff | hist) . . (0) . . File:CV clee83.pdf (Clee83 uploaded a new version of "File:CV clee83.pdf")
- 02:24, 13 December 2013 (diff | hist) . . (+133) . . N Efficient Parametric Runtime Verification with RV-Monitor (Created page with "<private><pubbib id='lee-jin-meredith-serbanuta-luo-rosu-2014-ecoop-submission' template='PubDefaultWithAbstractAndTitle'/></private>") (top)
- 20:09, 6 December 2013 (diff | hist) . . (+52) . . JavaMOPAgent (→The modified AspectJ)
- 19:35, 6 December 2013 (diff | hist) . . (+732) . . JavaMOPAgent (→Prerequisite)
- 06:37, 3 December 2013 (diff | hist) . . (+800) . . JavaMOPAgent (→Automated Procedure)
- 06:31, 3 December 2013 (diff | hist) . . (+123) . . JavaMOPAgent
- 06:29, 3 December 2013 (diff | hist) . . (+1,468) . . JavaMOPAgent
- 06:07, 3 December 2013 (diff | hist) . . (+4,430) . . N JavaMOPAgent (Created page with "= Prerequisite = === RV-Monitor === You can clone it from: git clone https://github.com/runtimeverification/rv-monitor === JavaMOP 4.0 === I believe JavaMOP 3.0 works as w...")
- 00:38, 29 May 2013 (diff | hist) . . (+156) . . N Generating Efficient Runtime Verification Libraries with RV-Monitor (Created page with "<private> == Submitted to RV'13 == <pubbib id='lee-jin-meredith-serbanuta-luo-rosu-2013-rv-submission' template='PubDefaultWithAbstractAndTitle'/></private>") (top)
- 00:38, 29 May 2013 (diff | hist) . . (+142) . . N A Preparation-Free, Comprehensive Runtime Verification Tool for Testing Java Programs (Created page with "<private> == Submitted to RV'13 == <pubbib id='lee-jin-meredith-rosu-2013-rv-submission' template='PubDefaultWithAbstractAndTitle'/></private>") (top)
- 00:37, 29 May 2013 (diff | hist) . . (-124) . . Towards Formalizing the JDK API (top)
- 00:33, 29 May 2013 (diff | hist) . . (+124) . . Towards Formalizing the JDK API
- 18:33, 22 April 2013 (diff | hist) . . (+10) . . Towards Formalizing the JDK API
- 18:04, 22 April 2013 (diff | hist) . . (-11) . . m Towards Formalizing the JDK API
- 18:03, 22 April 2013 (diff | hist) . . (-6) . . m Towards Formalizing the JDK API
- 18:03, 22 April 2013 (diff | hist) . . (+155) . . m Towards Formalizing the JDK API
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)