山本 光晴  Yamamoto Mitsuharu

10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)

巻: 印刷中

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

巻: － ページ: 66-78

10.1145/3018610.3018626

Runtime Verification - 16th International Conference, (RV 2016)

巻: LNCS 10012 ページ: 386-403

10.1007/978-3-319-46982-9_24

ACM SIGSOFT Software Engineering Notes

巻: 41(6) 号: 6 ページ: 1-5

10.1145/3011286.3011292

International Journal of Networking and Computing

巻: 5 号: 2 ページ: 373-402

10.15803/ijnc.5.2_373

130005091737

Proc 8th IEEE/ACM International Workshop on Search-Based Software Testing

巻: 2015 ページ: 48-51

10.1109/sbst.2015.19

Proc 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications

巻: 2015 ページ: 120-134

10.1007/978-3-319-25942-0_8

International Journal of Networking and Computing

巻: 5 ページ: 373-402

130005091737

International Journal of Networking and Computing

巻: 5 号: 2 ページ: 347-372

10.15803/ijnc.5.2_347

130005091738

Proc. Second International Symposium on Computing and Networking

巻: 2014 ページ: 144-150

10.1109/candar.2014.45

130005091738

Proc. Second International Symposium on Computing and Networking

巻: 2014 ページ: 96-105

10.1109/candar.2014.66

130005091737

IEEE Transactions on Software Engineering

巻: - 号: 5 ページ: 483-501

10.1109/tse.2013.49

Proceedings of the 9th Haifa Verification Conference, Lecture Notes in Computer Science

巻: 8244 ページ: 112-128

10.1007/978-3-319-03077-7_8

28th IEEE/ACM International Conference on Automated Software Engineering

巻: - ページ: 169-179

10.1109/ase.2013.6693077

26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)

巻: 1 ページ: 103-112

10.1109/ase.2011.6100043

IFIP Advances in Information and Communication Technology Vol.329

ページ: 90-101

IFIP Advances in Information and Communication Technology

巻: 329 ページ: 90-101

DIPES 2010 : IFIP Conference on Distributed and Parallel Embedded Systems (掲載確定)

24th IEEE/ACM International Conference on Automated Software Engineering

ページ: 447-458

First NASA Formal Methods Symposium, NASA Conference Publication

ページ: 106-110

24th IEEE/ACM International Conference on Automated Software Engineering

ページ: 447-458

31st International Conference on Software Engineering, Companion Volume

ページ: 409-410

Workshop on Dependable Software --Tools and Methods --,International Conference on dependable Systems and Networks

ページ: 215-220

コンピュータソフトウェア (掲載予定)

130004892028

Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX),LNCS 3702

ページ: 277-291

コンピュータソフトウェア 22・3

ページ: 154-166

130004892028

Lecture Note in Computer Science 3702

ページ: 277-291

Functional and Logic Programming (FLOPS 2004), LNCS 2998

ページ: 7-21

Lecture Notesin Computer Science 2998

ページ: 7-21

コンピュータソフトウェア (To appear)

130004892028