All 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2005 2004 Other
All Journal Article Presentation
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Volume: － Pages: 66-78
10.1145/3018610.3018626
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Volume: 印刷中
Runtime Verification - 16th International Conference, (RV 2016)
Volume: LNCS 10012 Pages: 386-403
10.1007/978-3-319-46982-9_24
ACM SIGSOFT Software Engineering Notes
Volume: 41(6) Pages: 1-5
10.1145/3011286.3011292
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015
Volume: 2015 Pages: 120-134
10.1007/978-3-319-25942-0_8
IJNC
Volume: Vol. 5, No. 2 Issue: 2 Pages: 373-402
10.15803/ijnc.5.2_373
130005091737
Volume: 5 Issue: 2 Pages: 347-372
10.15803/ijnc.5.2_347
130005091738
IEEE/ACM 8th International Workshop on Search-Based Software Testing
Volume: 2015 Pages: 48-51
10.1109/sbst.2015.19
International Journal of Networking and Computing
Volume: 5 Pages: 373-402
IEEE Transactions on Software Engineering
Volume: - Pages: 483-501
10.1109/tse.2013.49
Second International Symposium on Computing and Networking (CANDAR), 2014
Volume: 2014 Pages: 144-150
10.1109/candar.2014.45
Volume: 2014 Pages: 96-105
10.1109/candar.2014.66
ASE
Volume: - Pages: 169-179
10.1109/ase.2013.6693077
Hardware and Software: Verification and Testing, 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Volume: 8244 Pages: 112-128
10.1007/978-3-319-03077-7_8
Volume: 1 Pages: 103-112
10.1109/ase.2011.6100043
IFIP Advances in Information and Communication Technology Vol.329
Pages: 90-101
IFIP Advances in Information and Communication Technology
Volume: 329 Pages: 90-101
DIPES 2010 : IFIP Conference on Distributed and Parallel Embedded Systems (掲載確定)
First NASA Formal Methods Symposium, NASA Conference Publication
Pages: 106-110
31st International Conference on Software Engineering, Companion Volume
Pages: 409-410
24th IEEE/ACM International Conference on Automated Software Engineering
Pages: 447-458
コンピュータソフトウェア 22・3
Pages: 154-166
130004892028
Lecture Note in Computer Science 3702
Pages: 277-291
Workshop on Dependable Software --Tools and Methods --,International Conference on dependable Systems and Networks
Pages: 215-220
コンピュータソフトウェア (掲載予定)
Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX),LNCS 3702
Lecture Notesin Computer Science 2998
Pages: 7-21
Functional and Logic Programming (FLOPS 2004), LNCS 2998
コンピュータソフトウェア (To appear)
