Teruo Higashino

	2012
127		Chai-Keong Toh, Teruo Higashino, Juan-Carlos Cano, Michele C. Weigle: Highlights: IEEE ITS Society Technical Committee on Mobile Communications Networks for ITS [Technical Committees]. IEEE Intell. Transport. Syst. Mag. 4(1): 33-35 (2012)
126		Sae Fujii, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino: Trajectory estimation algorithm for mobile nodes using encounter information and geographical information. Pervasive and Mobile Computing 8(2): 249-270 (2012)
	2011
125		Tohru Asami, Teruo Higashino: 2011 IEEE International Conference on Peer-to-Peer Computing, P2P 2011, Kyoto, Japan, August 31 - September 2, 2011 IEEE 2011
124		Keishi Sakanushi, Takuji Hieda, Taichiro Shiraishi, Yasumasa Ode, Yoshinori Takeuchi, Masaharu Imai, Teruo Higashino, Hiroshi Tanaka: Electronic Triage System: Casualties Monitoring System in the Disaster Scene. 3PGCIC 2011: 317-322
123		Shigeto Tajima, Nobuo Funabiki, Teruo Higashino: A Proposal of Fixed Backoff-time Switching Method by Link Activation Rate for Wireless Mesh Networks. CISIS 2011: 647-652
122		Anuj Ratna Bajracharya, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino: Implementation of a data collection mechanism in electronic triage system using wireless sensor devices. LCN 2011: 986-989
121		Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino: A Comprehensive Test Strategy for Network Protocols in Diverse Environment. MASCOTS 2011: 188-196
120		Eijiro Ueno, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino: A Simple Mobility Model Realizing Designated Node Distributions and Natural Node Movement. MASS 2011: 302-311
119		Takamasa Higuchi, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino: An efficient localization algorithm focusing on stop-and-go behavior of mobile nodes. PerCom 2011: 205-212
118		Sae Fujii, Atsushi Fujita, Takaaki Umedu, Shigeru Kaneda, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai: Cooperative Vehicle Positioning via V2V Communications and Onboard Sensors. VTC Fall 2011: 1-5
117		Kazushi Ikeda, Thilmee M. Baduge, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino: ALMware: A middleware for application layer multicast protocols. Computer Communications 34(14): 1673-1684 (2011)
	2010
116		Teruo Higashino, Kenji Suzuki: Message from the General Co-Chairs. ICNP 2010: 1-2
115		Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino: Local map generation using position and communication history of mobile nodes. PerCom 2010: 2-10
114		Shigeto Tajima, Nobuo Funabiki, Teruo Higashino: A WDS Clustering Algorithm for Wireless Mesh Networks. IEICE Transactions 93-D(4): 800-810 (2010)
113		Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino: Evaluation of dissemination-based inter-vehicle ad-hoc communication protocols for local traffic information services. IJWMC 4(2): 76-87 (2010)
112		Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino: Map estimation using GPS-equipped mobile wireless nodes. Pervasive and Mobile Computing 6(6): 623-641 (2010)
	2009
111		Sae Fujii, Takashi Nomura, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino: Real-time trajectory estimation in mobile ad hoc networks. MSWiM 2009: 163-172
110		Keisuke Nakata, Kumiko Maeda, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino: Modeling and Evaluation of Rescue Operations Using Mobile Communication Devices. PADS 2009: 64-71
109		Tomoya Kitani, Ryo Nakahashi, Khaled El-Fakih, Teruo Higashino: Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. RTCSA 2009: 109-118
108		Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino: An integrated tool for development of overlay services. SimuTools 2009: 61
107		Junji Hamada, Akira Uchiyama, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino: Self-estimation of Neighborhood Density for Mobile Wireless Nodes. UIC 2009: 178-192
106		Kumiko Maeda, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino: Urban pedestrian mobility for mobile wireless network simulation. Ad Hoc Networks 7(1): 153-170 (2009)
	2008
