DuanZhenhua

Transformation from business process models to BPEL with overlapped patterns involved

ZhangMan, DuanZhenhua, LiQingshan, 2016 .

Framed temporal logic programming

DuanZhenhua, YangXiaoxiao, KoutnyMaciej, 2008 .

Linear time-dependent constraints programming with MSVL

DuanZhenhua, MaQian, 2014 .

Differential Testing of Certificate Validation in SSL/TLS Implementations

ZhaoLiang, DuanZhenhua, TianCong, 2019 .

Verification of distributed systems with the axiomatic system of MSVL

DuanZhenhua, ZhangNan, MaQian, 2015 .

A canonical form based decision procedure and model checking approach for propositional projection temporal logic

DuanZhenhua, ZhangNan, TianCong, 2016 .