すべて 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2005 2004 その他
すべて 雑誌論文 学会発表
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) ページ: 1-5
10.1145/3011286.3011292
IEEE/ACM 8th International Workshop on Search-Based Software Testing
巻: 2015 ページ: 48-51
10.1109/sbst.2015.19
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015
巻: 2015 ページ: 120-134
10.1007/978-3-319-25942-0_8
IJNC
巻: 5 号: 2 ページ: 347-372
10.15803/ijnc.5.2_347
130005091738
巻: Vol. 5, No. 2 号: 2 ページ: 373-402
10.15803/ijnc.5.2_373
130005091737
International Journal of Networking and Computing
巻: 5 ページ: 373-402
Second International Symposium on Computing and Networking (CANDAR), 2014
巻: 2014 ページ: 144-150
10.1109/candar.2014.45
巻: 2014 ページ: 96-105
10.1109/candar.2014.66
IEEE Transactions on Software Engineering
巻: - ページ: 483-501
10.1109/tse.2013.49
Hardware and Software: Verification and Testing, 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
巻: 8244 ページ: 112-128
10.1007/978-3-319-03077-7_8
ASE
巻: - ページ: 169-179
10.1109/ase.2013.6693077
巻: 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
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
Lecture Note in Computer Science 3702
Functional and Logic Programming (FLOPS 2004), LNCS 2998
ページ: 7-21
Lecture Notesin Computer Science 2998
コンピュータソフトウェア (To appear)