Home // SnT // People // Wei Dou

Wei Dou

Wei Dou
Postal Address Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette

I am a PhD student at the Software Verification and Validation Lab (SVV), at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the  University of Luxembourg . My supervisors are Prof. Lionel Briand and Dr. Domenico Bianculli.

I received my M.Sc. in 2012 from Beihang University, China, under the supervision of Prof. Li Zhang; and my B.Sc. from Jilin University, China, in 2009.

My main research area is software engineering, with specific interests in run-time monitoring of eGovernment business processes.

More details are available on my personal web page.

Last updated on: Tuesday, 10 March 2015

powered by
orbilu.uni.lu

In press

Full Text
See detailTemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (in press)

Top of Page

2016

Top of Page

2014

Full Text
See detailRevisiting Model-driven Engineering for Run-time Verification of Business Processes
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of the 8th System Analysis and Modeling Conference (SAM 2014) (2014, September)

Full Text
See detailOCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014) (2014, July)

Full Text
See detailA Model-Driven Approach to Offline Trace Checking of Temporal Properties with OCL
Dou, Wei; Bianculli, Domenico; Briand, Lionel

Report (2014)

Full Text
See detailOCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Dou, Wei; Bianculli, Domenico; Briand, Lionel

Report (2014)

Top of Page