105		Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa: Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings Springer 2008
104		Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih: Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings Springer 2008
103		Thilmee M. Baduge, Kazushi Ikeda, Hirozumi Yamaguchi, Teruo Higashino: Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context. ICC 2008: 5708-5714
102		Kazushi Ikeda, Shunsuke Mori, Yuya Ota, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino: D-Sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks. MMNS 2008: 20-32
101		Tomoya Kitani, Nobuo Funabiki, Hirozumi Yamaguchi, Teruo Higashino: Hierarchical Logical Topology in WDM Ring Networks with Limited ADMs. Networking 2008: 326-337
100		Kumiko Maeda, Keisuke Nakata, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino: Hybrid Testbed Enabling Run-Time Operations for Wireless Applications. PADS 2008: 135-143
99		Sae Fujii, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino: An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication (concise contribution). PerCom 2008: 117-124
98		Tomoya Kitani, Takashi Shinkawa, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino: Efficient VANET-Based Traffic Information Sharing using Buses on Regular Routes. VTC Spring 2008: 3031-3036
97		Masatoshi Nakamura, Hiroaki Urabe, Akira Uchiyama, Takaaki Umedu, Teruo Higashino: Realistic Mobility Aware Information Gathering in Disaster Areas. WCNC 2008: 3267-3272
96		Teruo Higashino: Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts. Software-Intensive Systems and New Computing Paradigms 2008: 116-131
95		Weihua Sun, Junya Fukumoto, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino: A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks. JIP 16: 27-37 (2008)
	2007
94		Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings Springer 2007
93		Akira Uchiyama, Sae Fujii, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino: Ad-hoc Localization in Urban District. INFOCOM 2007: 2306-2310
92		Akiko Yamasaki, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino: Mobility-Aware Data Management on Mobile Wireless Networks. VTC Spring 2007: 679-683
91		Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino: Deriving protocol specifications from service specifications written as Predicate/Transition-nets. Computer Networks 51(1): 258-284 (2007)
90		Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino: Design and Evaluation of Intervehicle Dissemination Protocol for Propagation of Preceding Traffic Information. IEEE Transactions on Intelligent Transportation Systems 8(3): 379-390 (2007)
89		Akira Uchiyama, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino: Performance evaluation of mobile wireless communication and services with modelling of real environment. IJAHUC 2(4): 239-249 (2007)
88		Masataka Yonezu, Nobuo Funabiki, Tomoya Kitani, Tokumi Yokohira, Toru Nakanishi, Teruo Higashino: Proposal of a hierarchical heuristic algorithm for node assignment in bidirectional Manhattan street networks. Systems and Computers in Japan 38(4): 74-83 (2007)
87		Yujin Yokogawa, Nobuo Funabiki, Teruo Higashino, Masashi Oda, Yoshihide Mori: A proposal of improved lip contour extraction method using deformable template matching and its application to dental treatment. Systems and Computers in Japan 38(5): 80-89 (2007)
	2006
86		Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata, Teruo Higashino: A real time budgeting method for module-level-pipelined bus based system using bus scenarios. DAC 2006: 37-42
85		Makoto Enomoto, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino: Demand-Oriented Information Retrieval Method on MANET. MDM 2006: 104
84		Shigeto Tajima, Teruo Higashino, Nobuo Funabiki, Shoji Yoshida: An Internet Gateway Access-Point Selection Problem forWireless Infrastructure Mesh Networks. MDM 2006: 112
83		Yoshitaka Nakamura, Hirozumi Yamaguchi, Teruo Higashino: Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks. MDM 2006: 117
82		Takashi Shinkawa, Takashi Terauchi, Tomoya Kitani, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino: A Technique for Information Sharing using Inter-Vehicle Communication with Message Ferrying. MDM 2006: 130
81		Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino: MobiREAL : Scenario Generation and Toolset for MANET Simulation with Realistic Node Mobility. MDM 2006: 55
80		Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito: Demonstration of a Cellular Phone Application Based on Context-Aware Group Formation. MDM 2006: 59
79		Akira Uchiyama, Takaaki Umedu, Keiichi Yasumoto, Teruo Higashino: Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation. NOMS 2006
78		Takaaki Umedu, Hiroaki Urabe, Jun Tsukamoto, Kazuki Sato, Teruo Higashino: MANET Protocol for Information Gathering from Disaster Victims. PerCom Workshops 2006: 442-446
77		Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino: A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata. Int. J. Found. Comput. Sci. 17(4): 833-850 (2006)
76		Thilmee M. Baduge, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino: A distributed algorithm for constructing minimum delay spanning trees under bandwidth constraints on overlay networks. Systems and Computers in Japan 37(14): 15-24 (2006)
75		Takashi Takenaka, Kozo Okano, Teruo Higashino, Kenichi Taniguchi: Symbolic model checking of extended finite state machines with linear constraints over integer variables. Systems and Computers in Japan 37(6): 64-72 (2006)
	2005
