| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Teruo Higashino Takaaki Umedu , Shigeharu Urata , Akio Nakata , Teruo Higashino: Automatic Decomposition of Java Program for Implementation on Mobile Terminals. AINA 2005 : 544-549 Masahi Saito , Jun Tsukamoto , Takaaki Umedu , Teruo Higashino: Evaluation of Inter-Vehicle Ad Hoc Communication Protocol. AINA 2005 : 78-83 Nobuo Funabiki , Megumi Isogai , Toru Nakanishi , Teruo Higashino: Optical-Drop Wavelength Assignment Problem for Wavelength Reuse in WDM Ring Metropolitan Area Networks. AINA 2005 : 999-1004 Tadaaki Tanimoto , Suguru Sasaki , Akio Nakata , Teruo Higashino: A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. ATVA 2004 : 179-195 Hirozumi Yamaguchi , Akihito Hiromori , Teruo Higashino, Kenichi Taniguchi : An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree. ICDCS 2004 : 662-669 Kouji Nishigaki , Keiichi Yasumoto , Takaaki Umedu , Teruo Higashino, Minoru Ito : Middleware Providing Group Communication Facility Based on Muliti-Way Synchronization for Cellular Phone Applications. ICDCS Workshops 2004 : 434-437 Kouji Nishigaki , Keiichi Yasumoto , Takaaki Umedu , Teruo Higashino, Minoru Ito : Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications. Mobile Data Management 2004 : 170 Tomoya Kitani , Yoshifumi Takamoto , Keiichi Yasumoto , Akio Nakata , Teruo Higashino: A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems. RTSS 2004 : 437-446 Takanori Mori , Akio Nakata , Teruo Higashino: A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing. Stud. Inform. Univ. 3 (2): 231- (2004) Nobuo Funabiki , Ayako Sugano , Teruo Higashino: A Proposal of a Minimal-State Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks. AINA 2003 : 229-232 Tao Sun , Keiichi Yasumoto , Masaaki Mori , Teruo Higashino: QoS Functional Testing for Multi-media Systems. FORTE 2003 : 319-334 Hirozumi Yamaguchi , Gregor von Bochmann , Teruo Higashino: Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. FORTE 2003 : 399-414 Tomoya Kitani , Yoshifumi Takamoto , Isao Naka , Keiichi Yasumoto , Akio Nakata , Teruo Higashino: Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking. FPL 2003 : 1145-1148 Hirozumi Yamaguchi , Cao Man Letan , Akihito Hiromori , Takeshi Yamashita , Keiichi Yasumoto , Teruo Higashino, Kenichi Taniguchi : A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications. ICDCS Workshops 2003 : 531-536 Akihito Hiromori , Hirozumi Yamaguchi , Keiichi Yasumoto , Teruo Higashino, Kenichi Taniguchi : Reducing the Size of Routing Tables for Large-scale Network Simulation. PADS 2003 : 115-122 Shigeto Tajima , Ayako Sugano , Nobuo Funabiki , Teruo Higashino: A Proposal of a Minimal-State Processing Search Algorithm for Link Scheduling Problems in Packet Radio Networks. SAINT 2003 : 128-135 Hirozumi Yamaguchi , Khaled El-Fakih , Gregor von Bochmann , Teruo Higashino: Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. Distributed Computing 16 (1): 21-35 (2003) Takanori Mori , Hirotaka Otsuka , Nobuo Funabiki , Akio Nakata , Teruo Higashino: A test sequence generation method for communication protocols using the SAT algorithm. Systems and Computers in Japan 34 (11): 20-29 (2003) Takaaki Umedu , Yoshiki Terashima , Keiichi Yasumoto , Akio Nakata , Teruo Higashino, Kenichi Taniguchi : A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels. FME 2002 : 607-624 Masayuki Kirimura , Yoshifumi Takamoto , Takanori Mori , Keiichi Yasumoto , Akio Nakata , Teruo Higashino: Design and Implementation of FPGA Circuits for High Speed Network Monitors. FPL 2002 : 393-403 Shigeto Tajima , Masakazu Fujii , Nobuo Funabiki , Tokumi Yokohira , Kazufumi Tsunemura , Teruo Higashino: An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems. ICOIN (1) 2002 : 193-202 Nobuo Funabiki , Toru Nakanishi , Tokumi Yokohira , Shigeto Tajima , Teruo Higashino: A Proposal of a Quasi-Solution State Evolution Algorithm for Channel Assignment Problems. ICOIN (2) 2002 : 32-41 Makoto Yamada , Takanori Mori , Atsushi Fukada , Akio Nakata , Teruo Higashino: A Method for Functional Testing of Media Synchronization Protocols. ICOIN (2) 2002 : 539-550 Akihito Hiromori , Hirozumi Yamaguchi , Keiichi Yasumoto , Teruo Higashino, Kenichi Taniguchi : A Selection Technique for Replicated Multicast Video Servers. ICPP 2002 : 556- Keiichi Yasumoto , Takaaki Umedu , Hirozumi Yamaguchi , Akio Nakata , Teruo Higashino: Protocol animation based on event-driven visualization scenarios in real-time LOTOS. Computer Networks 40 (5): 639-663 (2002) Akio Nakata , Teruo Higashino: Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas. FORTE 2001 : 151-168 T. Mori , K. Tokuda , H. Tada , Masahiro Higuchi , Teruo Higashino: A Method to Generate Conformance Test Sequences for FSM with Timer System Call. FORTE 2001 : 301-318 A. Fukada , Akio Nakata , Junji Kitamichi , Teruo Higashino, Ana R. Cavalli : A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. ICOIN 2001 : 155-162 Takaaki Umedu , Hirozumi Yamaguchi , Keiichi Yasumoto , Teruo Higashino: Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment. ICOIN 2001 : 163-170 Kozo Okano , Yuko Kitahama , Akira Kitajima , Teruo Higashino, Kenichi Taniguchi : Formal Verification of CPU in Laboratory Work. MSE 2001 : 32-34 Keiichi Yasumoto , Teruo Higashino, Kenichi Taniguchi : A compiler to implement LOTOS specifications in distributed environments. Computer Networks 36 (2/3): 291-310 (2001) Khaled El-Fakih , Hirozumi Yamaguchi , Gregor von Bochmann , Teruo Higashino: Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. ASE 2000 : 305-308 Hisaaki Katagiri , Keiichi Yasumoto , Akira Kitajima , Teruo Higashino, Kenichi Taniguchi : Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. DAC 2000 : 762-767 Hisaaki Katagiri , Masayuki Kirimura , Keiichi Yasumoto , Teruo Higashino, Kenichi Taniguchi : Hardware implementation of Concurrent Periodic EFSM's. FORTE 2000 : 285-300 Akihito Hiromori , Hirozumi Yamaguchi , Keiichi Yasumoto , Teruo Higashino, Kenichi Taniguchi : Fast and Optimal Multicast-Server Selection Based on Receivers' Preference. IDMS 2000 : 40-52 Yoshiki Terashima , Keiichi Yasumoto , Teruo Higashino, Kota Abe , Toshio Matsuura , Kenichi Taniguchi : Extension of SMIL with QoS Control and its Implementation. IEEE International Conference on Multimedia and Expo (III) 2000 : 1683-1686 Takashi Takenaka , Junji Kitamichi , Teruo Higashino, Kenichi Taniguchi : Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution. ASP-DAC 1999 : 177-180 Hirozumi Yamaguchi , Keiichi Yasumoto , Teruo Higashino, Kenichi Taniguchi : Receiver-Cooperative Bandwidth Management for Layered Multicast. ICNP 1999 : 43-50 Kozo Okano , Satoshi Hattori , Akira Yamamoto , Teruo Higashino, Kenichi Taniguchi : Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. ICPP Workshops 1999 : 576-581 Teruo Higashino, Akio Nakata , Kenichi Taniguchi , Ana R. Cavalli : Generating Test Cases for a Timed I/O Automaton Model. IWTCS 1999 : 197-214 Atsushi Togashi , Tadanori Mizuno , Norio Shiratori , Teruo Higashino: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan Chapman & Hall 1998 Keiichi Yasumoto , Akira Kitajima , Teruo Higashino, Kenichi Taniguchi : Hardware synthesis from protocol specifications in LOTOS. FORTE 1998 : 405-420 Hiroharu Sakate , Hirozumi Yamaguchi , Keiichi Yasumoto , Teruo Higashino, Kenichi Taniguchi : Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application. ICNP 1998 : 189- Kota Abe , Toshio Matsuura , Keiichi Yasumoto , Teruo Higashino: Design and Implementation of an Efficient I/O Method for a Real-Time User Level Thread Library. RTCSA 1998 : 117-120 Akio Nakata , Teruo Higashino, Kenichi Taniguchi : Protocol Synthesis from Context-Free Processes Using Event Structures. RTCSA 1998 : 173-180 Keiichi Yasumoto , Kazuhiro Gotoh , Hiroki Tatsumoto , Teruo Higashino, Kenichi Taniguchi : Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. FORTE 1997 : 161-176 Hirozumi Yamaguchi , Kozo Okano , Teruo Higashino, Kenichi Taniguchi : Protocol Synthesis from Time Petri Net Based Service Specification. ICPADS 1997 : 236-243 Akio Nakata , Teruo Higashino, Kenichi Taniguchi : Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. FORTE 1996 : 279-294 Christian Kant , Teruo Higashino, Gregor von Bochmann : Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Computing 10 (1): 29-47 (1996) Keiichi Yasumoto , Teruo Higashino, Kota Abe , Toshio Matsuura , Kenichi Taniguchi : A LOTOS Compiler Generating Multi-threaded Object Codes. FORTE 1995 : 271-286 Teruo Higashino, Akio Nakata , Tatsuo Itoh , Kenichi Taniguchi : Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. FORTE 1995 : 433-440 Hirozumi Yamaguchi , Kozo Okano , Teruo Higashino, Kenichi Taniguchi : Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. ICDCS 1995 : 510-517 Keiichi Yasumoto , Teruo Higashino, Toshio Matsuura , Kenichi Taniguchi : Protocol visualization using LOTOS multi-rendezvous mechanism. ICNP 1995 : 118-125 Akio Nakata , Teruo Higashino, Kenichi Taniguchi : Protocol synthesis from timed and structured specifications. ICNP 1995 : 74- Keiichi Yasumoto , Teruo Higashino, Kenichi Taniguchi : Software Process Description Using LOTOS and Its Enaction. ICSE 1994 : 169-178 Teruo Higashino, Keiichi Yasumoto , Junji Kitamichi , Kenichi Taniguchi : Hardware synthesis from a restricted class of LOTOS expressions. PSTV 1994 : 379-386 Junji Kitamichi , Sumio Morioka , Teruo Higashino, Kenichi Taniguchi : Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach. TPCD 1994 : 165-184 Teruo Higashino, Gregor von Bochmann : Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. IEEE Trans. Software Eng. 20 (1): 29-42 (1994) Akio Nakata , Teruo Higashino, Kenichi Taniguchi : LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. FORTE 1993 : 451-466 Teruo Higashino, Kozo Okano , Hiroshi Imajo , Kenichi Taniguchi : Deriving Protocol Specifications from Service Specifications in Extended FSM Models. ICDCS 1993 : 141-148 Toshio Matsuura , Tohru Nakamura , Teruo Higashino, Kenichi Taniguchi , Sumio Masuda : VTM: A Graph Editor for Large Trees. IFIP Congress (1) 1992 : 210-216 Teruo Higashino, Gregor von Bochmann , Xiangdong Li , Keiichi Yasumoto , Kenichi Taniguchi : Test System for a Restricted Class of LOTOS Expressions with Data Parameters. Protocol Test Systems 1992 : 205-216 Teruo Higashino, Kiyoshi Ninomiya , Tomohisa Kimoto , Kenichi Taniguchi , Masaaki Mori : Automated Verification of Equivalence of Protocol Machines. PSTV 1989 : 235-246 Teruo Higashino, Masaaki Mori , Yuji Sugiyama , Kenichi Taniguchi , Tadao Kasami : An Algebraic Specification of HDLC Procedures and Its Verification. IEEE Trans. Software Eng. 10 (6): 825-836 (1984) 1 [ 15 ] [ 21 ] [ 29 ] 2 [ 3 ] [ 7 ] [ 16 ] [ 33 ] [ 48 ] [ 53 ] 3 [ 25 ] [ 37 ] 4 [ 33 ] [ 48 ] 5 [ 44 ] 6 [ 37 ] 7 [ 42 ] 8 [ 43 ] [ 44 ] [ 47 ] [ 49 ] [ 55 ] [ 62 ] 9 [ 19 ] 10 [ 26 ] 11 [ 38 ] 12 [ 30 ] [ 41 ] [ 50 ] [ 51 ] [ 60 ] 13 [ 5 ] 14 [ 62 ] 15 [ 58 ] [ 59 ] 16 [ 14 ] 17 [ 16 ] 18 [ 1 ] 19 [ 31 ] [ 32 ] 20 [ 2 ] 21 [ 31 ] [ 45 ] 22 [ 35 ] 23 [ 23 ] [ 32 ] [ 35 ] 24 [ 8 ] [ 9 ] [ 28 ] [ 37 ] 25 [ 52 ] [ 57 ] 26 [ 51 ] 27 [ 3 ] 28 [ 4 ] 29 [ 4 ] [ 12 ] [ 15 ] [ 21 ] [ 29 ] 30 [ 24 ] 31 [ 1 ] [ 2 ] [ 54 ] 32 [ 38 ] 33 [ 42 ] [ 45 ] [ 47 ] [ 56 ] 34 [ 8 ] 35 [ 52 ] 36 [ 4 ] 37 [ 43 ] [ 62 ] 38 [ 6 ] [ 11 ] [ 14 ] [ 17 ] [ 20 ] [ 25 ] [ 37 ] [ 39 ] [ 40 ] [ 42 ] [ 45 ] [ 46 ] [ 47 ] [ 52 ] [ 56 ] [ 57 ] [ 61 ] [ 64 ] 39 [ 2 ] 40 [ 58 ] [ 59 ] 41 [ 5 ] [ 13 ] [ 18 ] [ 26 ] [ 35 ] 42 [ 47 ] 43 [ 63 ] 44 [ 22 ] 45 [ 61 ] 46 [ 24 ] 47 [ 49 ] [ 55 ] 48 [ 1 ] 49 [ 54 ] 50 [ 38 ] 51 [ 43 ] [ 44 ] [ 49 ] 52 [ 45 ] [ 52 ] [ 57 ] 53 [ 28 ] 54 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 17 ] [ 18 ] [ 19 ] [ 20 ] [ 22 ] [ 23 ] [ 25 ] [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 31 ] [ 32 ] [ 34 ] [ 35 ] [ 41 ] [ 46 ] [ 50 ] [ 51 ] [ 60 ] 55 [ 61 ] 56 [ 19 ] 57 [ 29 ] [ 46 ] 58 [ 24 ] 59 [ 38 ] 60 [ 63 ] 61 [ 44 ] 62 [ 36 ] [ 40 ] [ 46 ] [ 58 ] [ 59 ] [ 63 ] [ 64 ] 63 [ 64 ] 64 [ 42 ] 65 [ 13 ] [ 18 ] [ 22 ] [ 27 ] [ 30 ] [ 33 ] [ 36 ] [ 40 ] [ 41 ] [ 48 ] [ 50 ] [ 51 ] [ 53 ] [ 60 ] 66 [ 26 ] 67 [ 51 ] 68 [ 3 ] [ 9 ] [ 10 ] [ 12 ] [ 15 ] [ 19 ] [ 21 ] [ 22 ] [ 23 ] [ 27 ] [ 29 ] [ 30 ] [ 31 ] [ 32 ] [ 34 ] [ 36 ] [ 40 ] [ 41 ] [ 45 ] [ 46 ] [ 50 ] [ 51 ] [ 52 ] [ 54 ] [ 57 ] [ 58 ] [ 59 ] 69 [ 43 ] [ 44 ]  ©2005 Association for Computing Machinery |
