Remi Sharrock, Amin Cherbal, Levent Gurgen, Thierry Monteil, Shinichi Honiden: "Autonomic thinking for sensing devices", The Sixth International Conference on Autonomic and Autonomous Systems (ICAS’10), Cancun, Mexico. March 7-13, 2010 (to appear).

Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato, Akira Osada, and Kenji Kaijiri. Improving Reliability of Spectrum Analysis for Software Quality Requirements using TCM. IEICE Transactions on Information and Systems, Vol. E93-D, No. 4, Apr. 2010.(To appear)

Levent Gurgen, Johan Nystrom-Persson, Amin Cherbal, Cyril Labbe, Claudia Roncancio, Shinichi Honiden: "Plug&Manage Heterogeneous Sensing Devices", (Demonstration) In Proceedings of the 6th International Workshop on Data Management for Sensor Networks (DMSN’09), in conjunction with VLDB’09. Lyon, France. August 24, 2009.

Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden: "Group Migration by Mobile Agents in Wireless Sensor Networks" Oxford Computer Journal, (to appear)

Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden The 2nd International Workshop on Requirements Engineering and Law (RELAW'09) at RE 2009 2009年9月

Adrian Helmut David Klein, Fuyuki Ishikawa, Bernhard Bauer, A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns, The 7th International Conference on Service-Oriented Computing (ICSOC 2009), November 2009

Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei, Supporting Automatic Model Inconsistency Fixing, The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009), Amsterdam, The Netherlands, August 24-28 2009.

T. Okubo, K. Taguchi, N. Yoshioka, “Misuse cases + Assets + Security Goals”, International Conference on Computational Science and Engineering, Vancouver, Canada, 424-429, IEEE (2009).

Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden, Physical Interaction in Pervasive Computing: Formal Modeling, Analysis and Verification, The ACM International Conference on Pervasive Services (ICPS2009), July 2009

Basem Suleiman, Fuyuki Ishikawa, A Constraint-Based Approach for Developing Consistent Contracts in Composite Services, The 3rd International Workshop on Web Service Composition and Adaptation (WSCA-2009), July 2009

Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lammel, Andy Schurr, James F. Terwilliger, Bidirectional Transformations: A Cross-Discipline Perspective, International Conference on ModelTransformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009. LNCS 5563, Springer. pp.260-283.

Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi, Supporting Parallel Updates with Bidirectional Model Transformations, International Conference on Model Transformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009. (To appear)

Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato and Kenji Kaijiri. Spectrum Analysis for Quality Requirements by using A Term-Characteristics Map. CAiSE09, 8-12 June 2009 Amsterdam, The Netherlands. (To appear)

J. Davies, J. Gibbons, M. Hinchey, K. Taguchi, "Preface:Special Issue on Formal Methods Education and Training", ACM SIGCSE Bulletin inroads, vol 41, issue 2, June, pp14-16 (2009).

Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, A Compositional Approach to Bidirectional Model Transformation, New Ideas and Emerging Results Track of 31st International Conference on Software Engineering, Vancouver, Canada, May 16-24, 2009.

吉岡信和、田口研治、“セキュリティ要求分析の効用”、情報処理学会　学会誌 3月号, pp185-186, (2009)

H. Mouratidis, 田口研治、“セキュアトロポス概論”、情報処理学会　学会誌 3月号,pp198-202, (2009)

Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Towards Compositional Approach to Model Transformations for Software Development, 24th Annual ACM Symposium on Applied Computing (SAC 2009, Software Engineering Track), Honolulu, Hawaii, USA, March 8-12, 2009.

Eduardo B. Fernandez, Nobukazu Yoshioka, Hironori Washizaki: "Misuse Patterns", The Forth International Workshop "Dependability Aspects on Data Warehousing and Mining applications" (DAWAM), Fukuoka, Japan, March, 2009.

Shunichi Suzuki, Tomonori Sato, Masaaki Tanigawa, Akira Osada, Haruhiko Kaiya, Kenji Kaijiri. A Systematic Method for Generating Quality Requirements Spectrum. ACM SAC 2009, Poster, Mar. 2009, Honolulu, Hawaii, USA.

Invited Paper: Fuyuki Ishikawa and Shinichi Honiden, On Applicability of Formal Methods and Tools to Dependable Services, The Journal of The Institute of Electronics, Information and Communication Engineers, Vol. E92-B, No.01, pp.9--16, January 2009.

Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano,Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store,ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X 2009),Savannah, Georgia, USA, Jan 24, 2009.

J. S. Dong, J. Sun, J. Sun, K. Taguchi, X. Zhang, “Specifying and Verifying Sensor Networks: an Experiment of Formal Methods”, Proceedings of International Conference on Formal Engineering Methods (ICFEM) ’08, pp318-337, Springer, LNCS 5256, Kitakyushu (2008)