74		Teruo Higashino: Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers Springer 2005
73		Takaaki Umedu, Shigeharu Urata, Akio Nakata, Teruo Higashino: Automatic Decomposition of Java Program for Implementation on Mobile Terminals. AINA 2005: 544-549
72		Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino: Evaluation of Inter-Vehicle Ad Hoc Communication Protocol. AINA 2005: 78-83
71		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
70		Teruo Higashino, Hirozumi Yamaguchi: A Testing Architecture for Designing High-Reliable MANET Protocols. FORTE 2005: 20-23
69		Kouji Nishigaki, Keiichi Yasumoto, Naoki Shibata, Minoru Ito, Teruo Higashino: Framework and Rule-Based Language for Facilitating Context-Aware Computing Using Information Appliances. ICDCS Workshops 2005: 345-351
68		Yoshitaka Nakamura, Guiquan Ren, Masatoshi Nakamura, Takaaki Umedu, Teruo Higashino: Personally Customizable Group Navigation System Using Cellular Phones and Wireless Ad-Hoc Communication. ICME 2005: 1342-1345
67		Thilmee M. Baduge, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino: Design and Implementation of Overlay Multicast Protocol for Multimedia Streaming. ICPP 2005: 41-48
66		Kazuki Konishi, Kumiko Maeda, Kazuki Sato, Akiko Yamasaki, Hirozumi Yamaguchi, Teruo Higashino, Keiichi Yasumoto: MobiREAL Simulator Evaluating MANET Applications in Real Environments. MASCOTS 2005: 499-502
65		Kumiko Maeda, Kazuki Sato, Kazuki Konishi, Akiko Yamasaki, Akira Uchiyama, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino: Getting urban pedestrian flow from simple observation: realistic mobility generation in wireless network simulation. MSWiM 2005: 151-158
64		Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino: A formal approach to design optimized multimedia service overlay. NOSSDAV 2005: 57-62
63		Tadaaki Tanimoto, Akio Nakata, Hideaki Hashimoto, Teruo Higashino: Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata. IEICE Transactions 88-A(11): 3007-3021 (2005)
62		Nobuo Funabiki, Jun Kawashima, Toru Nakanishi, Kiyohiko Okayama, Teruo Higashino: An Optical-Drop Wavelength Assignment Algorithm for Efficient Wavelength Reuse under Heterogeneous Traffic in WDM Ring Networks. IEICE Transactions 88-A(5): 1234-1240 (2005)
	2004
61		Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino: A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. ATVA 2004: 179-195
60		Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Kenichi Taniguchi: An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree. ICDCS 2004: 662-669
59		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
58		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
57		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
56		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)
	2003
55		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
54		Tao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino: QoS Functional Testing for Multi-media Systems. FORTE 2003: 319-334
53		Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino: Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. FORTE 2003: 399-414
52		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
51		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
50		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
49		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
48		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)
47		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)
	2002
46		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
45		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
44		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
43		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
42		Makoto Yamada, Takanori Mori, Atsushi Fukada, Akio Nakata, Teruo Higashino: A Method for Functional Testing of Media Synchronization Protocols. ICOIN (2) 2002: 539-550
41		Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi: A Selection Technique for Replicated Multicast Video Servers. ICPP 2002: 556-
40		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)
	2001
39		Akio Nakata, Teruo Higashino: Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas. FORTE 2001: 151-168
38		Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino: A Method to Generate Conformance Test Sequences for FSM with Timer System Call. FORTE 2001: 301-318
37		Atsushi 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
36		Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino: Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment. ICOIN 2001: 163-170
35		Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi: Formal Verification of CPU in Laboratory Work. MSE 2001: 32-34
34		Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi: A compiler to implement LOTOS specifications in distributed environments. Computer Networks 36(2/3): 291-310 (2001)
	2000
33		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
32		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
31		Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi: Hardware implementation of Concurrent Periodic EFSM's. FORTE 2000: 285-300
30		Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi: Fast and Optimal Multicast-Server Selection Based on Receivers' Preference. IDMS 2000: 40-52
29		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
	1999
28		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
27		Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi: Receiver-Cooperative Bandwidth Management for Layered Multicast. ICNP 1999: 43-50
26		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
25		Teruo Higashino, Akio Nakata, Kenichi Taniguchi, Ana R. Cavalli: Generating Test Cases for a Timed I/O Automaton Model. IWTCS 1999: 197-214
	1998
