Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, Grammar-based Approach to Invertible Programs, 19th European Symposium on Programming (ESOP 2010), Paphos, Cyprus, March 22-26, 2010.

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 (to appear)

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.

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.

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)

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).

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)

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.