Towards verification of computation orchestration by Dong, Jin Song, Liu, Yang, Sun, Jun, Zhang, Xian

Get full text
Get full text

From verified model to executable program: the PAT approach by Zhu, Huiquan, Sun, Jing, Dong, Jin Song, Lin, Shang-Wei

Get full text
Get full text

A formal specification and verification framework for timed security protocols by Li, Li, Sun, Jun, Liu, Yang, Sun, Meng, Dong, Jin-Song

Get full text

Using monterey phoenix to formalize and verify system architectures by Zhang, Jiexin, Liu, Yang, Auguston, Mikhail, Sun, Jun, Dong, Jin Song

Get full text
Get full text

Model checking software architecture design by Zhang, Jiexin, Liu, Yang, Sun, Jing, Dong, Jin Song, Sun, Jun

Get full text
Get full text

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS by Shi, Ling, Zhao, Yongxin, Liu, Yang, Sun, Jun, Dong, Jin Song, Qin, Shengchao

Get full text

Verifying linearizability via optimized refinement checking by Dong, Jin Song, Liu, Yanhong A., Zhang, Shao Jie, Sun, Jun, Liu, Yang, Chen, Wei

Get full text
Get full text

Automated synthesis of local time requirement for service composition by André, Étienne, Tan, Tian Huat, Chen, Manman, Liu, Shuang, Sun, Jun, Liu, Yang, Dong, Jin Song

Get full text

Towards model checking android applications by Bai, Guangdong, Ye, Quanqi, Wu, Yongzheng, Botha, Heila, Sun, Jun, Liu, Yang, Dong, Jin Song, Visser, Willem

Get full text

Inhibitory Effects of β-caryophyllene on Helicobacter pylori Infection: A Randomized Double-blind, Placebo-controlled Study by Hyun Ik Shim, Dong Jin Song, Cheol Min Shin, Hyuk Yoon, Young Soo Park, Nayoung Kim, Dong Ho Lee

Get full text

Development of Koreans Gut Quotient Measurement Scales by Yoon Jin Choi, Jae Ho Cho, Dong Ho Lee, Dong Jin Song, Young Jae Kwon, Sung Min Baek, Yang Jin Kim, Min Ho Jang, Dong Han Lee, Ha Young Park, Min Cheol Kim, Ji An Yang

Get full text