Wei Dou

According to our database, Wei Dou authored at least 6 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications.

Wei Dou, Domenico Bianculli, Lionel C. Briand

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

2017

TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties.

Wei Dou, Domenico Bianculli, Lionel C. Briand

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties.

Wei Dou, Domenico Bianculli, Lionel C. Briand

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016

A Model-Driven Approach to Offline Trace Checking of Temporal Properties.

Wei Dou

PhD thesis, 2016

2014

Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes.

Wei Dou, Domenico Bianculli, Lionel C. Briand

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL.

Wei Dou, Domenico Bianculli, Lionel C. Briand

Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014