Back
  1. Home
  2. Profile of Wei DOU (Unilu)
Profil

DOU Wei

Main Referenced Co-authors
BIANCULLI, Domenico  (6)
BRIAND, Lionel  (6)
Main Referenced Keywords
OCL (3); model-driven engineering (2); property specification patterns (2); temporal properties (2); trace checking (2);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) (6)
Interdisciplinary Centre for Security, Reliability and Trust (1)
Main Referenced Disciplines
Computer science (7)

Publications (total 7)

The most downloaded
766 downloads
DOU, W., BIANCULLI, D., & BRIAND, L. (2014). A Model-Driven Approach to Offline Trace Checking of Temporal Properties with OCL. (SnT-TR-2014-5). SnT Centre - University of Luxembourg. https://orbilu.uni.lu/handle/10993/16112 https://hdl.handle.net/10993/16112

The most cited

24 citations (Scopus®)

DOU, W., BIANCULLI, D., & BRIAND, L. (2014). OCLR: a More Expressive, Pattern-based Temporal Extension of OCL. In Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014). Springer. https://hdl.handle.net/10993/16017

DOU, W., BIANCULLI, D., & BRIAND, L. (2018). Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications. In Proceedings of the 2018 ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018) (pp. 277-288). New York, United States: ACM. doi:10.1145/3239372.3239396
Peer reviewed

DOU, W., BIANCULLI, D., & BRIAND, L. (2017). TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties. In Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (pp. 64-70). EasyChair.
Peer reviewed

DOU, W. (2016). A Model-Driven Approach to Offline Trace Checking of Temporal Properties [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/29184

DOU, W., BIANCULLI, D., & BRIAND, L. (2014). Revisiting Model-driven Engineering for Run-time Verification of Business Processes. In Proceedings of the 8th System Analysis and Modeling Conference (SAM 2014). Springer.
Peer reviewed

DOU, W., BIANCULLI, D., & BRIAND, L. (2014). OCLR: a More Expressive, Pattern-based Temporal Extension of OCL. In Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014). Springer.
Peer reviewed

DOU, W., BIANCULLI, D., & BRIAND, L. (2014). A Model-Driven Approach to Offline Trace Checking of Temporal Properties with OCL. (SnT-TR-2014-5). SnT Centre - University of Luxembourg. https://orbilu.uni.lu/handle/10993/16112

DOU, W., BIANCULLI, D., & BRIAND, L. (2014). OCLR: a More Expressive, Pattern-based Temporal Extension of OCL. (TR-SnT-2014-2). SnT Centre - University of Luxembourg. https://orbilu.uni.lu/handle/10993/15339

Contact ORBilu