Browsing by Author Dong, Jin Song

Showing results 1 to 8 of 8
Issue DateTitleAuthor(s)
2020Automated synthesis of local time requirement for service compositionAndré, Étienne; Tan, Tian Huat; Chen, Manman; Liu, Shuang; Sun, Jun; Liu, Yang; Dong, Jin Song
2015From verified model to executable program: the PAT approachZhu, Huiquan; Sun, Jing; Dong, Jin Song; Lin, Shang-Wei
 2012Model checking software architecture designZhang, Jiexin; Liu, Yang; Sun, Jing; Dong, Jin Song; Sun, Jun
 2018Towards model checking android applicationsBai, Guangdong; Ye, Quanqi; Wu, Yongzheng; Botha, Heila; Sun, Jun; Liu, Yang; Dong, Jin Song; Visser, Willem
 2013Towards verification of computation orchestrationDong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian
 2012Using monterey phoenix to formalize and verify system architecturesZhang, Jiexin; Liu, Yang; Auguston, Mikhail; Sun, Jun; Dong, Jin Song
 2018A UTP semantics for communicating processes with shared variables and its formal encoding in PVSShi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao
 2013Verifying linearizability via optimized refinement checkingDong, Jin Song; Liu, Yanhong A.; Zhang, Shao Jie; Sun, Jun; Liu, Yang; Chen, Wei