岡野 浩三  OKANA Kouzou

Kozo Okano, Takeshi Nagaoka, Toshiaki Tanaka, Toshifusa Sekizawa, and Shinji Kusumoto

International Journal of Informatics Society

巻 : Vol. 8, No. 2 ページ : 103-116

謝辞記載あり / 査読あり

小林佳正，岡野浩三，関澤俊弦

情報処理学会研究報告

巻 : Vol. 2016-SE-192, No. 14 ページ : 1-6

小林和貴, 佐々木幸広, 岡野浩三, 楠本真二

電子情報通信学会論文誌

巻 : Vol.J96D, No.11(ソフトウェア基礎・応用特集号) ページ : 2657-2668

Kozo Okano, Toshifusa Sekizawa, Hiroaki Shimba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, Shinji Kusumoto

International Journal of Informatics Society

巻 : Vol.5, No.3 ページ : 147-155

Kozo Okano, Toshifusa Sekizawa, Hiroaki Shinba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, and Shinji Kusumoto

International Journal of Informatics Society (IJIS)

巻 : vol.5, No.1

査読あり

Kentaro Hanada, Hiroaki Shimba, Kozo Okano, and Shinji Kusumoto

International Journal of Informatics Society

巻 : Vol.5, No.2 ページ : 86-96

査読あり

Kentaro Hanada, Hiroaki Shinba, Kozo Okano, and Shinji Kusumoto

International Journal of Informatics Society (IJIS)

巻 : vol.5, No.1

査読あり

森恵弥佳, 岡野浩三, 楠本真二

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

巻 : Vol.30, No.3,

査読あり

Kentaro Hanada, Hiroaki Shimba, Kozo Okano, Shinji Kusumoto

International Journal of Informatics Society

巻 : Vol.5, No.2 ページ : 89-96

森恵弥佳, 岡野浩三, 楠本真二

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

巻 : Vol.30, No.3

Kiyoyuki Miyazawa, Kozo Okano, and Shinji Kusumoto

International Journal of Informatics Society (IJIS)

巻 : vol.4, No.3

査読あり

小林和貴, 佐々木幸広, 岡野浩三, 楠本真二

電子情報通信学会論文誌

巻 : Vol.J96D, No.11 ページ : 2657-2668

査読あり

Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto

International Journal of Informatics Society

巻 : Vol.4, No.2 ページ : 85-92

Yuko Muto, Kozo Okano, Shinji Kusumoto

Journal of Convergences

巻 : Vol.2, No. 2 ページ : 1-8

Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, Shinji Kusumoto

International Journal of Informatics Society (IJIS)

巻 : Vol.3,No.1 ページ : 11-20

査読あり

Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto

IEICE Transactions on Information and Systems

巻 : Vol.E94-D (フォーマルアプローチ特集号) ページ : 958-966

宮本敬三, 堀直哉, 岡野浩三, 楠本真二

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

巻 : Vol. 28, No. 4

Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, Shinji Kusumoto

International Journal of Informatics Society

巻 : Vol.3, No.1 ページ : 11-20

尾鷲方志, 岡野浩三, 楠本真二

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

巻 : 27,2 ページ : 106-111

査読あり

尾鷲方志, 岡野浩三, 楠本真二

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

巻 : Vol. 27, No. 2

Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto

IEICE Transactions on Information and Systems

巻 : Vol.E93-D, No.5(フォーマルアプローチ特集号) ページ : 994-1005

T.Nagaoka, K.Okano, S.Kusumoto

IEICE Transactions on Information and Systems

巻 : E93-D,5 ページ : 994-1005

査読あり

Takeshi Nagaoka, Eigo Nagai, Kozo Okano, Shinji Kusumoto

International Journal of Informatics Society

巻 : Vol.1, No.2 ページ : 37-44

Takeshi Nagaoka, Eigo Nagai, Kozo Okano, Shinji Kusumoto

International Journal of Informatics Society (IJIS) Vol. 1, No. 2

ページ : 37-44

査読あり

吉村顕, 岡野浩三, 楠本真二

ソフトウェア工学の基礎XIII

ページ : 71-76

長井栄吾, 岡野浩三, 楠本真二

電子情報通信学会 技術研究報告 Vol. 106,No. 202

ページ : 13-18

浜口優, 吉村顕, 岡野浩三, 楠本真二

電子情報通信学会 技術研究報告 Vol. 106,No. 202

ページ : 29-34

Aya MAKIDERA, Eigo NAGAI, Kozo OKANO, Kenichi TANIGUCHI

