Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Yoshiaki Kakuda
2010 – today
- 2012
[j27]Yoshiaki Kakuda, Tomoyuki Ohta, Ryotaro Oda: A methodology for real-time self-organized autonomous clustering in mobile ad hoc networks. Concurrency and Computation: Practice and Experience 24(16): 1840-1859 (2012)- [j26]
- [j25]Yasuharu Ohta, Tomoyuki Ohta, Yoshiaki Kakuda: A Data Transfer Scheme Based on Autonomous Clustering with Positions and Moving Direction of Vehicles for VANETs. IEICE Transactions 95-B(9): 2728-2739 (2012)
- [j24]Eitaro Kohno, Tomoya Okazaki, Mario Takeuchi, Tomoyuki Ohta, Yoshiaki Kakuda, Masaki Aida: Improvement of assurance including security for wireless sensor networks using dispersed data transmission. J. Comput. Syst. Sci. 78(6): 1703-1715 (2012)
- [c83]Keisei Okano, Tomoyuki Ohta, Yoshiaki Kakuda: A dynamic network gateway selection scheme based on autonomous clustering for heterogeneous mobile ad hoc network environment. GLOBECOM Workshops 2012: 513-517
- [c82]Noriaki Tanabe, Eitaro Kohno, Yoshiaki Kakuda: An Impersonation Attack Detection Method Using Bloom Filters and Dispersed Data Transmission for Wireless Sensor Networks. GreenCom 2012: 767-770
- [c81]Shuhei Ishizuka, Tomoyuki Ohta, Yoshiaki Kakuda: A Mobile Agent Creation Mechanism for Service Collection and Dissemination in Heterogeneous MANETs. ICNC 2012: 321-322
- [c80]Keisei Okano, Tomoyuki Ohta, Yoshiaki Kakuda: An Autonomous Clustering-Based Dynamic Network Gateway Selection for Heterogeneous MANETs. ICNC 2012: 332-333
- [c79]Anri Kimura, Eitaro Kohno, Yoshiaki Kakuda: Security and Dependability Enhancement of Wireless Sensor Networks with Multipath Routing Utilizing the Connectedness of Joint Nodes. ICDCS Workshops 2012: 342-348
- [c78]Shohei Fujiwara, Tomoyuki Ohta, Yoshiaki Kakuda: An Inter-domain Routing for Heterogeneous Mobile Ad Hoc Networks Using Packet Conversion and Address Sharing. ICDCS Workshops 2012: 349-355
- [c77]Tomoya Okazaki, Mario Takeuchi, Eitaro Kohno, Yoshiaki Kakuda: Self-Organized Routing ID Tree-Based Multipath Construction for Ad Hoc Networks. ISORC Workshops 2012: 172-179
- [c76]Koki Morii, Koji Taketa, Yuichiro Mori, Hideharu Kojima, Eitaro Kohno, Shinji Inoue, Tomoyuki Ohta, Yoshiaki Kakuda: A New Generation Children Tracking System Using Bluetooth MANET Composed of Android Mobile Terminals. UIC/ATC 2012: 405-407
- [c75]Mario Takeuchi, Anri Kimura, Eitaro Kohno, Tomoyuki Ohta, Yoshiaki Kakuda: An Assurance Enhanced Route-Split Routing for Non-uniform Node Density in Mobile Ad Hoc Networks. UIC/ATC 2012: 594-599
- [c74]Takahide Uemori, Eitaro Kohno, Yoshiaki Kakuda: A Routing ID-based Node-disjoint Multipath Scheme for Ad Hoc Networks. UIC/ATC 2012: 621-626
- [c73]Yasuharu Ohta, Tomoyuki Ohta, Yoshiaki Kakuda: An autonomous clustering-based data transfer scheme using positions and moving direction of vehicles for VANETs. WCNC 2012: 2900-2904
- 2011
- [j23]Atsushi Ito, Yoshiaki Kakuda, Tomoyuki Ohta, Shinji Inoue: New Safety Support System for Children on School Routes Using Mobile Ad Hoc Networks. IEICE Transactions 94-B(1): 18-29 (2011)
- [j22]Eitaro Kohno, Tomoyuki Ohta, Yoshiaki Kakuda, Masaki Aida: Improvement of Dependability against Node Capture Attacks for Wireless Sensor Networks. IEICE Transactions 94-D(1): 19-26 (2011)
- [j21]Hiroshi Nakagawa, Satoshi Teshima, Tomoyuki Ohta, Yoshiaki Kakuda: A Hierarchical Geographical Routing with Alternative Paths Using Autonomous Clustering for Mobile Ad Hoc Networks. IEICE Transactions 94-B(1): 37-44 (2011)
- [j20]Yinong Chen, Yoshiaki Kakuda: Autonomous decentralised systems in web computing environment. IJCCBS 2(1): 1-5 (2011)
- [j19]Eitaro Kohno, Ryotaro Oda, Tomoyuki Ohta, Yoshiaki Kakuda: Improvement of TCP/UDP performance using adaptive transmission power control for hierarchical MANET routing. IJCCBS 2(1): 58-78 (2011)
- [c72]Takeshi Hashimoto, Tomoyuki Ohta, Yoshiaki Kakuda: Evaluation of Mobile Agent-Based Service Dissemination Schemes in MANETs. ICNC 2011: 257-260
- [c71]Yasuharu Ohta, Tomoyuki Ohta, Eitaro Kohno, Yoshiaki Kakuda: A Store-Carry-Forward-Based Data Transfer Scheme Using Positions and Moving Direction of Vehicles for VANETs. ISADS 2011: 131-138
- [c70]Mitsuhisa Kimura, Shinji Inoue, Yoshiaki Kakuda, Tadashi Dohi: A Route Discovery Method for Alleviating Traffic Congestion Based on VANETs in Urban Transportations Considering a Relation between Vehicle Density and Average Velocity. ISADS 2011: 299-302
- [c69]Yuichiro Mori, Hideharu Kojima, Eitaro Kohno, Shinji Inoue, Tomoyuki Ohta, Yoshiaki Kakuda, Atsushi Ito: A Self-Configurable New Generation Children Tracking System Based on Mobile Ad Hoc Networks Consisting of Android Mobile Terminals. ISADS 2011: 339-342
- [c68]Satoshi Teshima, Tomoyuki Ohta, Eitaro Kohno, Yoshiaki Kakuda: A Data Transfer Scheme Using Autonomous Clustering in VANETs Environment. ISADS 2011: 477-482
- [c67]Atsushi Ito, Yoshiaki Kakuda, Tomoyuki Ohta, Shinji Inoue: Safety Support System on School Routes Based on Grouping of Childlen in Mobile Ad Hoc Networks. ISADS 2011: 533-538
- [c66]Mario Takeuchi, Eitaro Kohno, Tomoyuki Ohta, Yoshiaki Kakuda: A New SMN Configuration Method for RSR Considering Node Energy Consumption in MANETs. ISADS 2011: 547-552
- [c65]Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda: A Transition Reduction Method for FSM of MANET Routing Protocol with Blacklist. ISADS 2011: 611-616
- [c64]Yoshiaki Kakuda, Miroslaw Malek: A Unified Design Model for Assurance Networks and Its Application to Mobile Ad Hoc Networks. ISADS 2011: 637-644
- 2010
- [c63]Tomoya Okazaki, Eitaro Kohno, Tomoyuki Ohta, Yoshiaki Kakuda: A Multipath Routing Method with Dynamic ID for Reduction of Routing Load in Ad Hoc Networks. ADHOCNETS 2010: 114-129
- [c62]Akihiro Yamanouchi, Takeshi Hashimoto, Tomoyuki Ohta, Hideharu Kojima, Yoshiaki Kakuda: Resource Management Middleware Using Mobile Agents for Mobile Ad Hoc Networks. ICDCS Workshops 2010: 1-6
2000 – 2009
- 2009
- [j18]Izumi Yamamoto, Kazuki Ogasawara, Tomoyuki Ohta, Yoshiaki Kakuda: A Hierarchical Multicast Routing Using Inter-Cluster Group Mesh Structure for Mobile Ad Hoc Networks. IEICE Transactions 92-B(1): 114-125 (2009)
- [j17]Hideharu Kojima, Juichi Takahashi, Tomoyuki Ohta, Yoshiaki Kakuda: An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols. IEICE Transactions 92-B(3): 794-806 (2009)
- [c61]Tomoyuki Ohta, Tsuyoshi Mizumoto, Yoshiaki Kakuda: Enhanced Route-Split Routing Tolerant to Multiple Concurrent Link Failure for Mobile Ad Hoc Networks. ADHOCNETS 2009: 284-299
- [c60]Ryotaro Oda, Tomoyuki Ohta, Yoshiaki Kakuda: An Adaptive Transmission Power Control for Hierarchical Routing in Mobile Ad Hoc Networks. ICDCS Workshops 2009: 312-317
- [c59]Izumi Yamamoto, Tomoyuki Ohta, Yoshiaki Kakuda: An Adaptive Inter-cluster Data Forwarding Configuration Mechanism for Hierarchical Multicast Routing Protocol in Mobile Ad Hoc Networks. ICDCS Workshops 2009: 330-337
- [c58]Eitaro Kohno, Tomoyuki Ohta, Yoshiaki Kakuda: Secure decentralized data transfer against node capture attacks for wireless sensor networks. ISADS 2009: 35-40
- [c57]Yoshiaki Kakuda, Tomoyuki Ohta, Shinji Inoue, Eitaro Kohno, Yusuke Akiyama: Performance improvement of Hiroshima City Children Tracking System by correction of wrong registrations on school routes. ISADS 2009: 261-266
- [c56]Hiroshi Nakagawa, Kazuyuki Nakamaru, Tomoyuki Ohta, Yoshiaki Kakuda: A hierarchical routing scheme with location information on autonomous clustering for mobile ad hoc networks. ISADS 2009: 269-274
- [c55]Yusuke Takemoto, Junichi Funasaka, Satoshi Teshima, Tomoyuki Ohta, Yoshiaki Kakuda: SCTP performance improvement for reliable End-to-end communication in ad hoc networks. ISADS 2009: 311-316
- [c54]Shinji Inoue, Jun Shimaichi, Yoshiaki Kakuda: An autonomous method for aggregating primary paths and reserving backup paths in sensor networks. ISADS 2009: 351-356
- [c53]Hideharu Kojima, Yoshiaki Kakuda, Juichi Takahashi, Tomoyuki Ohta: A model for concurrent states and its coverage criteria. ISADS 2009: 363-368
- 2008
- [j16]Tsuyoshi Mizumoto, Tomoyuki Ohta, Yoshiaki Kakuda: Route-Split Routing Resilient to Simultaneous Failure for Mobile Ad Hoc Networks. IEICE Transactions 91-A(7): 1625-1633 (2008)
- [j15]Hiroshi Nakagawa, Kazuyuki Nakamaru, Tomoyuki Ohta, Yoshiaki Kakuda: A Hybrid Greedy Routing with Location Information for Mobile Ad Hoc Networks. IEICE Transactions 91-B(9): 2806-2817 (2008)
- [c52]R. Tobias Meier, Jürgen Dunkel, Yoshiaki Kakuda, Tomoyuki Ohta: Mobile Agents for Service Discovery in Ad Hoc Networks. AINA 2008: 114-121
- [c51]Atsushi Ito, Hitomi Murakami, Yu Watanabe, Masahiro Fujii, Takao Yabe, Yoshikura Haraguchi, Yozo Tomoyasu, Yoshiaki Kakuda, Tomoyuki Ohta, Yuko Hiramatsu: Universal Use of Information Delivery and Display System Using Ad Hoc Network for Deaf People in Times of Disaster. BroadCom 2008: 486-491
- [c50]Ryotaro Oda, Tomoyuki Ohta, Yoshiaki Kakuda: An Autonomous Clustering-Based Hierarchical Routing Using Decentralized Route Information Management Scheme for Mobile Ad Hoc Networks. ICDCS Workshops 2008: 569-574
- [c49]Tsuyoshi Mizumoto, Tomoyuki Ohta, Yoshiaki Kakuda: Route-Split Routing with Resiliency to Simultaneous Failure for Mobile Ad Hoc Networks. ICDCS Workshops 2008: 575-580
- 2007
- [j14]Atsushi Kawano, Tomoyuki Ohta, Kaori Maeda, Kenji Ishida, Yoshiaki Kakuda: Development of a Topology Controllable Testing Environment for Mobile Ad Hoc Network Software. IEICE Transactions 90-B(11): 3104-3107 (2007)
- [c48]Masato Asada, Tomoyuki Ohta, Kenji Ishida, Yoshiaki Kakuda: Development of Custom Selling System Using Ad Hoc Networks. HASE 2007: 397-398
- [c47]Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda: State Transition Model for Test Sequence Generation of MANET Clustering Protocols. ICDCS Workshops 2007: 55
- [c46]Tomoyuki Ohta, Naoyoshi Murakami, Yoshiaki Kakuda: Performance Evaluation of Autonomous Clustering for Hierarchical Routing Protocols in Mobile Ad Hoc Networks. ICDCS Workshops 2007: 56
- [c45]Hiroshi Nakagawa, Tomoyuki Ohta, Kenji Ishida, Yoshiaki Kakuda: A Hybrid Routing with Location Information for Mobile Ad Hoc Networks. ISADS 2007: 129-136
- [c44]Ryotaro Oda, Tomoyuki Ohta, Yoshiaki Kakuda: An Efficient On-Demand Hierarchical Routing Protocol Based on Autonomous Clustering for Mobile Ad Hoc Networks. ISADS 2007: 180-187
- [c43]Shinji Inoue, Noriyuki Masuda, Yoshiaki Kakuda: An Autonomous Method for Aggregating and Repairing Paths in Sensor Networks. ISADS 2007: 526-533
- [c42]Tomoyuki Ohta, Yasunori Kubo, Yoshiaki Kakuda: A Hierarchical Multicast Routing Based on Inter-cluster Group Mesh for Mobile Ad Hoc Networks. MSN 2007: 32-43
- [c41]Masahiro Fujii, Amir Khosravi Mandana, Takatoshi Takakai, Yu Watanabe, Kazuo Kamata, Atsushi Ito, Hitomi Murakami, Takao Yabe, Yoshikura Haraguchi, Yozo Tomoyasu, Yoshiaki Kakuda: A study on deaf people supporting systems using cellular phone with Bluetooth in disasters. WOWMOM 2007: 1-6
- 2006
- [j13]Atsushi Ito, Tomoyuki Ohta, Kouichi Mitsukawa, Yoshiaki Kakuda: A Dynamic Index Allocation Scheme for Data Retrieval and Provision in Peer-to-Peer Networks. IEICE Transactions 89-B(9): 2336-2346 (2006)
- [c40]Hiroshi Nakagawa, Kenji Ishida, Tomoyuki Ohta, Yoshiaki Kakuda: GOLI: Greedy On-Demand Routing Scheme Using Location Information for Mobile Ad Hoc Networks. ICDCS Workshops 2006: 1
- [c39]Atsushi Kawano, Daisuke Oka, Yasunori Kubo, Shinji Yamashita, Kaori Maeda, Tomoyuki Ohta, Kenji Ishida, Yoshiaki Kakuda: A Topology Controllable Testing Environment for Mobile Ad Hoc Network Software. MSN 2006: 808-819
- [c38]Atsushi Ito, Tomoyuki Ohta, Kouichi Mitsukawa, Yoshiaki Kakuda: An adaptive index allocation scheme for reliable data retrieval and provision in peer-to-peer networks. SAC 2006: 697-704
- [c37]Takashi Kishida, Kaori Maeda, Eitaro Kohno, Yoshiaki Kakuda: An Application Gateway to Deploy High-quality Video Communications in Various Network Environments. SAINT Workshops 2006: 26-29
- 2005
- [j12]Tomoyuki Ohta, Toshifumi Kawaguchi, Yoshiaki Kakuda: An Autonomous Clustering-Based Hierarchical Multicast Routing for Mobile Ad Hoc Networks. IEICE Transactions 88-B(12): 4451-4461 (2005)
- [c36]Megumi Hisayuki, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda, Kuniyasu Suzaki: Dynamic Load Balancing Using Network Transferable Computer. ICDCS Workshops 2005: 51-57
- [c35]Tomoyuki Ohta, Toshifumi Kawaguchi, Yoshiaki Kakuda: A new multicast routing protocol based on autonomous clustering in ad hoc networks. ISADS 2005: 297-305
- [c34]Shinji Inoue, Naoki Ueno, Makoto Amamiya, Yoshiaki Kakuda: A multiagent-based path rerouting method in MPLS networks. ISADS 2005: 562-565
- [c33]Tomoyuki Ohta, Naoyoshi Murakami, Ryotaro Oda, Yoshiaki Kakuda: An improved autonomous clustering scheme for highly mobile large ad hoc networks. ISADS 2005: 655-660
- [c32]Tomoyuki Ohta, Yasuo Masuda, Kouichi Mitsukawa, Yoshiaki Kakuda, Atsushi Ito: A dynamic index allocation scheme for peer-to-peer networks. ISADS 2005: 667-672
- [c31]Naoyoshi Murakami, Tomoyuki Ohta, Yoshiaki Kakuda: Effective division and merger of the autonomous clustering scheme for highly mobile large ad hoc networks. ISCAS (3) 2005: 2967-2970
- [c30]Xuefeng Bai, Tomoyuki Ohta, Yoshiaki Kakuda, Atsushi Ito: A Service Discovery Protocol for Mobile Ad Hoc Networks Based on Service Provision Groups and Their Dynamic Reconfiguration. MSN 2005: 164-174
- 2004
- [c29]Takashi Oka, Shinji Inoue, Yoshiaki Kakuda: An Adaptive Automobile Control System Using Scheduling by Imprecise Computation and Multiagent-Based Traffic Information Exchange and Its Experimental Evaluation. ICDCS Workshops 2004: 610-615
- 2003
- [c28]Megumi Hisayuki, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda, Kuniyasu Suzaki: Adaptable Load Balancing Using Network Transferable Computer Associated with Mobile IP. ICDCS Workshops 2003: 8-13
- [c27]Tomoyuki Ohta, Shinji Inoue, Yoshiaki Kakuda: An Adaptive Multihop Clustering Scheme for Highly Mobile Ad Hoc Networks. ISADS 2003: 293-300
- [c26]Yoshiaki Kakuda, Kanako Suezawa, Shinji Inoue, Hidenori Nakazato: Redundant Optical Path Design Based on Multiagents and Its Experimental Evaluation. WORDS Fall 2003: 144-
- 2002
- [c25]Juichi Takahashi, Yoshiaki Kakuda: Effective Automated Testing: A Solution of Graphical Object Verification. Asian Test Symposium 2002: 284-
- [c24]Juichi Takahashi, Yoshiaki Kakuda: Extended Model-Based Testing toward High Code Coverage Rate. ECSQ 2002: 310-320
- [c23]Tomoyuki Ohta, Munehiko Fujimoto, Shinji Inoue, Yoshiaki Kakuda: Hi-TORA: A Hierarchical Routing Protocol in Ad Hoc Networks. HASE 2002: 143-150
- [c22]Juichi Takahashi, Yoshiaki Kakuda: Extended-Model Based Testing by Directed Chinese Postman Algorithm. HASE 2002: 237-239
- [c21]Tomoyuki Ohta, Shinji Inoue, Yoshiaki Kakuda, Kenji Ishida, Kaori Maeda: An Adaptive Maintenance of Hierarchical Structure in Ad Hoc Networks and Its Evaluation. ICDCS Workshops 2002: 7-13
- 2000
- [c20]Shinji Inoue, Yoshiaki Kakuda: Multiple Backup Virtual Paths Reservation Problem and Its Solution. ICECCS 2000: 122-
- [c19]Fuminori Nakanishi, Shinnya Hiraike, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda: A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation. ICECCS 2000: 210-217
- [c18]Shinji Inoue, Yoshiaki Kakuda, Masahiro Terabe: New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks. ICECCS 2000: 218-228
1990 – 1999
- 1999
- [j11]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
- [c17]Shin'ichi Nagano, Hiroyuki Fujita, Yoshiaki Kakuda, Tohru Kikuno: Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols. Asian Test Symposium 1998: 408-412
- [c16]Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: Feature Interaction Detection Using Permutation Symmetry. FIW 1998: 187-201
- [c15]Yoshiaki Kakuda, Shin'ichi Nagano, Tohru Kikuno, Masahiro Terabe: VP Reservation for Rapid Restoration Using Multiagents. ICECCS 1998: 121-128
- [c14]Shin'ichi Nagano, Yoshiaki Kakuda, Tohru Kikuno: Experience of Responsiveness Verification for Connection Establishment Protocols. ISORC 1998: 383-
- [c13]Yoshiaki Kakuda, Kenji Ishida, Shinji Inoue, Kitsutaro Amano: Resource Reservation for Multicast Trees Using Multiagents. RTCSA 1998: 110-116
- 1997
- [c12]Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation. FIW 1997: 138-152
- [c11]Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols. ICECCS 1997: 96-105
- [c10]Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model. INFOCOM 1997: 1253-1260
- 1996
- [j10]Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: On constructing communication protocols from component-based service specifications. Computer Communications 19(14): 1200-1215 (1996)
- [j9]Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno: Modeling and evaluation of responsive multiprocessor systems. Systems and Computers in Japan 27(14): 20-28 (1996)
- [c9]Daisuke Teratani, Yoshiaki Kakuda, Tohru Kikuno: A New Model with Time Constraints for Conformance Testing of Communication Protocols. Asian Test Symposium 1996: 269-
- [c8]Shin'ichi Nagano, Yoshinori Hatakeyama, Yoshiaki Kakuda, Tohru Kikuno: Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation. ICNP 1996: 92-
- [c7]Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno: An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications. INFOCOM 1996: 1157-1164
- 1995
- [j8]Yoshiaki Kakuda, Hideki Yukitomo, Shinji Kusumoto, Tohru Kikuno: Localizing Multiple Faults in a Protocol Implementation. IEEE Design & Test of Computers 12(3): 34-42 (1995)
- [j7]Yoshiaki Kakuda, Hideki Yukitomo, Shinji Kusumoto, Tohru Kikuno: A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols. IEICE Transactions 78-D(7): 802-810 (1995)
- [c6]Yoshiaki Kakuda, Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, Tadashi Ohta: A Dynamic Resolution Method for Feature Interactions and Its Evaluation. FIW 1995: 97-114
- [c5]Kenji Ishida, Yoshiaki Kakuda, Tohru Kikuno: A routing protocol for finding two node-disjoint paths in computer networks. ICNP 1995: 340-
- [c4]Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno: A new fault-tolerant scheduling technique for real-time multiprocessor systems. RTCSA 1995: 197-202
- 1994
- [j6]Yoshiaki Kakuda, Tohru Kikuno, Kenichi Kawashima: Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines. Real-Time Systems 7(3): 275-289 (1994)
- [c3]Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno: Application of protocol sythesis technique to resolution of the service interaction problem. FORTE 1994: 379-381
- 1993
- [c2]Chang Chen, Hiroyuki Asada, Yoshiaki Kakuda, Tohru Kikuno: Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites. FTCS 1993: 66-75
- 1992
- [j5]Yoshiaki Kakuda, Yasushi Wakahara, Hironori Saito: Component-based protocol synthesis. Systems and Computers in Japan 23(8): 13-25 (1992)
- 1991
- [j4]Yoshiaki Kakuda, Yasushi Wakahara: Distributed collection of message exchange sequences in each process for efficient recovery from protocol errors. Systems and Computers in Japan 22(3): 1-9 (1991)
- [j3]Yoshiaki Kakuda, Hironori Saito: An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis. IEEE Trans. Computers 40(4): 459-467 (1991)
- [c1]Hironori Saito, Toru Hasegawa, Yoshiaki Kakuda: Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic. FORTE 1991: 511-526
1980 – 1989
- 1989
- [j2]Yasushi Wakahara, Yoshiaki Kakuda, Atsushi Ito, Eiji Utsunomiya: Escort: An Environment for Specifying Communication Requirements. IEEE Software 6(2): 38-43 (1989)
- 1988
- [j1]Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe: An Acyclic Expansion Algorithm for Fast Protocol Validation. IEEE Trans. Software Eng. 14(8): 1059-1070 (1988)
Coauthor Index
[j27] [j25] [j24] [c83] [c81] [c80] [c78] [c76] [c75] [c73] [j23] [j22] [j21] [j19] [c72] [c71] [c69] [c68] [c67] [c66] [c65] [c63] [c62] [j18] [j17] [c61] [c60] [c59] [c58] [c57] [c56] [c55] [c53] [j16] [j15] [c52] [c51] [c50] [c49] [j14] [c48] [c47] [c46] [c45] [c44] [c42] [j13] [c40] [c39] [c38] [j12] [c35] [c33] [c32] [c31] [c30] [c27] [c23] [c21]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-16 22:12 CEST by the dblp team