OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL. - Wei Dou 001; Domenico Bianculli; Lionel C. Briand (ECMFA, 2014)

Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes. - Wei Dou 001; Domenico Bianculli; Lionel C. Briand (SAM, 2014)

A Model-Driven Approach to Offline Trace Checking of Temporal Properties. - Wei Dou 001 (2016)

A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties. - Wei Dou 001; Domenico Bianculli; Lionel C. Briand (MoDELS, 2017)

TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties. - Wei Dou 001; Domenico Bianculli; Lionel C. Briand (RV-CuBES, 2017)

Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications. - Wei Dou 001; Domenico Bianculli; Lionel C. Briand (MoDELS, 2018)