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