| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 98 |       | Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto: Describing and Verifying Integrated Services of Home Network Systems. APSEC 2005: 549-560 |
| 97 |  | 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 |
| 83 | | 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) |
| 81 | | Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, Tohru Kikuno: Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment. APSEC 2003: 552- |
| 79 | | Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno: Detecting Script-to-Script Interactions in Call Processing Language. FIW 2003: 215-230 |
| 77 | | 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 |
| 74 | | Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno: Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. ICOIN (1) 2002: 641-651 |
| 70 | | Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno: Detecting Feature Interactions in Telecommunication Services with a SAT Solver. PRDC 2002: 131-136 |
| 69 | | Masahide Nakamura, Pattara Leelaprute, Tohru Kikuno: Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps. WORDS 2002: 237-244 |
| 53 | | Masahide Nakamura, Tohru Kikuno, Jameleddine Hassine, Luigi Logrippo: Feature Interaction Filtering with Use Case Maps at Requirements Stage. FIW 2000: 163-178 |
| 43 | | 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) |
| 41 | | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: Feature Interaction Detection Using Permutation Symmetry. FIW 1998: 187-201 |
| 35 | | Masahide Nakamura, Tohru Kikuno: A new approach in feature interaction testing. Integration 26(1-2): 211-223 (1998) |
| 30 | | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation. FIW 1997: 138-152 |
| 28 | | Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols. ICECCS 1997: 96-105 |
| 26 | | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model. INFOCOM 1997: 1253-1260 |
| 21 | | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications. INFOCOM 1996: 1157-1164 |
| 20 | | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: On constructing communication protocols from component-based service specifications. Computer Communications 19(14): 1200-1215 (1996) |
Selection of 18 from 136 records - Tohru Kikuno has 93 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page