1. Wei Dou, Domenico Bianculli, and Lionel Briand. OCLR: a more expressive, pattern-based temporal extension of OCL. In Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014), York, United Kingdom, Lecture Notes in Computer Science. Springer, July 2014. Acceptance rate: 28.5% (14/49).

2. Wei Dou, Domenico Bianculli, and Lionel Briand. OCLR: a more expressive, pattern-based temporal extension of OCL. Technical Report TR-SnT-2014-2, SnT Centre - University of Luxembourg, February 2014. [ link ]

3. Wei Dou, Domenico Bianculli, and Lionel Briand. A model-based approach to trace checking of temporal properties with OCL. Technical Report TR-SnT-2014-5, SnT Centre - University of Luxembourg, September 2014. [ link ]

4. Wei Dou, Domenico Bianculli, and Lionel Briand. Revisiting model-driven engineering for run-time verification of business processes. In Proceedings of the 8th System Analysis and Modeling Conference (SAM 2014), Valencia, Spain, Lecture Notes in Computer Science. Springer, September 2014.