青木 利晃  Aoki Toshiaki

Software Testing, Verification and Reliability

巻: 32 号: 6

10.1002/stvr.1828

IEEE Access

巻: 10 ページ: 99370-99393

10.1109/access.2022.3204112

Journal of Software: Testing, Verification and Reliability

巻: 31(8) 号: 8

10.1002/stvr.1788

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

巻: E103.A 号: 2 ページ: 451-461

10.1587/transfun.2019MAP0010

130007793381

Indoor and Built Environment

巻: - 号: 9 ページ: 1441-1465

10.1177/1420326x20941576

Journal of Systems and Software

巻: 161 ページ: 110461-110461

10.1016/j.jss.2019.110461

Science of Computer Programming

巻: 193

IEICE Transactions on Information and Systems

巻: E102.D 号: 7 ページ: 1280-1295

10.1587/transinf.2017EDP7391

130007671332

IEICE Transactions on Information and Systems

巻: E101.D 号: 12 ページ: 3038-3058

10.1587/transinf.2018EDP7099

130007539295

システム／制御／情報

巻: 62 号: 4 ページ: 134-140

10.11509/isciesci.62.4_134

130007498124

Journal of Information Security and Applications

巻: 31 ページ: 41-53

10.1016/j.jisa.2016.05.002

IEICE Transactions on Information and Systems

巻: E98.D 号: 6 ページ: 1137-1149

10.1587/transinf.2014FOP0004

130005072395

IEICE Transactions

巻: Vo.E-98-D, No.6

130005072395

IEICE Transactions on Information and Systems

巻: E98.D 号: 10 ページ: 1765-1776

10.1587/transinf.2015EDP7043

130005101306

Proc. of 3rd Intl. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)

巻: - ページ: 203-218

Proc. of 3rd Intl. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)

巻: - ページ: 187-202

Proc. of Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)

巻: - ページ: 36-53

10.1007/978-3-319-05416-2_4

Proc. of Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)

巻: - ページ: 246-261

10.1007/978-3-319-05416-2_16

Proc. of 20th Asia-Pacific Software Engineering Conference (APSEC)

巻: - ページ: 315-322

Mathematical Problems in Engineering 2013

巻: Article ID 373265 ページ: 1-11

ICST Workshops

巻: - ページ: 13-14

10.1109/icstw.2013.8

Proc. of 20th Asia-Pacific Software Engineering Conference(APSEC)

巻: - ページ: 307-314

Proc. of the 13th International Conference on Quality Software (QSIC)

巻: - ページ: 113-116

10.1109/qsic.2013.62

Mathematical Problems in Engineering

巻: vol. 2013 ページ: 1-11

10.1155/2013/373265

Proc. of 20th Asia-Pacific Software Engineering Conference (APSEC)

巻: - ページ: 134-139

Proc. of IEEE Seventh International Symposium on Service-Oriented System Engineering (SOSE)

巻: - ページ: 37-48

Proc. of the 37th Annual International Computer Software & Applications Conference (37th COMPSAC), IEEE Computer Society Press

巻: - ページ: 784-789

10.1109/compsac.2013.129

日本ソフトウェア科学会 学会誌 コンピュータソフトウェア

巻: Vo.29, No.3, ページ: 121-142

130004549272

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

巻: E95.A 号: 9 ページ: 1451-1460

10.1587/transfun.E95.A.1451

10031142529

日本ソフトウェア科学会 学会誌 コンピュータソフトウェア

巻: 29-3 ページ: 121-142

130004549272

Proc. of third International Symposium on Information and Communication Technology (SoICT 2012)

巻: - ページ: 13-20

10.1145/2350716.2350721

Proc. of International Colloquium on Theoretical Aspect of Computing (ICTAC)

巻: - ページ: 183-197

10.1007/978-3-642-32943-2_15

Proc.of 9th IEEE-RIVF International Conference on Computing and Communication Technologies (RIVF 2012)

ページ: 1-6

日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ論文集

巻: - ページ: 27-32

組込みシステムシンポジウム論文集

巻: -

170000072430

IEICE Transactions on Information and Systems

巻: E95.D 号: 7 ページ: 1882-1893

10.1587/transinf.E95.D.1882

10031024282

Proc. of 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012)

巻: - ページ: 672-677

Proc.of 18^<th> Asia-Pacific Software Engineering Conference (APSEC 2011)

ページ: 274-281

IEEE International Conference on Web Services (ICWS 2011)

ページ: 722-723

Proc.of IEEE International Conference on Web Services (ICWS 2011)

ページ: 722-723

Proc.of 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS 2011)

ページ: 130-139

Proc.of 18th Asia-Pacific Software Engineering Conference (APSEC 2011)

ページ: 274-281

18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS 2011)

ページ: 130-139

IEICE Transactions

巻: E93-D, No.8 ページ: 2172-2181

10027364698

IEICE Transactions Vol.E93-D, No.8

ページ: 2172-2181

10027364698

IEICE Transactions Vol.E92-A, No.11

ページ: 2772-2780

10026860803

ACM SIGCSE Bulletin 41

ページ: 45-50

ACM SIGCSE Bulletin

巻: Volume 41, Issue 2(June2009) ページ: 38-44

IEICE Transactions

巻: Vol.E92-A, No.11 ページ: 2772-2780

10026860803

ACM SIGCSE Bulletin 41

ページ: 38-44

ACM SIGCSE Bulletin

巻: Volume 41, Issue 2(June2009) ページ: 45-50

IEICE Transactions EA92-A

ページ: 2772-2780

ACM SIGCSE Bulletin Volume 41 , Issue 2

ページ: 45-50

情報処理学会ソフトウェア工学研究会ウィンターワークシヨップ2007

ページ: 7-8

情報処理学会 学会誌 情報処理 47・5

ページ: 491-497

日本ソフトウェア科学会 コンピュータソフトウェア 22・1

ページ: 58-76

110003744165

Proceedings of International Symposium on Object-Oriented Real-Time Distributed Computing

ページ: 95-105

ソフトウェア工学の基礎ワークショップ2005

ページ: 55-64

日本ソフトウェア科学会 学会誌 コンピュータソフトウェア 22・1

ページ: 58-76

110003744165

第2回ディペンダブルソフトウェア研究会

ページ: 61-71

International Colloquium on Theoretical Aspects of Computing

ページ: 501-516

組込みソフトウェアシンポジウム2005論文集

ページ: 56-63

日本ソフトウェア科学会 学会誌 コンピュータソフトウェア

110008016649

日本ソフトウェア科学会 コンピュータソフトウェア 22・2

ページ: 58-73

110008016649

組込みソフトウェアシンポジウム2004

ページ: 118-125

日本ソフトウェア科学会 学会誌 コンピュータソフトウェア 21・4

ページ: 1-26

130004549018