荒木 啓二郎  ARAKI Keiojiro

日下部 茂、荒木 啓二郎、他

82

情報処理推進機構

日下部 茂、荒木 啓二郎、他

63

情報処理推進機構

荒木 啓二郎

294

独立行政法人情報処理推進機構 ソフトウェア・エンジニアリング・センター

Tatsuo Okada, Keijiro Araki and Hiroaki Nishino

T.Okada, K.Araki, H.Nishino (eds.)

IEEE Region 10(CD-ROM)

山本修一郎, 藤枝純教, 岩崎新一, 荒木啓二郎, 塚本英昭(分担執筆)

独立行政法人情報処理推進機構ソフトウェア・エンジニアリング・センター高信頼性システム技術作業部会

鐘友良(著), 荒木啓二郎(監修)

292

上海訳文出版社

「研究成果報告書概要(和文)」より

Youliang Zhong (author), Keijiro Araki (ed.)

Shanghai Translation Publisher

「研究成果報告書概要(欧文)」より

Zhiming Liu, Keijiro Araki (eds.)

612

Springer-Verlag

「研究成果報告書概要(和文)」より

Zhiming Liu, Keijiro Araki (eds.)

Springer-Verlag

「研究成果報告書概要(欧文)」より

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

IEICE Transactions

巻 : E100-D

謝辞記載あり / オープンアクセスとしている / 国際共著/国際学会である / 査読あり

Keijiro Araki, Taro Kurita

Lecture Notes in Computer Science

巻 : 10009 ページ : 18-25

オープンアクセスとしている / 謝辞記載あり / 査読あり

日下部茂，林信宏，大森洋一，荒木啓二郎

コンピュータソフトウェア

巻 : 32 ページ : 126-136

オープンアクセスとしている / 謝辞記載あり / 査読あり

KAKENHI-PROJECT-24220001, KAKENHI-PROJECT-25330084

Taro Kurita, Fuyuki Ishikawa and Keijiro Araki

Lecture Notes in Computer Science

巻 : 9109 ページ : 593-596

査読あり

日下部茂、林信宏、大森洋一、荒木啓二郎

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

巻 : 32

謝辞記載あり / オープンアクセスとしている / 査読あり

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki

International Journal of New Computer Architectures and their Applications

巻 : 4 ページ : 48-55

オープンアクセスとしている / 査読あり

荒木啓二郎

SEC journal

巻 : Vol.3, Vol.7, No.4 ページ : 177-182

荒木啓二郎

SEC journal

巻 : Vol.6, No.2 ページ : 104-107

荒木啓二郎

情報処理学会論文誌プログラミング

巻 : Vol.3, No.5 ページ : 18-28

査読あり

Kazuhide Dougome, Keijiro Araki

Proc.IEEE Region 10 Conference (TENCON2010)

巻 : (CD-ROM)

査読あり

大森洋一、荒木啓二郎

情報処理学会論文誌プログラミング

巻 : Vol.3, No.5 ページ : 18-25

査読あり

Yasumasa Nakatsugawa, Taro Kurita, Keijiro Araki

Proc.IEEE Region 10 Conference (TENCON2010)

巻 : (CD-ROM)

査読あり

Shinya Yamada, Keijiro Araki, Shigeru Kusakabe, Yoichi Omori

Proc.IEEE Region 10 Conference (TENCON2010)

巻 : (CD-ROM)

査読あり

中津川泰正, 栗田太郎, 荒木啓二郎

コンピュータソフトウェア

巻 : Vol.27, No.2 ページ : 130-135

査読あり

Yoichi Omori, Keijiro Araki

Proc.IEEE Region 10 Conference (TENCON2010)

巻 : (CD-ROM)

査読あり

栗田太郎, 荒木啓二郎

日本信頼性学会誌「信頼性」

巻 : Vol.31, No.6 ページ : 394-403

査読あり

Eleazar Jimenez, Shigeru Kusakabe, Keijiro Araki

Proc.IMECS 2007 Vol.II

ページ : 1516-1521

「研究成果報告書概要(欧文)」より

