すべて 2021 2020 2019 2018 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 その他
すべて 雑誌論文 学会発表 図書
Proc. The 10th International Workshop on SOFL + MSVL for Reliability and Security (SOFL+MSVL2020)
巻: - ページ: 175-192
10.1007/978-3-030-77474-5_12
Proc. IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)
巻: - ページ: 306-313
10.1109/qrs-c55045.2021.00053
Proc. The 9th International Workshop on SOFL + MSVL for Reliability and Security (SOFL+MSVL 2019)
巻: - ページ: 29-41
10.1007/978-3-030-41418-4_3
Proc. The 31st IFIP International Conference on Testing Software and Systems (IFIP-ICTSS 2019)
巻: - ページ: 56-64
10.1007/978-3-030-31280-0_4
Proc. The 24th International Conference on Technologies and Applications of Artificial Intelligence (TAAI 2019)
巻: - ページ: 1-6
10.1109/taai48200.2019.8959916
Post-Proc. 8th SOFL+MSVL (LNCS)
巻: - ページ: 21-38
10.1007/978-3-030-13651-2_2
コンピュータ ソフトウェア
巻: 35 号: 2 ページ: 2_26-2_32
10.11309/jssst.35.2_26
130007410585
Proceedings of the 3rd Asia-Pacific Conference on Complex Systems Design and Management (CSD&M Asia 2018)
巻: - ページ: 1-12
10.1007/978-3-030-02886-2_1
Proc. IEEE 7th Global Conference on Consumer Electronics
巻: - ページ: 601-604
10.1109/gcce.2018.8574766
Trustworthy Cyber-Physical Systems Engineering
巻: - ページ: 271-305
Journal of Information Processing
巻: 24 号: 1 ページ: 88-98
10.2197/ipsjjip.24.88
130005119975
Lecture Notes in Computer Science (CyPhy 2015)
巻: 9361 ページ: 99-115
10.1007/978-3-319-25141-7_8
Lecture Notes in Computer Science (SOFL+MSVL 2015)
巻: 9559 ページ: 72-85
10.1007/978-3-319-31220-0_6
Proc. 3rd International Conference on Cyber-Physical Systems, Networks, and Applications
巻: - ページ: 7-12
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS2015)
巻: - ページ: 50-59
10.1109/iceccs.2015.16
Proc. Fifth International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems
巻: - ページ: 99-115
電子情報通信学会誌
巻: 98 ページ: 124-129
110009909643
Proc.1st International Conference on Complex Systems Design and Management (CSD&M Asia 2014)
巻: 1 ページ: 3-14
Proc. 20th International Symposium on Formal Methods
巻: - ページ: 378-394
コンピュータソフトウェア
巻: 31 ページ: 259-269
130004688283
Ada User Journal
巻: 35 ページ: 266-271
Proc. Specification, Algebra, and Software (SAS2014)
巻: 8373 ページ: 478-493
Lecture Notes in Computer Science (ICFEM2014)
巻: 8829 ページ: 251-266
10.1007/978-3-319-11737-9_17
巻: 30 ページ: 95-101
130004549322
Science of Computer Programming
巻: 78(12) ページ: 2331-2346
巻: 78(12) 号: 12 ページ: 2331-2346
10.1016/j.scico.2012.06.006
コンピュータ・ソフトウェア
巻: ２９ ページ: 54-69
10030497714
Proc.8^<th> IFIP SEUS 2010
ページ: 83-94
自動車研究
巻: 32 ページ: 561-565
Proceedings of 8^<th> IFIP Workshop on Software Technology for Future Embedded and Ubiquitous Systems
自動車研究 Vol.32、No.10
ページ: 561-565
on Automated Software Engineering
ページ: 679-681
システム/制御/情報 Vol.52、No.9
ページ: 310-315
Proceedings of the IASTED International Conference on Software Engineering
ページ: 98-105
Proceedings of the TASTED International Conference on Software Engineering
Journal of Information Processing Society of Japan Vol.48, No.10
ページ: 3341-3351
110006402782
情報処理学会論文誌 48
Computer Software Vol.19, No.2
ページ: 72-86
130004549052
日経エレクトロニクス 933号
ページ: 123-142
Electric Notes in Theoretical Computer Science (掲載予定)
コンピュータソフトウェア 23
Proceedings of Software Engineering for Secure Systems
ページ: 59-64
Proceedings of 5th International Workshop on Scenarios and State Machines : Model, Algorithm and Tools
ページ: 44-50
コンピュータ・ソフトウェア 23巻・2号
Progress in Informatics No.2
ページ: 57-76
日本ソフトウェア科学会第22回大会講演論文集
130005006659
UML2004 Workshop on Aspect-Oriented Modeling
Proceedings of UML2004 Workshop on Aspect-Oriented Modeling
日本ソフトウェア科学会第21回大会講演論文集
130005006611
コンピュータソフトウェア 21・2
ページ: 32-36
130006948920
Proceedings of Early Aspects 2004
Early Aspects 2004 (Workshop at OOPAL 2004)
情報処理学会研究報告 2003-SE-143
ページ: 53-60
110002911437
日本ソフトウェア科学会第20回大会講演論文集
130004638767
コンピュータソフトウェア 19・2
ページ: 2-18
130004548962