鄭顕志，石川 冬樹，吉岡 信和，深澤 良彰，本位田真一，解説論文：適応エージェントのためのユビキタスコンピューティングミドルウェア，日本ソフトウェア科学会コンピュータソフトウェア「エージェント」特集，pp11-19, Vol. 25, No. 4,2008.

石川 冬樹，阿部 玲，高橋 竜一，吉岡信和，深澤 良彰，本位田真一，ユビキタスコンピューティングにおける分散協調・連携技術の研究動向，日本ソフトウェア科学会コンピュータソフトウェア「エージェント」特集，pp.133-144, Vol. 25, No. 4, 2008.

Daisuke Tanabe, Kohei Uno, Kinji Akemine, Takashi Yoshikawa, Haruhiko Kaiya, and Motoshi Saeki. Supporting Requirements Change Management in Goal Oriented Analysis. In Proc. of 16th IEEE International Requirements Engineering Conference (RE'08), pp. 3-12, Barcelona, Catalunya, Spain, 8-12 Sep. 2008.

Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extracting Time and Location Concepts Related to Tags, The 1st Workshop on Incentives for the Semantic Web (INSEMTIVE 2008), October 2008.

Kenji Taguchi, Jin Song Dong: Formally specifying and verifying mobile agents - model checking mobility: The MobiOZ approach in International Journal of Agent-Oriented Software Engineering, Vol. 2:4 pp.449-474 (2008).

Nakagawa, K. Taguchi, S. Honiden: Constructing Formal Specifications from Requirements Specifications based on Model Transformation in Journal of IPSJ Vol.49 No.7 pp.2304-2318 (2008).

Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden, Model Checking Process with Goal Oriented Requirements analysis, 15th Asia-Pacific Software Engineering Conference, 2008, Beijing, China, 2008.

Y. Tahara, N. Yoshioka, K. Taguchi, T. Aoki, S. Honiden, Evolution of a Course on Model Checking for Practical Applications, in Proceeding of FMET, GRACE-TR-2008-03, pp33-48, GRACE Center, National Institute of Informatics (2008).

H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno, Model checking education for software engineering in Japan, in Proceedings of FMET, GRACE-TR-2008-03, pp49-58 (2008).

Yijun Yu, haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Enforcing a Security Pattern in Stakeholder Goal Models (short paper), 4th Workshop on Quality of Protection, Alexandria VA, USA, October 27, 2008.

Yijun Yu, haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Enforcing a Security Pattern in Stakeholder Goal Models (short paper), 4th Workshop on Quality of Protection, Alexandria VA, USA, October 27, 2008.

J. S. Dong, J. Sun, J. Sun, K. Taguchi, X. Zhang, “Specifying and Verifying Sensor Networks: an Experiment of Formal Methods” , Proceedings of International Conference on Formal Engineering Methods (ICFEM) ’08, Springer, LNCS 5256, 318-337, Kitakyushu (2008)

Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems, The 12th IEEE International EDOC Conference (EDOC 2008), September 2008 .

Keisuke Nakano, Zhenjiang Hu, Masato Takeichi, Consistent Web Site Updating based on Bidirectional Transformation, 10th IEEE International Symposium on Web Site Evolution (WSE 2008), Beijing, China, October 3-4, 2008.

Eduardo B. Fernandez, Jan Jurjens, Nobukazu Yoshioka, and Hironori Washizaki, Incorporating database systems into a secure software development methodology, Proc. of 2nd International Workshop on Secure systems methodologies using patterns, Sep. 2008.

J. Davies, J. Gibbons, M. Hinchey, K. Taguchi (editors) Proceedings of the first international workshop on Formal Methods Education and Training, GRACE-TR-2008-03, GRACE Center, National Institute of Informatics, October 2008

Soo Ling Lim, Fuyuki Ishikawa, Eric Platon, Karl Cox, Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach, The 2008 IEEE Internatinal Conference on Services Computing (SCC2008), July 2008.

Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijo, Haruhiko Kaiya, and Kenji Kaijiri. So/M: A Requirements Definition Tool using Characteristics of Existing Similar Systems. In 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC2008), pp. 255-262, Turku, Finland, 28 July - 1 Aug. 2008.

Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi, A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations, Higher-Order and Symbolic Computation, Vol. 21, No. 1-2, Springer, June 2008. pp. 89-118.

Motoshi Saeki and Haruhiko Kaiya. Metrics for a Model Driven Development Context. In 3rd International Conference on Evaluation on Novel Approaches to Software Engineering (ENASE 2008), pp. 13-22, Funchal, Madeira, Portugal, 4-7 May 2008. INSTICC.

