2008 |
36 | EE | Masahide Nakamura,
Yusuke Fukuoka,
Hiroshi Igaki,
Ken-ichi Matsumoto:
Implementing Multi-Vendor Home Network System with Vendor-Neutral Services and Dynamic Service Binding.
IEEE SCC (2) 2008: 275-282 |
2007 |
35 | EE | Ben Yan,
Masahide Nakamura,
Lydie du Bousquet,
Ken-ichi Matsumoto:
Characterizing Safety of Integrated Services in Home Network System.
ICOST 2007: 130-140 |
34 | | Lydie du Bousquet,
Masahide Nakamura,
Ben Yan,
Hiroshi Igaki:
Using Formal Methods to increase confidence in one Home Network System implementation: Case study.
ISoLA 2007: 203-214 |
33 | EE | Hidetake Uwano,
Masahide Nakamura,
Akito Monden,
Ken-ichi Matsumoto:
Exploiting Eye Movements for Evaluating Reviewer's Performance in Software Review.
IEICE Transactions 90-A(10): 2290-2300 (2007) |
2006 |
32 | EE | Hiroshi Igaki,
Masahide Nakamura,
Ken-ichi Matsumoto,
Mikio Aoyama:
Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems.
APSEC 2006: 45-52 |
31 | EE | Hidetake Uwano,
Masahide Nakamura,
Akito Monden,
Ken-ichi Matsumoto:
Analyzing individual performance of source code review using reviewers' eye movement.
ETRA 2006: 133-140 |
30 | EE | Masahide Nakamura,
Akihiro Tanaka,
Hiroshi Igaki,
Haruaki Tamada,
Ken-ichi Matsumoto:
Adapting Legacy Home Appliances to Home Network Systems UsingWeb Services.
ICWS 2006: 849-858 |
29 | EE | Kohei Mitsui,
Hiroshi Igaki,
Masahide Nakamura,
Ken-ichi Matsumoto,
Kentaro Takemura:
Exploiting Eye Gaze Information for Operating Services in Home Network System.
UCS 2006: 13-27 |
2005 |
28 | EE | Yuichiro Kanzaki,
Hiroshi Igaki,
Masahide Nakamura,
Akito Monden:
Characterizing Dynamics of Information Leakage in Security-Sensitive Software Process.
ACSW Frontiers 2005: 145-151 |
27 | EE | Pattara Leelaprute,
Tatsuhiro Tsuchiya,
Tohru Kikuno,
Masahide Nakamura,
Ken-ichi Matsumoto:
Describing and Verifying Integrated Services of Home Network Systems.
APSEC 2005: 549-560 |
26 | | Masahide Nakamura,
Hiroshi Igaki,
Ken-ichi Matsumoto:
Feature Interactions in Integrated Services of Networked Home Appliances: An Object-Oriented Approach.
FIW 2005: 236-251 |
25 | | Pattara Leelaprute,
Tohru Kikuno,
Masahide Nakamura,
Ken-ichi Matsumoto:
Definition and Detection of Semantic Warnings for VoiceXML.
IASTED Conf. on Software Engineering 2005: 267-275 |
24 | EE | Hiroshi Igaki,
Masahide Nakamura,
Ken-ichi Matsumoto:
A Service-Oriented Framework for Networked Appliances to Achieve Appliance Interoperability and Evolution in Home Network System.
IWPSE 2005: 61-64 |
23 | EE | Haruaki Tamada,
Masahide Nakamura,
Akito Monden,
Ken-ichi Matsumoto:
Java Birthmarks - Detecting the Software Theft - .
IEICE Transactions 88-D(9): 2148-2158 (2005) |
2004 |
22 | | Haruaki Tamada,
Masahide Nakamura,
Akito Monden:
Design and evaluation of birthmarks for detecting theft of java programs.
IASTED Conf. on Software Engineering 2004: 569-574 |
21 | | Hiroshi Igaki,
Masahide Nakamura,
Ken-ichi Matsumoto:
Design and Evaluation of the Home Network Systems Using the Service Oriented Architecture.
ICETE (1) 2004: 62-69 |
20 | EE | Masahide Nakamura,
Hiroshi Igaki,
Haruaki Tamada,
Ken-ichi Matsumoto:
Implementing integrated services of networked home appliances using service oriented architecture.
ICSOC 2004: 269-278 |
19 | EE | Masahide Nakamura,
Pattara Leelaprute,
Ken-ichi Matsumoto,
Tohru Kikuno:
On detecting feature interactions in the programmable service environment of Internet telephony.
Computer Networks 45(5): 605-624 (2004) |
2003 |
18 | EE | Pattara Leelaprute,
Masahide Nakamura,
Ken-ichi Matsumoto,
Tohru Kikuno:
Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment.
APSEC 2003: 552- |
17 | EE | Yuichiro Kanzaki,
Akito Monden,
Masahide Nakamura,
Ken-ichi Matsumoto:
Exploiting Self-Modification Mechanism for Program Protection.
COMPSAC 2003: 170- |
16 | | Masahide Nakamura,
Pattara Leelaprute,
Ken-ichi Matsumoto,
Tohru Kikuno:
Detecting Script-to-Script Interactions in Call Processing Language.
FIW 2003: 215-230 |
15 | EE | Masahide Nakamura,
Akito Monden,
Tomoaki Itoh,
Ken-ichi Matsumoto,
Yuichiro Kanzaki,
Hirotsugu Satoh:
Queue-Based Cost Evaluation of Mental Simulation Process in Program Comprehension.
IEEE METRICS 2003: 351- |
14 | EE | Masahide Nakamura,
Pattara Leelaprute,
Ken-ichi Matsumoto,
Tohru Kikuno:
Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony.
SAINT 2003: 283-291 |
2002 |
13 | EE | Takayuki Hamada,
Tatsuhiro Tsuchiya,
Masahide Nakamura,
Tohru Kikuno:
Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services.
ICOIN (1) 2002: 641-651 |
12 | EE | Tatsuhiro Tsuchiya,
Masahide Nakamura,
Tohru Kikuno:
Detecting Feature Interactions in Telecommunication Services with a SAT Solver.
PRDC 2002: 131-136 |
11 | EE | Hideo Masuda,
Michio Nakanishi,
Masahide Nakamura,
Mio Suzuki:
Implementation and Evaluation of Authorized Access LAN Sockets Using PPPoE.
SAINT 2002: 20-25 |
10 | EE | Masahide Nakamura,
Pattara Leelaprute,
Tohru Kikuno:
Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps.
WORDS 2002: 237-244 |
2000 |
9 | | Masahide Nakamura,
Tohru Kikuno,
Jameleddine Hassine,
Luigi Logrippo:
Feature Interaction Filtering with Use Case Maps at Requirements Stage.
FIW 2000: 163-178 |
1999 |
8 | EE | Kenji Ishida,
Yoshiaki Kakuda,
Masahide Nakamura,
Tohru Kikuno,
Kitsutaro Amano:
A protocol synthesis method for fault-tolerant multipath routing.
Information & Software Technology 41(11-12): 745-754 (1999) |
1998 |
7 | | Masahide Nakamura,
Yoshiaki Kakuda,
Tohru Kikuno:
Feature Interaction Detection Using Permutation Symmetry.
FIW 1998: 187-201 |
6 | EE | Masahide Nakamura,
Tohru Kikuno:
A new approach in feature interaction testing.
Integration 26(1-2): 211-223 (1998) |
1997 |
5 | | Masahide Nakamura,
Yoshiaki Kakuda,
Tohru Kikuno:
Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation.
FIW 1997: 138-152 |
4 | EE | Yutaka Hatanaka,
Masahide Nakamura,
Yoshiaki Kakuda,
Tohru Kikuno:
A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols.
ICECCS 1997: 96-105 |
3 | | Masahide Nakamura,
Yoshiaki Kakuda,
Tohru Kikuno:
Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model.
INFOCOM 1997: 1253-1260 |
1996 |
2 | | Masahide Nakamura,
Yoshiaki Kakuda,
Tohru Kikuno:
An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications.
INFOCOM 1996: 1157-1164 |
1 | EE | Masahide Nakamura,
Yoshiaki Kakuda,
Tohru Kikuno:
On constructing communication protocols from component-based service specifications.
Computer Communications 19(14): 1200-1215 (1996) |