Shin Sahara, Keijiro Araki

Computer Software(in Japanese) Vol.24, No.2

ページ : 14-20

「研究成果報告書概要(欧文)」より

Eleazar Jimenez Serrano Shigeru Kusakabe, Keijiro Araki

Asian Journal of Information Technology Vol.5, No.10

ページ : 1117-1125

「研究成果報告書概要(欧文)」より

Eleazar Jimenez Serrano Shigeru Kusakabe, Keijiro Araki

Proc.European Modeling and Simulation Symposium

ページ : 171-179

「研究成果報告書概要(欧文)」より

Kengo Miyoshi, Shideru Kusakabe, Keijiro Araki

Computer Software(in Japanese) Vol.23, No.2

ページ : 211-224

「研究成果報告書概要(欧文)」より

Kengo Miyoshi, Satoru Hirachi, Shigeru Kusakabe, Keijiro Araki

Proc.2005 International Conference on Dependable Systems and Networks, Workshop on Dependable Software-Tools and Methods

ページ : 235-240

「研究成果報告書概要(欧文)」より

Satoru Hirachi, Kengo Miyoshi, Shigeru Kusakabe, Keijiro Araki

Proc.Software Symposium 2004(in Japanese)

ページ : 48-52

「研究成果報告書概要(欧文)」より

荒木 啓二郎

ソフトウェアシンポジウム論文集 Vol.24

ページ : 211-211

Kazuya Tabata, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki

Proc.Software Japan 2004(in Japanese)

ページ : 23-30

「研究成果報告書概要(欧文)」より

荒木 啓二郎

ソフトウェアシンポジウム論文集 Vol. 24

ページ : 211-211

「研究成果報告書概要(和文)」より

Kazuya Tabata, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki

Proc.of 3rd International Workshop on Critical Systems Development with UML

ページ : 155-156

「研究成果報告書概要(欧文)」より

Yuji Arichika, Keijiro Araki

Proc.International Workshop on Adopting Product Line Software Engineering

ページ : 557-558

「研究成果報告書概要(欧文)」より

Kengo Miyoshi, Satoru Hirachi, Shigeru Kusakabe, Keijiro Araki

International Symposium on Future Software Technology 2004

ページ : 200-205

「研究成果報告書概要(欧文)」より

村上 武史、大森 洋一、荒木 啓二郎

情報処理学会 火の国シンポジウム 2017

鹿児島市

2017-03-01

馬場 勇輔、荒木 啓二郎、日下部 茂、大森 洋一

情報処理学会 ウィンターワークショップ 2017

岐阜県 高山市

2017-01-19

幡 亮介、大森 洋一、荒木 啓二郎、日下部 茂

情報処理学会 ウィンターワークショップ 2017

岐阜県 高山市

2017-01-19

藤崎 淳史、荒木 啓二郎、大森 洋一

情報処理学会 ウィンターワークショップ 2017

岐阜県 高山市

2017-01-19

馬場勇輔, 荒木啓二郎, 日下部茂, 大森洋一

情報処理学会 火の国シンポジウム

宮崎市

2016-03-03

荒木啓二郎

情報処理素新機構 (IPA) SEC高信頼化技術セミナー

東京

2016-01-15

Abdul Kadir Jailani, Keijiro Araki, Shigeru Kusakabe

Fifth International Conference on E-Learning and E-Technologies in Education

Kuala Lumpur, Malaysia

2016-09-06

国際共著/国際学会である

西岡 貴史、大森 洋一、荒木 啓二郎

ソフトウェアエンジニアリングシンポジウム2016

東京

2016-08-31

岩本侑也、大森洋一、林信宏、日下部茂、荒木啓二郎

情報処理学会 ソフトウェア工学研究会

吹田市

2016-03-14

小林 竜大、大森 洋一、荒木 啓二郎

日本ソフトウェア科学会第 33 回大会

仙台市

2016-09-06

大森 洋一、荒木 啓二郎

日本ソフトウェア科学会 FOSE 2016

香川県 琴平町

2016-12-01