Haruhiko Kaiya, Akira Osada, and Kenji Kaijiri. Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems. IEICE Transactions on Information and Systems, Vol. E91-D, No. 4, pp. 897-906, Apr. 2008.

Eduardo Fernandez, Hironori Washizaki, Nobukazu Yoshioka, Atsuto Kubo, Yoshiaki Fukuzawa, "Classifying security patterns", Proc. of the 10th Asia Pacific Web Conference (APWeb), LNCS 4976, pp. 342--347, 2008.

Fuyuki Ishikawa, Kenji Taguchi, Shinichi Honiden, How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project, The 7th VDM-Overture Workshop at FM 2009, November 2009 (to appear)

Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden, What Top-Level Software Engineers Tackles after Learning Formal Methods -Experiences from the Top SE Project, The 2nd International FME Conference on Teaching Formal Methods (TFM 2009), November 2009 (to appear)

J. Davies, J. Gibbons, M. Hinchey, K. Taguchi, "Preface:Special Issue on Formal Methods Education and Training", ACM SIGCSE Bulletin inroads, vol.41, issue2, June, pp14-16 (2009)

H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno,“Model Checking Education for Software Engineers in Japan”, ACM SIGCSE Bulletin inroads, vol. 41, issue2, June, pp45-50 (2009)

Y. Tahara, N. Yoshioka, K. Taguchi, T. Aoki, S. Honiden, “Evolution of a Course on Model Checking for Practical Applications", ACM SIGCSE Bulletin inroads, vol 41, issue 2, June, pp38-44 (2009).

H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno, “Model Checking Education for Software Engineers in Japan”, ACM SIGCSE Bulletin inroads, vol 41, issue 2, June, pp45-50 (2009).

井上理穂子, "教育目的利用のための著作権制限とフェアユース規定導入の可能性" 情報ネットワーク・ローレビュー第8巻, 2009年4月発行予定.

西原秀明、青木利晃、粂野文洋、篠崎孝一、田口研治、早水公二、”MCBOK2008:ソフトウェア開発のためのモデル検査知識体系”、組み込みシステムシンポジウム(ESS 2009) (2009)

C. Artho, K. Taguchi, Y. Tahara, S. Honiden, Y. Tanabe, “Teaching Software Model Checking”, Formal Methods in Computer Science Education (FORMED) ’08, Budapest,2008.

K. Taguchi, Y. Tahara, “Curriculum Design and Methodologies for Security Requirements Analysis”, Progress in Informatics, No. 5, pp. 19-34,(2008)

H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno,“Model checking education for software engineering in Japan (Preliminary Version)”, 算譜科学研究速報, （独）産業技術総合研究所,システム検証センター、AIST-PS-2008-013 (2008)

青木利晃、粂野文洋、木下佳樹、篠崎孝一、高木理、高村博紀、田口研治、中原早生、西原秀明、早水公二、本位田真一、渡邊宏”モデル検査の教育プログラム構築に 向けて”, 算譜科学研究速報, （独）産業技術総合研 究所,システム検証センター、AIST-PS-2008-012 (2008)

J. Davies, J. Gibbons, M. Hinchey, K. Taguchi (editors), Proceedings of the first international workshop on Formal Methods Education and Training, Grace-TR-2008-03, Grace Center, National Institute of Informatics

本位田真一, 粂野文洋, 田原康之, 鷲崎弘宜, “トップエスイー:サイエンスによる知的ものづくり教育”, 情報処理, Vol.48, No.11, pp1264-1272, 2007.

本位田真一, 田口研治, 吉岡信和, 田原康之, 鷲崎弘宜, “トップエスイー「サイエンスによる知的ものづくり教育」”, 映像情報メディア学会誌, Vol.61, No.9, pp85-90, 2007.

本位田真一, “トップエスイー：サイエンスによる知的ものづくり教育”, OHM, Vol.94, No.8, 2007.

Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, and Hironori Washizaki, "Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan," Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), ACM Press, pp.708-717, 2007.

T. Tsumaki, H.Kaiya, Y. Tahara, N. Yoshioka, K. Taguchi, S. Honiden, “Errors and Misconceptions in Learning i*”, in Proceedings of the 2nd International Workshop on Requirements Engineering Education and Training, 2007.

Atsuto Kubo, Hironori Washizaki, Yoshiaki Fukazawa, “Automatic Extraction and Verification of Page Transitions in a Web Application”, Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), IEEE Computer Society, pp.350-357, 2007.

久保淳人, 鷲崎弘宜, 深澤良彰, “Webアプリケーションのページ遷移の自動抽出と検証”, ソフトウェアエンジニアリングシンポジウム2007, 2007.