劉 少英  LIU Shaoying

Proceedings of 8th International Workshop on SOFL +MSVL 2018 for Reliability and Security

巻: - ページ: 3-20

Proceedings of 8th International Workshop on SOFL +MSVL 2018 for Reliability and Security

巻: - ページ: 71-88

International Journal of Software Engineering & Applications (IJSEA)

巻: 9(4) ページ: 139-157

International Journal of Software Engineering & Applications (IJSEA)

巻: 9(4) ページ: 101-117

Science China Information Sciences

巻: 61 ページ: 1-15

Proccedings of 7th International Conference on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795

巻: - ページ: 171-186

proceedings of 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS 2018)

巻: - ページ: 59-66

10.1109/qrs.2018.00019

Proccedings of 7th International Conference on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795

巻: - ページ: 187-199

Proccedings of 7th International Conference on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795

巻: - ページ: 24-35

Proceedings of The 7th International Conference on Software Engineering and Applications (SEAS 2018)

巻: - ページ: 33-48

Proceedings of 2018 International Conference on Electronics, Information, and Communication (ICEIC 2018)

巻: - ページ: 1-4

Proceedings of the 14th Central and Eastern European Software Engineering Conference Russia (CEE-SECR 2018)

巻: - ページ: 64-69

10.1145/3290621.3290634

Proceedings of The 7th International Conference on Software Engineering and Applications (SEAS 2018)

巻: - ページ: 49-68

Proceedings of 2017 International Conference on Computational Science and Its Applications (ICCSA 2017)

巻: - ページ: 273-283

Proceedings of 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS 2017)

巻: - ページ: 176-183

Proceedings of 6th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), Springer

巻: LNCS 10189 ページ: 160-177

10.1007/978-3-319-57708-1_10

Proceedings of 4th Annual International Conference on Computer Science and Applications (CSA2017)

巻: - ページ: 1-5

Proceedings of 6th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), Springer

巻: LNCS 10189 ページ: 74-84

10.1007/978-3-319-57708-1_5

Proceedings of 10th International Conference on Tests and Proofs (TAP 2016), Springer

巻: LNCS 9762 ページ: 112-129

10.1007/978-3-319-41135-4_7

第23回ソフトウエア工学の基礎ワークショップ（FOSE2016）論文集

巻: なし ページ: 139-144

Proceedings of 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS 2016), IEEE Press

巻: なし ページ: 448-455

10.1109/qrs.2016.56

Proceedings of 2016 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE’16), ACM Press

巻: なし ページ: 29-35

22nd Asia-Pacific Software Engineering Conference (APSEC 2015), IEEE CS Press

巻: なし ページ: 24-31

Proceedings of 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), IEEE CS Press

巻: なし ページ: 127-130

Proceedings of 2015 41st Euromicro Conference on Software Engineering and Advnaced Applications, Conference Publishing Services

巻: なし ページ: 245-249

Proceedings of 5th International Workshop on SOFL + MSVL (SOFL+MSVL 2015), Springer

巻: LNCS 9559 ページ: 44-56

Proceedings of 5th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), Springer

巻: LNCS 9559 ページ: 206-218

Proceedings of 22nd Asia-Pacific Software Engineering Conference (APSEC 2015), IEEE CS Press

巻: なし ページ: 72-79

第22回ソフトウエア工学の基礎ワークショップ（FOSE2015）論文集

巻: なし ページ: 59-64

Proceedings of 17th International Conference on Formal Engineering Methods (ICFEM 2015), Springer

巻: LNCS 9407 ページ: 100-115

IEEE Transactions on Reliability

巻: 印刷中

Proceedings of 4th International Workshop on SOFL + MSVL, LNCS 8979, Springer

巻: なし ページ: 81-93

Proceedings of 4th International Workshop on SOFL + MSVL, LNCS 8979, Springer

巻: なし ページ: 32-46

Proceedings of 3rd International Conference on Informatics Engineering and Information Science (ICIEIS 2014), SDIWC

巻: なし ページ: 136-143

Proceedings of IEEE 17th International Conference on Computational Science and Engineering (CSE 2014), IEEE Press

巻: なし ページ: 729-734

Proceedings of 21th Asia-Pacific Software Engineering Conference (APSEC 2014), IEEE Press

巻: なし ページ: 286-293

Journal of Systems and Software Vol.81, No.2

ページ: 234-248

Journal of Systems and Software Vol.81,No.2

ページ: 234-248

International Journal of Software Engineering and Knowledge Engineering(IJSEKE) Vol.18,No.8(to appear)

International Journal of Software Engineering and Knowledge Eegineering(IJSEKE) Vol.18, No.8(to appear)

Journal of Systems and Software (To appear)

Journal of Systems and Software (To appear)

Journal of Systems and Software Vol.80,No.8

ページ: 1271-1285

Journal of Systems and Software Vol.80, No.8

ページ: 1271-1285

Proceedings of 2006 Software Engineering and Applications (SEA2006),ACTA Press

ページ: 105-110

Proceedings of 11th IEEE International Conference on Engineering of Complex Computer Systems (ICEECS2006), IEEE Computer Society Press

ページ: 121-130

1^st International Workshop on Asian Working Conference on Verified Software (AWCVS06)

ページ: 1-10

2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), IEEE Computer Society Press

ページ: 199-206

Second International Symposium on Automated Technology for Verification and Analysis LNCS3299

ページ: 15-19

1st International Colloquium on Theoretical Aspects of Computing September

ページ: 405-419

1st Workshop on Dependable Software February

ページ: 131-140

11th Asia-Pacific Software Engineering Conference December

ページ: 276-283

9th IEEE International Conference on Engineering of Complex Computer Systems April

ページ: 249-258