24		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
23		Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi: Hardware synthesis from protocol specifications in LOTOS. FORTE 1998: 405-420
22		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-
21		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
20		Akio Nakata, Teruo Higashino, Kenichi Taniguchi: Protocol Synthesis from Context-Free Processes Using Event Structures. RTCSA 1998: 173-180
	1997
19		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
18		Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi: Protocol Synthesis from Time Petri Net Based Service Specification. ICPADS 1997: 236-243
	1996
17		Akio Nakata, Teruo Higashino, Kenichi Taniguchi: Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. FORTE 1996: 279-294
16		Christian Kant, Teruo Higashino, Gregor von Bochmann: Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Computing 10(1): 29-47 (1996)
	1995
15		Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi: A LOTOS Compiler Generating Multi-threaded Object Codes. FORTE 1995: 271-286
14		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
13		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
12		Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi: Protocol visualization using LOTOS multi-rendezvous mechanism. ICNP 1995: 118-125
11		Akio Nakata, Teruo Higashino, Kenichi Taniguchi: Protocol synthesis from timed and structured specifications. ICNP 1995: 74-
	1994
10		Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi: Software Process Description Using LOTOS and Its Enaction. ICSE 1994: 169-178
9		Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi: Hardware synthesis from a restricted class of LOTOS expressions. PSTV 1994: 379-386
8		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
7		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)
	1993
6		Akio Nakata, Teruo Higashino, Kenichi Taniguchi: LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. FORTE 1993: 451-466
5		Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi: Deriving Protocol Specifications from Service Specifications in Extended FSM Models. ICDCS 1993: 141-148
	1992
4		Toshio Matsuura, Tohru Nakamura, Teruo Higashino, Kenichi Taniguchi, Sumio Masuda: VTM: A Graph Editor for Large Trees. IFIP Congress (1) 1992: 210-216
3		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
	1989
2		Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori: Automated Verification of Equivalence of Protocol Machines. PSTV 1989: 235-246
	1984
1		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)

Coauthor Index