TECHNICAL REPORT OF IEICE. Vol.104, No.723

ページ : 1-6

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

Tetsuya SAIMURA, Kozo OKANO, Kenichi TANIGUCHI

Proceedings of Software Symposium, 2004 (ISBN4-916227-16-6)

ページ : 53-57

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

岡野浩三他

京都大学数理解析研究所講究録 Vol.1375

ページ : 151-157

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

Kozo OKANO, Kazuo MORI, Kenichi TANIGUCHI

Kokyuroku of Research Institute for Mathematical Sciences Kyoto University Vol.1375

ページ : 151-157

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

Behzad BORDBAR, Kozo OKANO

Lecture Notes in Computer Science Vol.3395

ページ : 95-106

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

Tetsuya SAIMURA, Kozo OKANO, Kenichi TANIGUCHI

TECHNICAL REPORT OF IEICE Vol.103, No.708

ページ : 7-12

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

Kazuo MORI, Kozo OKANO, Kenichi TANIGUCHI

TECHNICAL REPORT OF IEICE. Vol.103, No.583

ページ : 13-18

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

Aya MAKIDERA, Kozo OKANO, Kenichi TANIGUCHI

TECHNICAL REPORT OF IEICE. Vol.104, No.243

ページ : 19-24

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

Takashi TAKENAKA, Kozo OKANO, Teruo HIGASHINO, Kenichi TANIGUCHI

IEICE Transactions on Information and Systems Vol.J87-DI, No.4

ページ : 462-470

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

Tetsuya SAIMURA, Kozo OKANO, Kenichi TANIGUCHI

TECHNICAL REPORT OF IEICE Vol.104, No.243

ページ : 13-18

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

Yuichiro KATO, Hirozumi.YAMAGUCHI, Kozo OKANO, Kenichi TANIGUCHI

TECHNICAL REPORT OF IEICE. Vol.102, No.616

ページ : 13-18

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

Behzad BORDBAR, Kozo OKANO

Lecture Notes in Computer Science Vol.2885

ページ : 523-540

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

Kosuke SAKAUE, Kozo OKANO, Kenichi TANIGUCHI

TECHNICAL REPORT OF IEICE. Vol.102, No.246

ページ : 1-6

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

Kozo OKANO, Akira YAMAGUCHI, Kenichi Taniguchi

TECHNICAL REPORT OF IEICE. Vol.102, No.96

ページ : 13-16

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

Yuichiro KATO, Kozo OKANO, Kenichi TANIGUCHI

TECHNICAL REPORT OF IEICE. Vol.102, No.629

ページ : 15-22

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

Akira YAMAGUCHI, Kozo OKANO, Kenichi TANIGUCHI

TECHNICAL REPORT OF IEICE. Vol.102, No.629

ページ : 23-30

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

岡野浩三 他

電子情報通信学会技術報告 Vol.102,No.96

ページ : 13-16

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

岡野浩三 高橋一真 仲悠介 小形真平 関澤俊弦

知能ソフトウェア工学研究会

田幸玄陽，小形真平，岡野浩三，関澤俊弦

ウィンターワークショップ2017・イン・飛騨高山

高山 高山市民文化会館

2017-01-19

Ryo Watanabe, Kozo Okano, and Toshifusa Sekizawa

13th International Haifa Verification Conference

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

渡邊亮，岡野浩三 ，関澤俊弦

IPSJ/SIGSE SES2017 ワークショップ

渡邊亮，岡野浩三，関澤俊弦

JSSST FOSE2017

渡辺誠人，岡野浩三，関澤俊弦

IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山

高山市民文化会館

Chikyu Yanagisawa, Shinpei Ogata, and Kozo Okano

iwin2016

Riga, Latovia

2016-08-29

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

H. Yokoyama, Y. Higo, K. Hotta, T. Ohta, K. Okano and S. Kusumoto

31st ACM Symposium on Applied Computing

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

関澤俊弦，岡野浩三

IEICE/SIGSS ソフトウェアサイエンス研究会

沖縄県立宮古青少年の家 （沖縄県宮古島市）

2016-03-11

遠藤健，小形真平，岡野浩三，関澤俊弦

IPSJ/SIGSE ウィンターワークショップ 2016・イン・逗子

湘南国際村センター （神奈川県三浦郡）

2016-02-04

小林佳正，岡野浩三，関澤俊弦

JSSST 第 23 回ソフトウェア工学の基礎ワークショップ

