解説
[1] 中村匡秀, 菊野亨, "通信サービスにおけるフィーチャーインタラクション検出へのペトリネットの応用," システム/制御/情報, volume 45, number 8, pages 451--460 2001年8月.
論文誌
[1] 二村阿美, 門田暁人, 玉田春昭, 神崎雄一郎, 中村匡秀, 松本健一, "命令のランダム性に基づくプログラム難読化の評価," コンピュータソフトウェア,「ソフトウェア工学」特集号, volume 30, number 3, pages 18-24 2013年8月.
[2] 角田雅照, 伏田享平, 亀井靖高, 中村匡秀, 三井康平, 後藤慶多, 松本健一, "時空間情報と動作に基づく認証方法," 知能と情報(日本知能情報ファジィ学会誌), volume 23, number 6, pages 874-881 2011年12月.
[3] 神崎雄一郎, 門田暁人, 中村匡秀, 松本健一, "ソースコードレベルにおけるプログラムのカムフラージュ," コンピュータソフトウェア, volume 28, number 1, pages 300-305 2011年2月.
[4] 中村匡秀, 関本純一, 井垣宏, 松本健一, "家庭のエンドユーザを対象としたホームネットワーク機器連携サービス作成支援システム," ヒューマンインターフェース学会論文誌, 2009年11月.
[5] Ben Yan, Masahide Nakamura, Lydie du Bousquet, and Ken-ichi Matsumoto, "`Improving Reusability of Hazard Analysis Model with Hazard Template for Deriving Safety Properties of Home Network System," International Journal of Smart Home, volume 3, number 2, pages 71-88 April 2009.
[6] Ben Yan, Masahide Nakamura, and Ken-ichi Matsumoto, "Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model," International Journal of Smart Home, volume 3, number 1, pages 67-80 January 2009.
[7] Hiroki Yamauchi, Akito Monden, Masahide Nakamura, Haruaki Tamada, Yuichiro Kanzaki, and Ken-ichi Matsumoto, "A Goal-Oriented Approach to Software Obfuscation," International Journal of Computer Science and Network Security, volume 8, number 9, pages 59-71 September 2008.
[8] Masahide Nakamura, Akihiro Tanaka, Hiroshi Igaki, Haruaki Tamada, and Ken-ichi Matsumoto, "Constructing Home Network Systems and Integrated Services Using Legacy Home Appliances and Web Services," International Journal of Web Services Research, volume 5, number 1, pages 82--98 January 2008.
[9] Ben Yan, Masahide Nakamura, Lydie du Bousquet, and Ken-ichi Matsumoto, "Validating Safety for Integrated Services of Home Network System Using Jml," Journal of Information Processing (JIP), volume 16, 2008.
[10] Hidetake Uwano, Masahide Nakamura, Akito Monden, and Ken-ichi Matsumoto, "Exploiting Eye Movements for Evaluating Reviewer's Performance in Software Review," IEICE Transactions on Fundamentals, volume E90-A, number 10, pages 317-328 October 2007.
[11] 玉田春昭, 中村匡秀, 門田暁人, 松本健一, "APIライブラリ名隠ぺいのための動的名前解決を用いた名前難読化," 電子情報通信学会論文誌D, volume J90-D, number 10, pages 2723--2735 2007年10月.
[12] 岡本圭司, 玉田春昭, 中村匡秀, 門田暁人, 松本健一, "API呼び出しを用いた動的バースマーク," 電子情報通信学会論文誌D, volume J89-D, number 8, pages 1751--1763 2006年8月.
[13] Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, and Tohru Kikuno, "Design and Evaluation of Feature Interaction Filtering with Use Case Maps," NECTEC Technical Journal , volume 5, number 16, pages 581-597 December 2005.
[14] Haruaki Tamada, Masahide Nakamura, Akito Monden, and Ken-ichi Matsumoto, "Java Birthmarks -- Detecting the Software Theft," IEICE Transactions on Information and Systems , volume E88-D, number 9, pages 2148--2158 September 2005.
[15] Yuichiro Kanzaki, Hiroshi Igaki, Masahide Nakamura, Akito Monden, and Ken-ichi Matsumoto, "Quantitative Analysis of Information Leakage in Security-Sensitive Software Processes," IPSJ Journal, Special Issue on Research on Computer Security Characterized in the Context of Social Responsibilities, volume 46, number 8, pages 2129-2141 August 2005.
[16] パッタラ・リーラープルット, 中村匡秀, 松本健一, 菊野亨, "Use Case Maps を用いたサービス競合可能シナリオの導出と実験的評価," 電子情報通信学会論文誌, volume J88-B, number 7, pages 1237-1247 2005年7月.
[17] 桝田秀夫, 小川剛史, 齊藤明紀, 中村匡秀, 近藤弘一, 中西通雄, "教育用計算機システムにおけるプリンタシステムに求められる要求とその実装," 情報処理学会論文誌, volume 46, number 4, pages 930-939 2005年4月.
[18] 井垣宏, 中村匡秀, 玉田春昭, 松本健一, "サービス指向アーキテクチャを用いたネットワーク家電連携サービスの開発," 情報処理学会論文誌, volume 46, number 2, pages 314--326 2005年2月.
[19] Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, and Tohru Kikuno, "On Detecting Feature Interactions in Programmable Service Environment of Internet Telephony," Journal of Computer Networks, volume 45, number 5, pages 605--624 August 2004.
[20] 神崎雄一郎, 門田暁人, 中村匡秀, 松本健一, "命令のカムフラージュによるソフトウェア保護方法," 電子情報通信学会論文誌A, volume J87-A, number 6, pages 755--767 2004年6月.
[21] Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Feature Interaction Detection by Bounded Model Checking," IEICE Transactions on Information and Systems, volume E86-D, number 12, pages 2579--2587 December 2003.
[22] 阪井誠, 中道上, 島和之, 中村匡秀, 松本健一, "WebTracer:視線を利用したWebユーザビリティ評価環境," 情報処理学会論文誌, volume 44, number 11, pages 2575--2586 2003年11月.
[23] Masahide Nakamura and Tohru Kikuno, "Exploiting Symmetric Relation for Efficient Feature Interaction Detection," IEICE Trans. on Information and Systems, volume E72-D, number 10, pages 1352--1363 October 1999.
[24] Kenji Ishida, Yoshiaki Kakuda, Masahide Nakamura, Tohru Kikuno, and Kitsutaro Amano, "A Protocol Synthesis Method for Fault-Tolerant Multipath Routing," Information and Software Technology, volume 41, number 11, pages 745--754 September 1999.
[25] Masahide Nakamura and Tohru Kikuno, "A New Approach in Feature Interaction Testing," INTEGRATION the VLSI journal, volume 26, pages 211--223 December 1998.
[26] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "On Constructing Communication Protocols from Component-Based Service Specifications," Journal of Computer Communications, volume 19, number 14, pages 1200--1215 December 1996.
[27] Yoshiaki Kakuda, Masahide Nakamura, and Tohru Kikuno, "Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives," IEICE Trans. Fundamentals, volume E77-A, number 10, pages 1634--1645 October 1994.
国際会議
[1] Masateru Tsunoda, Kyohei Fushida, Yasutaka Kamei, Masahide Nakamura, Kohei Mitsui, Keita Goto, and Ken-ichi Matsumoto, "An Authentication Method with Spatiotemporal Interval and Partial Matching," In Proc. of 14th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2013), pages 535-542 July 2013.
[2] Shinsuke Matsumoto, Yasutaka Kamei, Akito Monden, Ken-ichi Matsumoto, and Masahide Nakamura, "An Analysis of Developer Metrics for Fault Prediction," PROMISE 2010, September 2010.
[3] Ben Yan, Masahide Nakamura, and Ken-ichi Matsumoto, "Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model," In Proc. of the Third International Symposium on Smart Home(SH08), volume 2, pages 428-436 December 2008.
[4] Yuichiro Kanzaki, Akito Monden, Masahide Nakamura, and Ken-ichi Matsumoto, "Program Camouflage: a Systematic Instruction Hiding Method for Protecting Secrets," In Proc. World Congress on Science, Engineering and Technology, volume 33, pages 557-563 September 2008.
[5] Masahide Nakamura, Yusuke Fukuoka, Hiroshi Igaki, and Ken-ichi Matsumoto, "Implementing Multi-Vendor Home Network System with Vendor-Neutral Services and Dynamic Service Binding," In Proc. of International Conference on Services Computing (SCC 2008), pages 275-282 July 2008.
[6] Masateru Tsunoda, Kohei Mitsui, Kyohei Fushida, Yasutaka Kamei, Masahide Nakamura, Keita Goto, and Ken-ichi Matsumoto, "An Authentication Method Combining Spatiotemporal Information and Actions," In Proc. of the 4th International Conference on Mobile Computing and Ubiquitous Networking (ICMU 2008), pages 41-49 June 2008.
[7] Naohiro Yuasa, Kohei Mitsui, Hiroki Sakakibara, Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto, "Operating Networked Appliances Using Gaze Information and Voice Recognition," In In Proc. of the IASTED International Conference on Human Computer Interaction (IASTED-HCI 2008), pages 107-112 March 2008.
[8] Yoji Onishi, Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto, "A Scalable Sensor Application Framework Based on Hierarchical Load-Balancing Architecture," In Proc. of the IASTED International Conference on Software Engineering (IASTED SE 2008), pages 37--42 February 2008.
[9] Haruaki Tamada, Masahide Nakamura, Akito Monden, and Ken-ichi Matsumoto, "Introducing Dynamic Name Resolution Mechanism for Obfuscating System-Defined Names in Programs," In Proc. of the IASTED International Conference on Software Engineering (IASTED SE 2008), pages 125--130 February 2008.
[10] Lydie du Bousquet, Masahide Nakamura, Ben Yan, and Hiroshi Igaki, "Using Formal Methods to Increase Confidence in a Home Network System Implementation, Case Study," In 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007), pages 203-214 December 2007.
[11] Ben Yan, Masahide Nakamura, Lydie du Bousquet, and Ken-ichi Matsumoto, "Characterizing Safety of Integrated Services in Home Network System," In 5th International Conference On Smart homes and health Telematics (ICOST2007), volume LNCS, number 4541, pages 130-140 June 2007.
[12] Hiroshi Igaki, Masahide Nakamura, Ken-ichi Matsumoto, and Mikio Aoyama, "Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems," In Proc. of 13th Asia-Pacific Software Engineering Conference (APSEC 2006), pages 45-52 December 2006.
[13] Kohei Mitsui, Hiroshi Igaki, Kentaro Takemura, Masahide Nakamura, and Ken-ichi Matsumoto, "Exploiting Eye Gaze Information for Operating Services in Home Network System," In 2006 International Symposium on Ubiquitous Computing Systems (UCS2006), volume LNCS4239, pages 13-27 October 2006.
[14] Masahide Nakamura, Akihiro Tanaka, Hiroshi Igaki, Haruaki Tamada, and Ken-ichi Matsumoto, "Adapting Legacy Home Appliances to Home Network Systems Using Web Services," In IEEE International Conference on Web Services (ICWS2006), pages 849-858 September 2006.
[15] Takafumi Matsuo, Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Hiroshi Igaki, and Ken-ichi Matsumoto, "Automatically Verifying Integrated Services in Home Network Systems," In International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006), volume II, pages 173-176 July 2006.
[16] Hidetake Uwano, Masahide Nakamura, Akito Monden, and Ken-ichi Matsumoto, "Analyzing Individual Performance of Source Code Review Using Reviewers’ Eye Movement," In Proceedings ETRA 2006, pages 133-140 March 2006.
[17] Hiroki Yamauchi, Yuichiro Kanzaki, Akito Monden, Masahide Nakamura, and Ken-ichi Matsumoto, "Software Obfuscation from Crackers’ Viewpoint," In Proc. IASTED International Conference on Advances in Computer Science and Technology (IASTED ACST 2006), pages 286--291 January 2006.
[18] Pattara Leelaprute, Masahide Nakamura, Tatsuhiro Tsuchiya, Ken-ichi Matsumoto, and Tohru Kikuno, "Describing and Verifying Integrated Services of Home Network Systems," In Proc. of 12th Asia-Pacific Software Engineering Conference (APSEC 2005), pages 549-558 December 2005.
[19] Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto, "A Service-Oriented Framework for Networked Appliances to Achieve Appliance Interoperability and Evolution in Home Network System," In Proc. of International Workshop on Principles of Software Evolution (IWPSE 2005), pages 61-64 September 2005.
[20] Masahide Nakamura, Hiroshi Igaki, and Ken-ichi Matsumoto, "Feature Interactions in Integrated Services of Networked Home Appliances -An Object-Oriented Approach-," In Proc. of Int'l. Conf. on Feature Interactions in Telecommunication Networks and Distributed Systems (ICFI'05), pages 236-251 July 2005.
[21] Takahiro Kimura, Haruaki Tamada, Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto, "A Visual Framework for Monitoring and Controlling Distributed Service Components," In Proc. of 1st Korea-Japan Joint Workshop on Ubiquitous Computing and Networking Systems (ubiCNS 2005), pages 245-250 June 2005.
[22] Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, and Tohru Kikuno, "Definition and Detection of Semantic Warnings for Voicexml," In Proc. of the IASTED International Conference on Software Engineering (IASTED SE 2005), pages 91--98 February 2005.
[23] Yuichiro Kanzaki, Hiroshi Igaki, Masahide Nakamura, Akito Monden, and Ken-ichi Matsumoto, "Characterizing Dynamics of Information Leakage in Software Process," In Proc. 3rd Australasian Information Security Workshop (AISW2005), volume 44, pages 145--151 January 2005.
[24] Masahide Nakamura, Hiroshi Igaki, Haruaki Tamada, and Ken-ichi Matsumoto, "Implementing Integrated Services of Networked Home Appliances Using Service-Oriented Architecture," In Proc. International Conference of Service Oriented Computing (ICSOC04), pages 269--278 November 2004.
[25] Haruaki Tamada, Keiji Okamoto, Masahide Nakamura, Akito Monden, and Ken-ichi Matsumoto, "Dynamic Software Birthmarks to Detect the Theft of Windows Applications," In Proc. International Symposium on Future Software Technology 2004 (ISFST 2004), October 2004.
[26] Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto, "Design and Evaluation of the Home Network Systems Using the Service Oriented Architecture," In Proc. International Conference on E-Business and Telecommunication Networks(ICETE04), volume 1, pages 62--69 August 2004.
[27] Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, and Tohru Kikuno, "Defining Semantic Guideline in XML-based Programmable Service Environment," In Proc. of the 10th Intetnational Symposium on Pacific Rim Dependable Computing (PRDC2004), volume Fast Abstracts, pages 15--16 March 2004.
[28] Haruaki Tamada, Masahide Nakamura, Akito Monden, and Ken-ichi Matsumoto, "Design and Evaluation of Birthmarks for Detecting Theft of Java Programs," In Proc. IASTED International Conference on Software Engineering (IASTED SE 2004), pages 569--575 February 2004.
[29] Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, and Tohru Kikuno, "Evaluating Semantic Warnings in Voip Programmable Services with Open Source Environment," In Proc. of the 10th Asia Pacific Software Engineering Conference (APSEC2003), pages 552--561 December 2003.
[30] Yuichiro Kanzaki, Akito Monden, Masahide Nakamura, and Ken-ichi Matsumoto, "Exploiting Self-Modification Mechanism for Program Protection," In Proc. 27th Computer Software and Applications Conference (compsac2003), pages 170--179 November 2003.
[31] Masahide Nakamura, Akito Monden, Tomoaki Itoh, Ken-ichi Matsumoto, Yuichiro Kanzaki, and Hirotsugu Satoh, "Queue-Based Cost Evaluation of Mental Simulation Process in Program Comprehension," In Proc. 9th IEEE International Software Metrics Symposium (METRICS2003), pages 351--360 September 2003.
[32] Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Services by Bounded Model Checking," In Proc. 2003 International Technical Conference on Circuits/Systems, volume Computers and Communications (ITC-CSCC2003), number 3, pages 1807--1810 July 2003.
[33] Masahide Nakamura, Pattara Leelaprute, Ken'ichi Matsumoto, and Tohru Kikuno, "Detecting Script-To-Script Interactions in Call Processing Language," In Proc. 7th Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'03), pages 215--230 July 2003.
[34] Noboru Nakamichi, Makoto Sakai, Jian Hu, Kazuyuki Shima, and Masahide Nakamura, "Webtracer: Evaluating Web Usability with Browsing History and Eye Movement," In Proc. 10th Int'l Conference on Human - Computer Interaction (HCI International 2003), number 1, pages 813--817 June 2003.
[35] Makoto Sakai, Noboru Nakamichi, Jian Hu, Kazuyuki Shima, and Masahide Nakamura, "Webtracer: a New Integrated Environment for Web Usability Testing," In 10th Int'l Conference on Human - Computer Interaction (HCI International 2003), Adjunct Proceeding, pages 289-290 June 2003.
[36] Masahide Nakamura, Pattara Leelaprute, Ken'ichi Matsumoto, and Tohru Kikuno, "Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony Authors," In In Proc. Symposium on Applications and the Internet (SAINT2003), pages 283--291 January 2003.
[37] Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Services with a Sat Solver," In Proc. of 2002 Pacific Rim International Symposium on Dependable Computing (PRDC'02) , pages 131--134 December 2002.
[38] Noboru Nakamichi, Makoto Sakai, Jian Hu, Kazuyuki Shima, and Masahide Nakamura, "Development and Evaluation of a Usability Evaluation Tool: Webtracer," In In Proc. International Symposium on Empirical Software Engineering (ISESE2002), volume 2, pages 27--28 October 2002.
[39] Pattara Leelaprute, Masahide Nakamura, and Tohru Kikuno, "Detecting Semantic Ambiguity in Service Description of Internet Telephony," In Proc. of the Sixth National Computer Science and Engineering Conference (NCSEC2002), pages 57--62 October 2002.
[40] Pattara Leelaprute, Masahide Nakamura, and Tohru Kikuno, "Characterizing Semantic Warnings of Service Description in Call Processing Language on Internet Telephony," In In Proc. International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2002), July 2002.
[41] Tatsuhiro Tsuchiya. Masahide Nakamura and Tohru Kikuno, "Symbolic Approaches to Feature Interaction Detection," In In Proc. IEEE Conference on Dependable Systems and Networks (ICDSN-2002), June 2002.
[42] Hideo Masuda, Michio Nakanishi, Masahide Nakamura, and Mio Suzuki, "Implementation and Evaluation of Authorized Access Lan Sockets Using Pppoe," In Int'l Symposium on Application and the Internet (SAINT2002), pages 20--23 March 2002.
[43] Hideo Masuda, Masahide Nakamura, Akinori Saitoh, Koichi Kondo, Tomonori Kawazoe, and Michio Nakanishi, "Requirements and Implementation of Printing Subsystem in Educational Computer System," In Pan-Yellow-Sea International Workshop on Information Technologies for Network Era (PYIWIT'02), pages 251--256 March 2002.
[44] Masahide Nakamura, Pattara Leelaprute, and Tohru Kikuno, "Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps," In Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS2002), pages 237--244 January 2002.
[45] Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Systems by Symbolic Model Checking," In 16th International Conference on Information Networking (ICOIN-16), 8B2.1-2.11 January 2002.
[46] Masahide Nakamura, Michio Nakanishi, and Akira Harada, "Analysis of Grouping Strategy for Presentation Exercise in Computer Literacy Course," In Int'l Conf. on Information Technology Based Higher Education and Training (ITHET'01), CDROM July 2001.
[47] Masahide Nakamura, Tohru Kikuno, Jameleddine Hassine, and Luigi Logrippo, "Feature Interaction Filtering with Use Case Maps at Requrements Stage," In Proc. of Sixth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'00), pages 163--178 May 2000.
[48] Masahide Nakamura, Tianbao Ding, Jacques Sincennes, Xiaotong Lu, and Luigi Logrippo, "Second Feature Interction Contest - Contest Report," In Proc. of Sixth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'00), pages 314--317 May 2000.
[49] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Feature Interaction Detection Using Permutation Symmetry," In Proc. of Fifth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'98), pages 187--201 September 1998.
[50] Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "A Synthesis Method for Fault-Tolerant and Flexible Multipath Routing Protocols," In Proc. of Int'l Conf. on Engineering of Complex Computer Systems (ICECCS'97), pages 96--105 September 1997.
[51] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Petri Net Based Detection Method for Non-Deterministic Feature Interactions and Its Experimental Evaluation," In Proc. of Fourth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'97), pages 138--152 June 1997.
[52] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri Net Model," In Proc. of Int'l. Conf. on Computer Communication (INFOCOM'97), pages 1253--1260 April 1997.
[53] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "An Integration-Oriented Approach to Designing Communication Protocols from Component-Based Service Specifications," In Proc. of Int'l. Conf. on Computer Communication (INFOCOM'96), pages 1157--1164 March 1996.
[54] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Protocol Synthesis from Acyclic Formed Service Specifications," In Proc. of Int'l. Conf. on Information Networking (ICOIN'94), pages 177--182 December 1994.
国内会議(査読付き)
[1] 玉田春昭, 中村匡秀, 門田暁人, 松本健一, "Java クラスファイル難読化ツール DonQuixote," ソフトウェア工学の基礎XIII, 日本ソフトウェア科学会 FOSE2006, pages 113--118 2006年11月.
[2] 上野秀剛, 中村匡秀, 門田暁人, 松本健一, "プログラマの視線を用いたコードレビュー性能の要因分析," ソフトウェア工学の基礎XIII 日本ソフトウェア科学会FOSE 2006, pages 103-112 2006年11月.
[3] 神崎雄一郎, 井垣宏, 中村匡秀, 門田暁人, 松本健一, "情報漏えいのリスクと生産性を考慮したソフトウェアプロセスの開発者割当て探索," ソフトウェアシンポジウム2006, pages 24-32 2006年7月.
[4] 岡本圭司, 玉田春昭, 中村匡秀, 門田暁人, 松本健一, "ソフトウェア実行時のAPI呼び出し履歴に基づく動的バースマークの提案," ソフトウェア工学の基礎XI, 日本ソフトウェア科学会FOSE2004, pages 85--88 2004年11月.
[5] 山内寛己, 神崎雄一郎, 門田暁人, 中村匡秀, 松本健一, "マルチバージョン生成によるプログラムの解析防止," ソフトウェア工学の基礎XI, 日本ソフトウェア科学会FOSE2004, pages 157--160 2004年11月.
表彰・受賞
[1] Yuichiro Kanzaki, Hiroshi Igaki, Masahide Nakamura, Akito Monden, and Ken-ichi Matsumoto, "2005年度 IPSJ Digital Courier船井若手奨励賞," , April 2006.
[2] Masahide Nakamura, Hiroshi Igaki, and Ken-ichi Matsumoto, "Feature Interactions in Integrated Services of Networked Home Appliances -An Object-Oriented Approach-," In Proc. of Int'l. Conf. on Feature Interactions in Telecommunication Networks and Distributed Systems (ICFI'05, Best Paper Award), pages 236-251 July 2005.
[3] Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto, "国際会議 ICETE2004 最優秀論文賞," , August 2004.
特許
[1] 中村匡秀, 福岡佑介, 林淳, 堀渕高照, 小澤美津晴, 木村芳信, "ゲートウェイ装置およびその情報制御方法," , volume 特願2007-242399, 2007年9月.
[2] 玉田春昭, 門田暁人, 中村匡秀, 松本健一, "プログラム変換装置,実行支援装置,それらの方法およびそれらのコンピュータ・プログラム," 特願2005-171372, 2005年6月.
[3] 中村匡秀, 門田暁人, 松本健一, 浅井理恵子, 佐藤太一, 芳賀智之, "秘密情報演算保護装置,秘密情報演算保護方法,秘密情報演算保護プログラム及びコンピュータ読み取り可能な記録媒体," 特願2005-89941, PCT/JP2006/306123, 2005年3月.
[4] 松本健一, 門田暁人, 中村匡秀, 山口孝雄, 里雄二, 伊藤智祥, "プログラム解析コスト計測装置およびその方法," 特願2003-65671, 2003年3月.
テクニカルレポート
[1] 神崎雄一郎, 門田暁人, 中村匡秀, 松本健一, "高級言語によって偽装内容を指定できる拡張プログラムカムフラージュ法," number NAIST-IS-TR2007015, 奈良先端科学技術大学院大学 情報科学研究科, 2007年12月.
[2] Haruaki Tamada, Keiji Okamoto, Masahide Nakamura, Akito Monden, and Ken-ichi Matsumoto, "Design and Evaluation of Dynamic Software Birthmarks Based on API Calls," Information Science Technical Report, number NAIST-IS-TR2007011, ISSN 0919-9527, Graduate School of Information Science, Nara Institute of Science and Technology, May 2007.
[3] Haruaki Tamada, Masahide Nakamura, Akito Monden, and Ken-ichi Matsumoto, "Detecting the Theft of Programs Using Birthmarks," Information Science Technical Report, number NAIST-IS-TR2003014, Graduate School of Information Science, November 2003.
研究会・全国大会等
[1] 福岡佑介, 西岡隆司, 中村匡秀, 井垣宏, 松本健一, "動的サービスバインディング機構を用いたマルチベンダホームネットワークシステムの一実現手法," 電子情報通信学会技術研究報告, volume 107, number 525, pages 295-300 2008年3月.
[2] 榊原弘記, 中村匡秀, 井垣宏, 松本健一, "ホームネットワークシステムにおける家電状態を利用した音声操作インタフェースの改善," 電子情報通信学会2種研究会 サイバーワールド(CW)第9回研究会, pages 13-18 2008年3月.
[3] 西澤茂隆, 中村匡秀, 井垣宏, 松本健一, 三浦健次郎, "ビル管理システムにおけるサービス指向アーキテクチャの適用 〜 異種サービスの連携と安全性に関する考察 〜," 電子情報通信学会技術研究報告, volume 107, number 261, pages 3-8 2007年10月.
[4] 大西洋司, 前島弘敬, 西澤茂隆, 田中秀一郎, 中村匡秀, 松本健一, "時間駆動型Webサービス呼び出しフレームワークWS-Schedule Managerの提案と実装," 電子情報通信学会技術研究報告, volume 106, number 578, pages 459-464 2007年3月.
[5] 前島弘敬, 大西洋司, 中村匡秀, 松本健一, "BPELワークフローに着目した連携Webサービスの応答速度・稼働率の見積もり手法," 電子情報通信学会技術研究報告, volume 106, number 578, pages 465-470 2007年3月.
[6] 伊原誠人, 榊原弘記, 湯浅直弘, 中村匡秀, 松本健一, "ホームネットワークシステムにおけるサービス開発へのペルソナシナリオ法の適用と評価," 電子情報通信学会技術研究報告, volume 106, number 578, pages 405-410 2007年3月.
[7] 湯浅直弘, 伊原誠人, 中村匡秀, 松本健一, "ホームネットワークにおける家電連携サービスのユーザビリティ評価," 電子情報通信学会技術研究報告, volume 106, number 578, pages 399-404 2007年3月.
[8] 田中秀一郎, 西澤茂隆, 田中章弘, 中村匡秀, 松本健一, "SOAシステム構築のための既存システムの再利用性評価," 電子情報通信学会技術研究報告, volume 106, number 578, pages 471-476 2007年3月.
[9] 井垣宏, 長江洋子, 山田松江, 中村匡秀, 松本健一, 青山幹雄, "ユーザの移動に伴う機器と環境の状態引き継ぎを実現するホームネットワークシステムの提案," 電子情報通信学会技術研究報告, volume 106, number 578, pages 411-416 2007年3月.
[10] 西岡隆司, 山内寛己, 門田暁人, 中村匡秀, 松本健一, "類似した命令列の畳込みによるプログラムの耐タンパ性の向上," 情報処理学会研究報告, ソフトウェア工学研究会, volume 2007-SE-155, number 33, pages 167-174 2007年3月.
[11] 玉田春昭, 中村匡秀, 門田暁人, 松本健一, "C言語におけるライブラリ呼び出し隠蔽のための名前難読化手法," 暗号と情報セキュリティシンポジウム (SCIS2007), 2007年1月.
[12] 神崎雄一郎, 門田暁人, 中村匡秀, 松本健一, "高級言語レベルでの偽装内容の指定が可能なプログラムのカムフラージュ," 2007年暗号と情報セキュリティシンポジウム(SCIS2007)予稿集CD-ROM(講演番号4D1-3), 2007年1月.
[13] 角田雅照, 伏田享平, 三井康平, 亀井靖高, 後藤慶多, 中村匡秀, 松本健一, "位置と速度を利用した移動体向け認証方式の提案," 電子情報通信学会技術報告, モバイルマルチメディア通信研究専門委員会, number MoMuC2006-55, pages 11-16 2006年11月.
[14] 井垣宏, 三井康平, 竹村憲太郎, 玉田春昭, 中村匡秀, 松本健一, 松本吉央, "注視情報に基づくネットワーク家電の状態提示システムの構築," 電子情報通信学会技術研究報告, volume 105, number 628, pages 061-066 2006年3月.
[15] 田中章弘, 中村匡秀, 井垣宏, 松本健一, "Web サービスを用いた従来家電のホームネットワークへの適応," 電子情報通信学会技術研究報告, volume 105, number 628, pages 067-072 2006年3月.
[16] パッタラ・リーラープルット, 中村匡秀, 井垣宏, 松本健一, 菊野亨, "ホームネットワークシステムにおけるサービス競合の分類と解消について," 電子情報通信学会技術研究報告, volume 105, number 628, pages 055-060 2006年3月.
[17] 山内寛己, 神崎雄一郎, 門田暁人, 中村匡秀, 松本健一, "攻撃タスクを考慮した難読化による暗号プログラムの保護," 電子情報通信学会技術報告, ソフトウェアサイエンス研究会, number SS2005-59, pages 25--30 2005年12月.
[18] 木村隆洋, 中村匡秀, 井垣宏, 松本健一, "データ依存解析に基づくレガシーソフトウェアからのサービス抽出法," 信学技報 ソフトウェアサイエンス研究会, volume SS2005-42, pages 013-018 2005年10月.
[19] 井垣宏, 中村匡秀, 松本健一, "家電機器間の相互接続性を考慮した連携サービスを実現するサービス指向フレームワークの提案," , volume 2005-SE-149, number 15, pages 111-116 2005年7月.
[20] 上野秀剛, 中道上, 井垣宏, 門田暁人, 中村匡秀, 松本健一, "プログラマの視線を用いたレビュープロセスの分析," 信学技報SS2005 12-17, volume 105, number 128, pages 21-26 2005年6月.
[21] 中村匡秀, " サービス指向アーキテクチャ:流行パラダイムと信頼性との関わり," ソフトウェア信頼性研究会 第2回ワークショップ, 2005年6月.
[22] 上野秀剛, 井垣宏, 門田暁人, 中村匡秀, 松本健一, "プログラマの視線を用いたバグ特定プロセスの分析," ソフトウェア信頼性研究会 第2回ワークショップ, 2005年6月.
[23] 井垣宏, 中村匡秀, 石井健一, 串戸洋平, 松本健一, "家電連携サービスにおけるサービス競合の動的な検出・解消法の設計と評価," 信学技報, 情報ネットワーク研究会, volume IN2004-320, pages 373--378 2005年3月.
[24] 串戸洋平, 石井健一, 井垣宏, 中村匡秀, 松本健一, "WS-PROVE を用いたWeb サービスメトリクスの実験的評価," 信学技報, 情報ネットワーク研究会, volume IN2004-319, pages 367--372 2005年3月.
[25] 石井健一, 串戸洋平, 井垣宏, 中村匡秀, 松本健一, "Webサービスアプリケーションのプロトタイピング および性能評価のためのシステム開発," 信学技報, 情報ネットワーク研究会, volume IN2004-318, pages 361--366 2005年3月.
[26] 玉田春昭, 門田暁人, 中村匡秀, 松本健一, "Javaプログラムの動的解析のためのトレーサ埋め込みツール," 第46回プログラミング・シンポジウム報告集, pages 51--62 2005年1月.
[27] 岡本圭司, 玉田春昭, 中村匡秀, 門田暁人, 松本健一, "ソフトウェア実行時のAPI呼び出し履歴に基づく動的バースマークの実験的評価," 第46回プログラミング・シンポジウム報告集, pages 41--50 2005年1月.
[28] 石黒誉久, 井垣宏, 中村匡秀, 門田暁人, 松本健一, "変数更新の回数と分散に基づくプログラムのメンタルシミュレーションコスト評価," 電子情報通信学会技術報告, ソフトウェアサイエンス研究会, volume SS2004-32, pages 37--42 2004年11月.
[29] 神崎雄一郎, 井垣宏, 中村匡秀, 門田暁人, 松本健一, "ソフトウェア開発プロセスにおける情報漏えいのリスク評価," コンピュータセキュリティシンポジウム2004論文集 (CSS2004), volume 2, pages 775--780 2004年10月.
[30] 井垣宏, 中村匡秀, 松本健一, "家電機器連携サービスにおけるサービス競合検出システム," 信学技報, ディペンダブルコンピューティング研究会, volume DC2004-23, pages 11--16 2004年10月.
[31] 石井健一, 串戸洋平, 井垣宏, 中村匡秀, 松本健一, "複数Webサービス連携手法の実験的評価," 信学技報, ネットワークシステム研究会, volume NS2004-99, pages 75--80 2004年9月.
[32] 井垣宏, 串戸洋平, 石井健一, 中村匡秀, 松本健一, "家電機器連携サービスにおけるサービス競合の検出," 信学技報, ネットワークシステム研究会, volume NS2004-98, pages 69--74 2004年9月.
[33] 井垣宏, 玉田春昭, 中村匡秀, 松本健一, "サービス指向アーキテクチャを用いたホームネットワークシステムの設計と評価尺度," 電子情報通信学会技術研究報告, ネットワークシステム研究会, number NS2003-359, pages 333--338 2004年3月.
[34] 串戸洋平, 石井健一, 山内寛己, 井垣宏, 玉田春昭, 中村匡秀, 松本健一, "Webサービスアプリケーションのソフトウェアメトリクスに関する考察," 電子情報通信学会技術研究報告, ネットワークシステム研究会, number NS2003-316, pages 113--118 2004年3月.
[35] 石井健一, 串戸洋平, 山内寛己, 井垣宏, 玉田春昭, 中村匡秀, 松本健一, "異なる設計・実装法を用いたWebサービスアプリケーションの開発および比較評価," 電子情報通信学会技術研究報告, ネットワークシステム研究会, number NS2003-315, pages 107--112 2004年3月.
[36] 玉田春昭, 神崎雄一郎, 中村匡秀, 門田暁人, 松本健一, "Java クラスファイルからプログラム指紋を抽出する方法の提案," 電子情報通信学会技術報告, 情報セキュリティ研究会, number ISEC2003-29, pages 127--133 2003年7月.
[37] 阿部健一, 中村匡秀, 松本健一, "自治体の情報システム導入における要求仕様の定義とテストの重要性認識," 情報処理学会研究報告, ソフトウェア工学, volume 143, pages 9--14 2003年7月.
[38] 神崎雄一郎, 門田暁人, 中村匡秀, 松本健一, "命令コードの実行時置き換えによるプログラムの解析防止," 信学技報, 情報セキュリティ研究会, volume ISEC2002-98, pages 13--19 2002年12月.
[39] 桝田秀夫, 中村匡秀, 近藤弘一, 齊藤明紀, 中西通雄, "教育用計算機システムにおける印刷システムに求められる要求とその実装について," 情報処理学会九州支部: 火の国情報シンポジウム2002, pages 107--114 2002年3月.
[40] パッタラリーラープルット, 中村匡秀, 菊野亨, "サービス競合フィルタリングにおける競合可能シナリオの導出の評価," 情処研報, volume 2001-SE-134, pages 29--35 2001年10月.
[41] 瀧友和, 中村匡秀, 菊野亨, "CPLで記述したサービスのサービス競合の分類," 情処研報, volume 2001-SE-134, pages 37-44 2001年10月.
[42] 中村匡秀, "オタワ大学での研究生活," 生産と技術, volume 53, number 1, pages 19--22 2001年8月.
[43] 小川剛史, 中村匡秀, 近藤弘一, 大崎博之, 桝田秀夫, 北道淳司, 中西通雄, "Linuxシステムにおける授業・運用支援系ツールの開発," 平成12年度情報処理教育研究集会, pages 239--242 2000年12月.
[44] 桝田秀夫, 大崎博之, 小川剛史, 近藤弘一, 中村匡秀, 北道淳司, 中西通雄, "Linuxを用いた教育用計算機システムの構築," 平成12年度情報処理教育研究集会, pages 235--238 2000年12月.
[45] 原田章, 中西通雄, 中村匡秀, 大崎博之, 田中重人, "能力別クラス別編成とクラス間で均等にした編成の比較評価," 平成12年度情報処理教育研究集会, pages 136--138 2000年12月.
[46] 中村匡秀, 菊野亨, "Use Case Maps を用いた要求レベルでのサービス競合フィルタリング法," 情報処理学会第61回全国大会, volume 1, pages 349--350 2000年7月.
[47] 中村匡秀, 菊野亨, "Use Case Mapsを用いた要求レベルにおける通信サービス競合フィルタリング技術," 第4回ネットワークの変革とソフトウェア研究会, 2000年7月.
[48] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "A New Method Using Permutation Symmetry for Feature Interaction Detection and Its Experimental Evaluation," In 信学技法, volume CST98-2, page 38611 May 1998.
[49] 池田拓郎, 中村匡秀, 菊野亨, "通信サービスにおけるユーザニーズの保証|フィーチャーインタラクションの解決に向けて|," 信学技報, volume FTS98-55, pages 37--44 1998年5月.
[50] 中村匡秀, 角田良明, 菊野亨, "通信サービスにおけるフィーチャーインタラクションに関する研究," 第38回FTC研究会, 1998年1月.
[51] 中村匡秀, 角田良明, 菊野亨, "二次記憶を利用したサービス仕様検証支援," 電子情報通信学会1997年ソサイエティ大会, volume D, number 3, page 3 1997年9月.
[52] 池田拓郎, 中村匡秀, 角田良明, 菊野亨, "非決定性フィーチャーインタラクションに対するP-インバリアントに基づく検出法の実験的評価," 信学技報, volume SS97-6, page 38611 1997年5月.
[53] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Detection Algorithm for Non-Deterministic Feature Interactions Using Petri-Net," In 信学技報, volume SS96-57, page 38611 March 1997.
[54] Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "A Synthesis Method for Fault-Tolerant Multipath Routing Protocols in Connectionless Networks," In 信学技報, volume SSE96-93, pages 109--114 September 1996.
[55] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "An Analysis Method of Non-Determinism in Telecommunication Service Specifications Using a High Level Petri-Net Model," In 信学技報, volume IN96-33, pages 13--20 July 1996.
[56] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "通信サービス仕様解析のための高レベルペトリネットモデル," In 信学技報, volume SSE95-152, pages 217--224 March 1996.
[57] 角田良明, 中村匡秀, "通信ソフトウェアの統合化〼モデル, 手法, ツールの有機的連携〼," 第2回通信ソフトウェア研究会, 1995年9月.
[58] 中村匡秀, 角田良明, "通信ソフトウェアの特徴と抱える問題〼通信ソフトウェアの新たなチャレンジに向けて〼," 第1回通信ソフトウェア研究会, 1995年6月.
[59] 中村匡秀, 角田良明, 菊野亨, "部品に基づいたサービス仕様からのプロトコル合成," 第5回通信ソフトウェア工学研究会, 1994年12月.
[60] 中村匡秀, 角田良明, 菊野亨, "複数のプリミティブが並列実行可能なサービス仕様からのプロトコル仕様の自動合成," 信学技報, volume SSE94-37, pages 85--90 1994年4月.