小田朋宏、荒木啓二郎

ソフトウェア技術者協会 第 36 回ソフトウェアシンポジウム

米子市

2016-06-05

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

14th Overture Workshop

Limmasol, Cyprus

2016-11-07

国際共著/国際学会である

Keijiro Araki, Taro Kurita

18th International Conference on Formal Engineering Methods

Tokyo, JAPAN

2016-11-14

国際共著/国際学会である / 招待講演

日下部茂, 荒木啓二郎

第13回クリティカルソフトウェアワークショップ

東京

2016-01-20

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

11th International Workshop on Smalltalk Technologies

Prague, Czech Republic

2016-08-23

国際共著/国際学会である

Tomohiro Oda, Keijiro Araki and Peter Gorm Larsen

2015 IEEE/ACM 3rd Workshop on Formal Methods in Software Engineering

イタリア フィレンツェ

2015-05-18

国際共著/国際学会である

荒木啓二郎

情報処理学会 ソフトウェア工学研究会

福岡市

2015-12-16

招待講演

大森洋一、林信宏、日下部茂、荒木啓二郎

情報処理学会ソフトウェア工学研究会

川崎市

2015-06-04

Tomohiro Oda, Yasuhiro Yamamoto, Kumiyo Nakakoji, Keijiro Araki and Peter Gorm Larsen

13th Overture Workshop

ノルウェー オスロ

2015-06-23

国際共著/国際学会である

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

FormaliSE: FME Workshop on Formal Methods in Software Engineering

イタリア フィレンツェ

2015-05-18

林信宏、大森洋一、日下部茂、荒木啓二郎

情報処理学会 ソフトウェア工学研究会

札幌市

2015-07-22

Abdul Kadir Jailani, Shigeru Kusakabe and Keijiro Araki

4th International Conference on Learning Technologies and Learning Environments

岡山市

2015-07-15

国際共著/国際学会である

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori and Keijiro Araki

International Conference on Software and Systems Process

エストニア タリン

2015-08-26

国際共著/国際学会である

Akihiro Hata, Keijiro Araki, Shigeru Kusakabe, Yoichi Omori, Hsin-Hung Lin

International Conference on Platform Technology and Service

韓国 済州島

2015-01-28

林信宏、大森洋一、日下部茂、荒木啓二郎

日本ソフトウェア科学会 ソフトウェア工学の基礎研究会

天童市

2015-11-26

大森洋一、林信宏、日下部茂、荒木啓二郎

情報処理学会 ソフトウェア工学研究会

福岡市

2015-12-15

Keijiro Araki

Symposium on Architecture Oriented Formal Methods

名古屋市

2015-09-12

国際共著/国際学会である

大森洋一、林信宏、荒木啓二郎、日下部茂

日本ソフトウェア科学会 ソフトウェア工学の基礎研究会

天童市

2015-11-26

Yoichi Omori, Keijiro Araki and Peter Gorm Larsen

13th Overture Workshop

ノルウェー オスロ

2015-06-23

国際共著/国際学会である

小田朋宏, 荒木啓二郎

ソフトウェア技術者協会　ソフトウェアシンポジウム

和歌山市

2015-06-15

荒木 啓二郎

CKP-QGPOP 合同研究会

福岡市

2014-12-03

招待講演

荒木 啓二郎

情報処理学会九州支部

福岡市

2014-04-25

招待講演

荒木 啓二郎

To-collabo プログラム 中間報告会

熊本市

2014-11-22

招待講演

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki

2nd FME Workshop on Formal Methods in Software Engineering

インド ハイデラバード

2014-06-03

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki

3rd International Conference on Institutional Research and Institutional Management

北九州市

2014-09-02

荒木 啓二郎

IEEE Hiroshima Section

岡山市

2014-11-05

招待講演

荒木 啓二郎

第16回組込みシステム開発技術展

東京

Keijiro Araki

7th Asia-Pacific Council on Systems Engineering Conference

Yokohama, Japan

荒木啓二郎

形式手法導入パイロット教育コース

熊本市

2012-01-16