ことひら温泉 琴参閣

2016-12-01

渡邊亮，岡野浩三，関澤俊弦

JSSST 第 23 回ソフトウェア工学の基礎ワークショップ

ことひら温泉 琴参閣

2016-12-01

Kozo Okano, Takeshi Nagaoka, Toshiaki Tanaka, Toshifusa Sekizawa, and Shinji Kusumoto

International Workshop on Informatics 2015

Amsterdam, Netherlands

2015-09-06

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

小林佳正，岡野浩三，関澤俊弦

JSSST 第22回 ソフトウェア工学の基礎ワークショップ

ほほえみの宿 滝の湯 （山形県天童市）

2015-11-27

大槻文也，伊藤和己，岡野浩三，関澤俊弦

ウィンターワークショップ 2015

沖縄，宜野湾

2015-01-22

Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, and Kozo Okano

The 1st IEEE International Workshop on Dependable Software and Applications

Taichung, Taiwan

2015-07-05

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

Hiraoki Shimba, Takafumi Ohta, Hiroki Onoue, Kozo Okano, and Shinji Kusumoto

International Workshop on Informatics (IWIN2014)

Prague, Czech Republic

2014-09-09

榛葉浩章, 尾ノ上博樹, 岡野浩三, 楠本真二

電子情報通信学会技術研究報告

沖縄　那覇

岡野浩三

ウィンターワークショッ プ2013・イン・大洗

茨城　大洗

Yuko Muto, Yukihiro Sasaki, Takafumi Ohta, Kozo Okano, Shinji Kusumoto, and Kazuki Yoshioka

International Workshop on Informatics 2013

Stockholm, Sweden

Toshifusa Sekizawa, Kozo Okano, Ayako Ogawa, and Shinji Kusumoto

International Workshop on Informatics 2013

Stockholm, Sweden

大田崇史，岡野浩三，楠本真二

第20 回ソフトウェア工学の基礎ワークショップFOSE 2013 in 加賀

石川　加賀

Kozo Okano, Kazuki Yoshioka, Shinji Kusumoto

Symposium on Advanced Information Systems (SAIS2013)

Copenhagen, Denmark

岡野浩三

高度情報シンポジウム2013

北海道　知床

Emsaib Geepalla, Behzad Bordbar, Kozo Okano, and Seyedhamed Seyedali

the World Congress on Internet Security 2013

London, UK

Hiroaki Shimba, Kentaro Hanada, Kozo Okano, and Shinji Kusumoto

International Workshop on Empirical Software Engineering in Practice 2013

Bankok, Thai

Emsaib Geepalla, Behzad Bordbar, Kozo Okano, Seyedhamed Seyedali

the proceedings of the World Congress on Internet Security (WorldCIS-2013) IEEE

Yuko Muto, Yukihiro Sasaki, Takafumi Ohta, Kozo Okano, Shinji Kusumoto, Kazuki Yoshioka

Proceedings of International Workshop on Informatics 2013 (IWIN2013)

佐々木幸広，岡野浩三，楠本真二

第20 回ソフトウェア工学の基礎ワークショップFOSE 2013 in 加 賀

石川　加賀

Toshifusa Sekizawa, Kozo Okano, Ayako Ogawa, Shinji Kusumoto

Proceedings of International Workshop on Informatics 2013 (IWIN2013)

森恵弥佳，岡野浩三，楠本真二

ウィンターワークショップ2013・イン・那須