1	Kota Abe	[15] [21] [29]
2	Tohru Asami	[125]
3	Thilmee M. Baduge	[67] [76] [103] [117]
4	Anuj Ratna Bajracharya	[122]
5	Gregor von Bochmann	[3] [7] [16] [33] [48] [53] [91]
6	Juan-Carlos Cano	[127]
7	Ana R. Cavalli	[25] [37]
8	Khaled El-Fakih	[33] [48] [64] [91] [104] [108] [109]
9	Makoto Enomoto	[85]
10	Masakazu Fujii	[44]
11	Sae Fujii	[93] [99] [111] [112] [115] [118] [119] [126]
12	Atsushi Fujita	[118]
13	Atsushi Fukada	[37] [42]
14	Junya Fukumoto	[95]
15	Nobuo Funabiki	[43] [44] [47] [49] [55] [62] [71] [84] [87] [88] [101] [114] [123]
16	Kazuhiro Gotoh	[19]
17	Junji Hamada	[107]
18	Toru Hasegawa	[105]
19	Hideaki Hashimoto	[63]
20	Satoshi Hattori	[26]
21	Takuji Hieda	[124]
22	Masahiro Higuchi	[38]
23	Takamasa Higuchi	[119]
24	Akihito Hiromori	[30] [41] [50] [51] [60] [64] [67] [76] [102] [108] [110] [120] [121] [122]
25	Kazushi Ikeda	[102] [103] [117]
26	Masaharu Imai	[124]
27	Hiroshi Imajo	[5]
28	Megumi Isogai	[71]
29	Minoru Ito	[58] [59] [69] [80] [82] [85] [98]
30	Tatsuo Itoh	[14]
31	Shigeru Kaneda	[118]
32	Christian Kant	[16]
33	Tadao Kasami	[1]
34	Hisaaki Katagiri	[31] [32]
35	Jun Kawashima	[62]
36	Tomohisa Kimoto	[2]
37	Masayuki Kirimura	[31] [45]
38	Yuko Kitahama	[35]
39	Akira Kitajima	[23] [32] [35]
40	Junji Kitamichi	[8] [9] [28] [37]
41	Tomoya Kitani	[52] [57] [82] [88] [98] [101] [109]
42	Kazuki Konishi	[65] [66]
43	Shinji Kusumoto	[92] [95] [107]
44	Cao Man Letan	[51]
45	Xiangdong Li	[3]
46	Kumiko Maeda	[65] [66] [81] [89] [93] [100] [106] [110]
47	Sumio Masuda	[4]
48	Toshio Matsuura	[4] [12] [15] [21] [29]
49	Shinichi Minamimoto	[112] [115]
50	Tadanori Mizuno	[24]
51	Masaaki Mori	[1] [2] [54]
52	Shunsuke Mori	[102]
53	Takanori Mori	[38] [42] [45] [47] [56]
54	Yoshihide Mori	[87]
55	Sumio Morioka	[8]
56	Isao Naka	[52]
57	Ryo Nakahashi	[109]
58	Masatoshi Nakamura	[68] [97]
59	Tohru Nakamura	[4]
60	Yoshitaka Nakamura	[68] [83]
61	Toru Nakanishi	[43] [62] [71] [88]
62	Akio Nakata	[6] [11] [14] [17] [20] [25] [37] [39] [40] [42] [45] [46] [47] [52] [56] [57] [61] [63] [73] [77] [86]
63	Keisuke Nakata	[100] [110]
64	Kedar S. Namjoshi	[94]
65	Kiyoshi Ninomiya	[2]
66	Kouji Nishigaki	[58] [59] [69] [80]
67	Takashi Nomura	[111]
68	Masashi Oda	[87]
69	Yasumasa Ode	[124]
70	Yoshio Okamura	[94]
71	Kozo Okano	[5] [13] [18] [26] [35] [75]
72	Kiyohiko Okayama	[62]
73	Yuya Ota	[102]
74	Hirotaka Otsuka	[47]
75	Guiquan Ren	[68]
76	Masashi Saito	[72] [90] [113]
77	Yuki Sakai	[108]
78	Keishi Sakanushi	[124]
79	Hiroharu Sakate	[22]
80	Suguru Sasaki	[61] [77]
81	Kazuki Sato	[65] [66] [78]
82	Naoki Shibata	[69] [82] [85] [98]
83	Takashi Shinkawa	[82] [98]
84	Taichiro Shiraishi	[124]
85	Norio Shiratori	[24]
86	Ayako Sugano	[49] [55]
87	Yuji Sugiyama	[1]
88	Tao Sun	[54]
89	Weihua Sun	[95]
90	Kenji Suzuki	[104] [105] [116]
91	Harumasa Tada	[38]
92	Shigeto Tajima	[43] [44] [49] [84] [114] [123]
93	Mineo Takai	[118]
94	Yoshifumi Takamoto	[45] [52] [57]
95	Takashi Takenaka	[28] [75]
96	Yoshinori Takeuchi	[124]
97	Hiroshi Tanaka	[124]
98	Kenichi Taniguchi	[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] [75]
99	Tadaaki Tanimoto	[61] [63] [77] [86]
100	Hiroki Tatsumoto	[19]
101	Yoshiki Terashima	[29] [46]
102	Takashi Terauchi	[82]
103	Atsushi Togashi	[24]
104	Chai-Keong Toh	[127]
105	K. Tokuda	[38]
106	Jun Tsukamoto	[72] [78] [90] [113]
107	Kazufumi Tsunemura	[44]
108	Akira Uchiyama	[65] [79] [89] [93] [97] [99] [106] [107] [122] [126]
109	Eijiro Ueno	[120]
110	Andreas Ulrich	[105]
111	Takaaki Umedu	[36] [40] [46] [58] [59] [68] [72] [73] [78] [79] [80] [81] [89] [90] [93] [97] [99] [100] [102] [106] [110] [111] [113] [117] [118] [126]
112	Hiroaki Urabe	[78] [97]
113	Shigeharu Urata	[73]
114	Michele C. Weigle	[127]
115	Makoto Yamada	[42]
116	Hirozumi Yamaguchi	[13] [18] [22] [27] [30] [33] [36] [40] [41] [48] [50] [51] [53] [60] [64] [65] [66] [67] [70] [76] [81] [83] [89] [91] [92] [93] [95] [99] [100] [101] [102] [103] [106] [107] [108] [110] [111] [112] [115] [117] [118] [119] [120] [121] [122] [126]
117	Seiji Yamaguchi	[86]
118	Akira Yamamoto	[26]
119	Akiko Yamasaki	[65] [66] [92]
120	Takeshi Yamashita	[51]
121	Keiichi Yasumoto	[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] [65] [66] [69] [79] [80] [81] [82] [85] [98] [100] [104] [106]
122	Yujin Yokogawa	[87]
123	Tokumi Yokohira	[43] [44] [88]
124	Tomohiro Yoneda	[94]
125	Masataka Yonezu	[88]
126	Shoji Yoshida	[84]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page