Keijiro Araki

Software Engineering Seminar, POSTECH, Pohang Korea, December

Pohang Korea

荒木啓二郎

第14回組込みシステム開発技術展

東京都

2011-05-12

荒木啓二郎

テクマトリクス 形式手法入門セミナー

東京

2011-01-14

荒木啓二郎

ソフトウェア品質管理研究会

東京都(特別講演)

2011-11-18

荒木啓二郎

SEC特別セミナー

東京都

2011-07-04

Keijiro Araki

POSTECH Software Engineering Seminar

韓国浦項市(Invited Talk)

2011-12-30

荒木啓二郎

形式手法導入パイロット教育コース

札幌市

2011-09-05

荒木啓二郎

第1回ソフトウェア工学の若手研究者の育成に関するワークショップ北陸先端科学技術大学院大学

能美市

荒木啓二郎

第1回ソフトウェア工学の若手研究者の育成に関するワークショップ

石川県能美市

2011-04-23

荒木啓二郎

IPA/SEC形式手法人材育成部会

広島市

2011-03-24

荒木啓二郎

日本電気 形式手法研究会

東京

2011-03-09

荒木啓二郎

ソフトウェア・シンポジウム2011

長崎市

荒木啓二郎、芦原秀一、小黒龍一、誉田直美

日本科学技術連盟,「今こそ考えよう!ソフトウェア品質」特別セミナー

福岡

2010-07-30

Keijiro Araki

Hanyang University

Seoul Korea.(invited speech)

荒木啓二郎

ソフトウェア技術者協会「次世代型オフショアのあり方」ワークショップ

中国 無錫市

2010-07-24

荒木啓二郎

日本電気 形式手法研究会

東京

2010-04-20

荒木啓二郎

IPA/SEC形式手法人材育成部会

東京

2010-10-29

和田祐介、大森洋一、日下部茂、荒木啓二郎

ソフトウェア・シンポジウム2010

横浜

荒木啓二郎

「次世代型オフショアのあり方」ワークショップ,ソフトウェア技術者協会

中国無錫市

荒木啓二郎

ソフトウェア・シンポジウム2010

横浜市

荒木啓二郎

富士通九州ネットワークテクノロジーズ フォーマルメソッド技術交流会

福岡

2010-04-22

荒木啓二郎

テクマトリクス 形式手法入門セミナー

東京

2010-12-15

大森洋一、荒木啓二郎

情報処理学会プログラミング研究会

東京

2010-06-14

荒木啓二郎

日本科学技術連盟,「今こそ考えよう!ソフトウェア品質」特別セミナー

福岡

2010-07-30

和田祐介、大森洋一、日下部茂、荒木啓二郎

情報処理学会ソフトウェア工学研究会

東京

2010-06-01

大森洋一、園田貴大、日下部茂、荒木啓二郎

情報処理学会ソフトウェア工学研究会

大阪

2010-11-11

荒木啓二郎

ソフトウェア技術者協会形式手法分科会(SIG-FM)

横浜市

Keijiro Araki

Hanyang University ICT Seminar(Invited Talk)

韓国ソウル

2010-03-05

Keijiro Araki

International Workshop on Future Software Technologies

インドムンバイ

2009-12-10

Keijiro Araki

International Workshop on Future Software Technologies

December

荒木啓二郎

ソフトウェア技術者協会 上海Software Forum

中国上海市

2009-07-21

荒木啓二郎

北九州産業学術推進機構 フォーマルメソッド研究会

北九州市

2009-07-27

荒木啓二郎

最新のソフトウェアの課題とその方策

中国上海市

Keijiro Araki

Software Engineering Seminar, POSTECH

Pohang, Korea

Keijiro Araki

POSTECH Software Engineering Seminar

Pohang, Korea

Keijiro Araki

Joint Seminar on Architecture-Oriented Formal Methods

Fukuoka, Japan

Taro Kurita, Fuyuki Ishikawa, Keijiro Araki

20th International Symposium on Formal Methods

ノルウェー オスロ

2015-06-24 – 2015-06-26