ラフォーレ那須(栃木県）

佐々木幸広, 岡野浩三, 楠本真二

SES2013 併設ワークショップ　プログラム・デバッグ自動化の現状と今後

東京

藤田悠矢, 岡野浩三, 楠本真二

電子情報通信学会技術研究報告

北海道　札幌

Kozo Okano, Kazuki Yoshioka, and Shinji Kusumoto

Symposium on Advanced Information Systems 2013

Copenhagen, Denmark

吉岡一樹，岡野浩三，楠本真二:

電子情報通信学会技術報告, Vol.112, No.458, pp.121-126

志賀島休暇村（福岡県）

榛葉浩章，岡野浩三，楠本真二

第20 回ソフトウェア工学の基礎ワークショップFOSE 2013 in 加賀

石川　加賀

Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto

Accepted in the 5^<th> International Workshop on Empirical Software Engineering in Practice (IWESEP2013)

藤田悠矢，岡野浩三，楠本真二

第20 回ソフトウェア工学の基礎ワークショップFOSE 2013 in 加賀

石川　加賀

野田夏子, 岡野浩三, 早水公二, 戸田航史, 上野秀剛, 石尾隆, 林晋平, 妻木俊彦, 中村匡 秀, 岸知二, 本橋正成, 鷲崎弘宜

情報処理学会研究報告

東京

Kentaro Hanada, Hiroaki Shimba, Kozo Okano, Shinji Kusumoto

Proceedings of International Workshop on Informatics 2012 (IWIN2012)

吉岡一樹，岡野浩三，楠本真二

SES2012 併設ワークショップ　(WS-4) 形式 手法の今と未来

東京電機大学（東京都）

Kentaro Hanada, Hiroaki Shinba, Kozo Okano, and Shinji Kusumoto

International Workshop on Informatics 2012

France

吉岡一樹, 武藤祐子, 岡野浩三, 楠本真二

ウインターワークショップ2012・イン・琵琶湖

長浜

2012-01-20

丸山勝久，大森隆行，井垣宏，中村匡秀，伏田享平，角田雅照，風戸広史，岡田譲二， 岡野浩三，坂本一憲，本橋正成，岸知二，野田夏子，小林隆志，林晋平

情報処理学会研究報告, Vol.2012-SE-178, No.11

琵琶湖コンファレンスセンター（滋賀県）

榛葉浩章, 花田健太郎, 岡野浩三

電子情報通信学会技術報告

沖縄

2012-03-13

Kentaro Hanada, Hiroaki Shimba, Kozo Okano, Shinji Kusumoto

The 4th International Workshop on Empirical Software Engineering in Practice (IWESEP2012)

Osaka Japan (poster presentation)

Kentaro Hanada, Hiroaki Shimba, Kozo Okano, and Shinji Kusumoto

The 4th InternationalWorkshop on Empirical Software Engineering in Practice (IWESEP2012)

大阪大学（大阪府）

岡野浩三

ウインターワークショップ2012・イン・琵琶湖

長浜

2012-01-20

花田健太郎, 岡野浩三, 楠本真

ウインターワークショップ2012・イン・琵琶湖

長浜

2012-01-20

Kozo Okano, Toshifusa Sekizawa, Hiroaki Shimba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, and Shinji Kusumoto

International Workshop on Informatics 2012

France

河井秀樹, 岡野浩三, 関潭俊弦

ウインターワークショップ2012・イン・琵琶湖

長浜

2012-01-20

Kentaro Hanada, Kozo Okano, Shinji Kusumoto, and Kiyoyuki Miyazawa

14th International Conference on Enterprise Information Systems

Poland

Kozo Okano, Toshifusa Sekizawa, Hiroaki Shimba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, Shinji Kusumoto

Proceedings of International Workshop on Informatics 2012 (IWIN2012)

佐々木幸広，岡野浩三，楠本真二

日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第16 回 8 ワークショップFOSE2012

ゆふいん山水館(大分県）

佐々木幸広, 小林和貴, 岡野浩三, 楠本真二

電子情報通信学会技術報告

沖縄

2012-03-13

佐々木幸広, 岡野浩三, 楠本真二

日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第19回ワークショップFOSE2012

(レクチャーノート・ソフトウェア学38ソフトウェア工学の基礎XI)

Emsaieb Geepalla, Behzad Bordbar, Kozo Okano

Analysis and Tools for Integrated Circuits and Systems

Kentaro Hanada, Kozo Okano, Shinji Kusumoto, Kiyoyuki Miyazawa

Proceedings of 14th International Conference on Enterprise Information Systems (ICEIS2012)

岡野浩三，関澤俊弦，花田健太郎，榛葉浩章，楠本真二:

SES2012 併設ワークショップ　(WS-4) 形式 手法の今と未来

東京電機大学（東京都）

Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto

International Workshop on INformatics, IWIN 2011

Venice

2011-09-20

Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto

Proceedings of International Workshop on Informatics 2011 (IWIN2011)

小林和貴, 岡野浩三, 楠本真二

電子情報通信学会技術報告

札幌

2011-07-30

宮澤清介, 花田健太郎, 岡野浩三, 楠本真二

電子情報通信学会技術報告

沖縄

2011-03-08

武藤祐子, 岡野浩三, 楠本真二

日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第18回ワークショップFOSE2011

(レクチャーノート・ソフトウェア学37ソフトウェア工学の基礎XVIII)

Kozo Okano, Behzad Bordbar, Takeshi Nagaoka

proceedings of the 2nd International Conference on Networking and Computing

Yuko Muto, Kozo Okano, Shinji Kusumoto

proceedings of The Joint Conference of the 21th International Workshop on Software Measurement (IWSM2011) and the 6th International Conference on Software Process and Product Measurement (Mensura)

田中俊彰, 長岡武志, 岡野浩三, 楠本真二

情報処理学会研究報告

東京

2011-03-15

Yuko Mutoh, Kozo Okano, Shinji Kusumoto

The Joint Conference of the 21th International Workshop on Software Measurement (IWSM) and the 6th International Conference on Software Process and Product Measurement (Mensura)

Nara

2011-11-03

Kozo Okano, Behzad Bordbar, Takeshi Nagaoka

2nd International Conference on Networking and Computing

Osaka

2011-12-02

Yuko Muto, Kozo Okano, Shinji Kusumoto

International Conference on Advanced Software Engineering 2011

武藤祐子, 岡野浩三, 楠本真二

「ソフトウェア工学の基礎」研究会第16回ワークショップFOSE2011

青森

2011-11-25

Yuko Mutoh, Kozo Okano, Shinji Kusumoto

International Conference on Advanced Software Engineering 2011

Pusan

2011-05-27

武藤祐子, 岡野浩三, 楠本真二

平成23年度情報処理学会関西支部支部大会

大阪

2011-09-22

小林和貴, 岡野浩三, 楠本真二

平成23年度情報処理学会関西支部支部大会

大阪

2011-09-22

小林和貴, 宮本敬三, 岡野浩三, 楠本真二

日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第17回ワークショップFOSE2010

(レクチャーノート・ソフトウェア学36ソフトウェア工学の基礎VII)

宮本敬三, 堀直哉, 岡野浩三, 楠本真二, 西本哲

日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第16回ワークショップFOSE2009

(レクチャーノート・ソフトウェア学35ソフトウェア工学の基礎XVI)

宮澤清介, 岡野浩三, 楠本真二

電子情報通信学会技術報告

北海道大学

2010-08-06

Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, Shinji Kusumoto

International Workshop on Empirical Software Engineering in Practice 2010

武藤祐子, 岡野浩三, 楠本真二

情報処理学会ソフトウェア工学研究会ワークショップSES2010

東洋大

2010-09-01

田中俊彰, 長岡武志, 岡野浩三, 楠本真二

平成22年度情報処理学会関西支部支部大会

大阪

2010-09-22

Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto

Proceedings of International Workshop on Informatics 2010 (IWIN2010)

Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto

International Workshop on INformatics, IWIN 2010

エジンバラ英国

2010-09-13

小林和貴, 宮本敬三, 岡野浩三, 楠本真二

日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第16回ワークショップFOSE2010

新潟

2010-11-19

武藤祐子, 岡野浩三, 楠本真二:

情報処理学会ソフトウェア工学研究会ワークショップSES2010,ソフトウェアエンジニアリング最前線2010

伊藤明彦, 長岡武志, 岡野浩三, 楠本真二

電子情報通信学会技術報告

鹿児島

2010-03-08

宮澤清介, 岡野浩三, 楠本真二

平成22年度情報処理学会関西支部支部大会

大阪

2010-09-22

田中俊彰, 長岡武志, 岡野浩三, 楠本真二

情報処理学会研究報告

大阪大学

2010-11-12

宮澤清介, 岡野浩三, 楠本真二

情報処理学会研究報告

大阪大学

2010-11-12

田中俊彰, 長岡武志, 岡野浩三, 楠本真二

電子情報通信学会技術報告

北海道大学

2010-08-05

尾鷲方志, 岡野浩三, 楠本真二

日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第16回ワークショップFOSE2009

(レクチャーノート・ソフトウェア学35ソフトウェア工学の基礎XVI)

Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto

Proceedings of International Workshop on Informatics 2009 (IWIN2009)

宮澤清介, 岡野浩三, 楠本真二

情報処理学会ソフトウェア工学研究会ワークショップSES2009

Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto

Proceedings of International Workshop on Empirical Software Engineering in Practice 2009 (IWESEP2009)

長岡武志, 伊藤明彦, 岡野浩三, 楠本真二

International Workshop on INformatics, IWIN 2009

ハワイ, USA

Kozo Okano, and Toshifusa Sekizawa

3rd Workshop on Architecting Safety in Collaborative Mobile Systems

イタリア，フィレンツェ

2014-09-10 – 2014-09-12

招待講演