Research Papers (Oct. 3, 2009)

English Journal papers

  1. Takaaki Umedu, Kumiko Isu, Teruo Higashino and C. K. Toh : "An Inter-vehicular Communication Protocol for Distributed Detection of Dangerous Vehicles", IEEE Transactions on Vehicular Technology (to appear).

  2. Kumiko Maeda, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino : "Urban Pedestrian Mobility for Mobile Wireless Network Simulation", Ad Hoc Networks, Elsevier, Vol.7, No.1, pp. 153-170 (Jan. 2009).

  3. Teruo Higashino : "Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts -Research Challenges toward Future Affluent Ambient Society-", Software-Intensive Systems and New Computing Paradigms - Challenges and Visions, Lecture Notes in Computer Science, Vol.5048, pp.116-131 (Oct. 2008).

  4. Masashi Saito, Jun Tsukamoto, Takaaki Umedu and Teruo Higashino : "Design and Evaluation of Inter-Vehicle Dissemination Protocol for Propagation of Preceding Traffic Information", IEEE Transactions on Intelligent Transportation Systems, Vol. 8, No.3, pp.379-390 (Sept. 2007).

  5. Akira Uchiyama, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino : "Performance Evaluation of Mobile Wireless Communication and Services with Modelling of Real Environment", International Journal of Ad Hoc and Ubiquitous Computing, Vol.2, No. 4, pp.239-249 (Sept. 2007).

  6. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor v. Bochmann and Teruo Higashino : "Deriving Protocol Specifications from Service Specifications Written as Predicate/Transition-Nets", Computer Networks, Vol. 51, No.1, pp.258-284 (Jan. 2007).

  7. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor v. Bochmann and Teruo Higashino: "Petri Net Based Protocol Synthesis with Minimum Communication Costs", Journal of the Franklin Institute, Vol.343, No.4-5, pp.501-520 (July-Aug. 2006).

  8. Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino : "A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata", International Journal of Foundations of Computer Science, Vol.17, No.4, pp.833-850 (Aug. 2006).

  9. Tadaaki Tanimoto, Akio Nakata, Hideaki Hashimoto and Teruo Higashino: "Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata", IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E88-A, No. 11, pp.3007-3021 (Nov. 2005)

  10. Thilmee M. Baduge, Hirozumi Yamaguchi and Teruo Higashino: "An Efficient Overlay Multicast Protocol for Heterogeneous Users", Journal of Information Processing Society of Japan, Vol.46, No.11, pp.2614-2622 (Nov. 2005).

  11. Nobuo Funabiki, Jun Kawashima, Kiyohiko Okayama, Toru Nakanishi and Teruo Higashino: " A Minumum Dead Space Algorithm for Generalized Isochronous Channel Reuse Problem in DQDB Networks", IEICE Transactions on Fundamentals, Vol.E87-B, No.9, pp.2692-2698 (Sept. 2004).

  12. Nobuo Funabiki, Jun Kawashima, Shoji Yoshida, Kiyohiko Okayama, Toru Nakanishi and Teruo Higashino: " P2PMM router: a Two-Stage Heuristic Algorithm to Peer-to-Peer Multicast Routing Problems in Multihome Networks", IEICE Transactions on Fundamentals, Vol.E87-A, No.5, pp.1070-1076 (May 2004).

  13. Takanori Mori, Akio Nakata and Teruo Higashino: " A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing", STUDIA INFORMATICA UNIVERSALIS, Vol.3, No.2, pp. 169-192 (April 2004).

  14. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann and Teruo Higashino: "Protocol Synthesis and Re-synthesis with Optimal Allocation of Resources Based on Extended Petri Nets", Distributed Computing, Vol 16, No. 1, pp.21-35 (Feb. 2003).

  15. Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguchi, Akio Nakata and Teruo Higashino: "Protocol Animation based on Event-driven Visualization Scenarios in Real-time LOTOS", Computer Networks, Vol.40, No.5, pp. 639-663 (Dec. 2002).

  16. Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Akio Nakata and Teruo Higashino: "A Constraint-Oriented Design Method for Distributed Cooperative Systems and Efficient Verification Using Symmetries", International Journal of Computer and Information Science, Vol. 3, No. 2, pp. 125-136 (Jun. 2002).

  17. Nobuo Funabiki, Toru Nakanishi, Tokumi Yokohira, Shigeto Tajima and Teruo Higashino: "A Quasi-Solution State Evolution Algorithm for Channel Assignment Problems in Cellular Networks", IEICE Transactions on Fundamentals, Vol.E85-A, No.5, pp.977-987 (May. 2002).

  18. Yoichi Takenaka, Nubuo Funabiki and Teruo Higashino: "Relaxation of coefficient sensitiveness to performance forneural networks using neuron filter through total coloring problems neural networks using neuron filter through total coloring problems", IEICE Transactions on Fundamentals, Vol.E84-A, No.9, pp.2367-2370 (Sep. 2001).

  19. Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "A compiler to implement LOTOS specifications in distributed environments", Computer Networks, Vol.36, No.2-3, pp.291-310 (Jul. 2001).

  20. Yoichi Takenaka, Nobuo Funabiki and Teruo Higashino: "A proposal of neuron filter a constraint resolution scheme of neural networks for combinatorial optimization problems", IEICE Transactions on Fundamentals, Vol. E83-A, No.9, pp.1815-1823 (Sep. 2000).

  21. Nobuo Funabiki and Teruo Higashino: "A Minimal State Processing Search Algorithm for Graph Coloring Problems", IEICE Transactions on Fundamentals, Vol. E83-A, No.7, pp.1420-1430 (Jul. 2000).

  22. Akira Kitajima, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS", IEICE Transactions on Fundamentals, Vol. E82-A, No.4, pp.487-494 (Apr. 1999).

  23. Akira Kitajima, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit", IEICE Transactions on Fundamentals, Vol.E81-A, No.4, pp.566-575 (Apr. 1998).

  24. Christian Kant, Teruo Higashino and Gregor von Bochmann: "Deriving Protocol Specifications from Service Specifications Written in LOTOS", Distributed Computing, Vol. 10, No. 1, pp.29-47 (Jun. 1997).

  25. Akio Nakata, Teruo Higashino and Kenichi Taniguchi: "Time-Action Alternating Model for Timed Processes and its Symbolic Verification of Bisimulation Equivalence", IEICE Transactions on Fundamentals, Vol.E80-A, No.2, pp.400-406 (Feb. 1997).

  26. Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino and Kenichi Taniguchi: "Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in A Marked Graph Model", IEICE Transactions on Fundamentals, Vol.E77-A, No.10, pp.1623-1633 (Oct. 1994).

  27. Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura and Kenichi Taniguchi: "PROSPEX: A Graphical LOTOS Simulator for Protocol Specifications with N Nodes", IEICE Transactions on Communications, Vol.E75-B, No.10, pp.1015-1023 (Oct. 1992).

  28. Teruo Higashino: "Service Specification and its Protocol Specifications in LOTOS - A Survey for Synthesis and Execution -", IEICE Transactions on Fundamentals, Vol.E75-A, No.3, pp.330-338 (Mar. 1992).

  29. Teruo Higashino, Masaaki Mori, Yuuji Sugiyama, Kenichi Taniguchi and Tadao Kasami: "An Algebraic Specification of HDLC Procedures and Its Verification", IEEE Transactions on Software Engineering, Vol.SE-10, No. 6, pp.825-837 (Nov. 1984).

Conference Papers

  1. Sae Fujii, Takashi Nomura, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino : "Real-time Trajectory Estimation in Mobile Ad Hoc Networks", Proceedings of the 12-th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2009), (Oct. 2009). (to appear)

  2. Masaya Ohmori, Takaaki Umedu and Teruo Higashino : "Adaptive Location Based TDM Protocol for Inter-Vehicle Communication", Proceedings of the 1st IEEE Vehicular Networking Conference (IEEE VNC 2009), (Oct., 2009). (to appear)

  3. Tomoya Kitani, Keisuke Nishi and Teruo Higashino : "An Algorithm for Assigning Real-time Tasks with Timing Constraints into Dynamically Reconfigurable Processor", Proceedings of the 3rd International Workshop on Infomatics (IWIN 2009), (Sept., 2009).

  4. Tomoya Kitani, Ryo Nakahashi, Khaled El-Fakih and Teruo Higashino : "Optimal Assignment of Periodic Real-time Systems into Dynamically Reconfigurable Processors", Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2009), (Aug. 2009).

  5. Junji Hamada, Akira Uchiyama, Hirozumi Yamaguchi, Shinji Kusumoto and Teruo Higashino : "Self-Estimation of Neighborhood Density for Mobile Wireless Nodes", Proceedings of the Sixth International Conference on Ubiquitous Intelligence and Computing (UIC-09), pp.178-192 (July 2009).

  6. Keisuke Nakata, Kumiko Maeda, Takaaki Umedu,Akihito Hiromori, Hirozumi Yamaguchi and Teruo Higashino : "Modeling and Evaluation of Rescue Operations using Mobile Communication Devices", Proceedings of the 23rd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2009), pp.64-71 (June 2009).

  7. Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih and Teruo Higashino : "An Integrated Tool for Development of Overlay Services", Proceedings of the 2nd International Conference on Simulation Tools and Techniques (SIMUTOOLS 2009), (March 2009).

  8. Kazushi Ikeda, Shunsuke Mori, Yuya Ota, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi and Teruo Higashino : "D-sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks", Proceedings of the 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS 2008), pp.20-32 (Sept. 2008).

  9. Akira Uchiyama, Sae Fujii, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino : "Neighbor Selection Algorithm for Ad hoc Networks with Highly Dynamic Urban Mobility", Proceedings of IEEE International Wireless Communications and Mobile Computing Conference 2008 (IWCMC 2008), pp.165-170 (Aug. 2008).

  10. Kumiko Maeda, Keisuke Nakata, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino : "Hybrid Testbed Enabling Run-time Operations for Wireless Applications", Proceedings of the 22nd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2008), pp.135-143 (June 2008).

  11. Thilmee M. Baduge, Kazushi Ikeda, Hirozumi Yamaguchi and Teruo Higashino "Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context", Proceedings of the 2008 IEEE International Conference on Communications (ICC 2008), pp.5708-5714 (May 2008).

  12. Tomoya Kitani, Nobuo Funabiki, Hirozumi Yamaguchi and Teruo Higashino "Hierarchical Logical Topology in WDM Ring Networks with Limited ADM'', Proceedings of the IFIP Networking 2008 (Networking 2008), pp.326-337 (May 2008).

  13. Tomoya Kitani, Takashi Shinkawa, Naoki Shibata, Keiichi Yasumoto, Minoru Ito and Teruo Higashino : "Efficient VANET-based Traffic Information Sharing using Buses on Regular Routes", Proceedings of the 2008 IEEE 67th Vehicular Technology Conference (VTC2008-Spring), pp.3031-3036 (May 2008).

  14. Masatoshi Nakamura, Hiroaki Urabe, Akira Uchiyama, Takaaki Umedu and Teruo Higashino : "Realistic Mobility Aware Information Gathering in Disaster Areas", Proceedings of the IEEE Wireless Communications and Networking Conference 2008 (WCNC 2008), pp.3267-3272 (April 2008).

  15. Sae Fujii, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino : "An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication", Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), (March 2008).

  16. Takurou Sakai Akira Uchiyama Yoshitaka Nakamura and Teruo Higashino : "Certification of Secure Encounter History Among Low Power Mobile Sensors", Short Paper Proceedings of the 4th Annual IFIP WG 11.9 International Conference on Digital Forensics (ICDF2008), (Jan. 2008).

  17. Kazuhiro Nakanishi, Takaaki Umedu, Teruo Higashino, Hiroko Mori and Hironobu Kitaoka : "Synthesizing Realistic Vehicular Mobility for Precise Simulation of Inter-vehicle Communication", Proceedings of the 2nd IEEE Workshop on Automotive Networking and Applications (AutoNet 2007), (Dec. 2007).

  18. Takeshi Fujiki, Masayuki Kirimura, Takaaki Umedu and Teruo Higashino : "Efficient acquisition of local traffic information using inter-vehicle communication with queries", Proceedings of the 10th IEEE International Conference on Intelligent Transportation Systems (ITSC 2007), pp.241-246 (Sept. 2007).

  19. Shigeto Tajima, Teruo Higashino, Nobuo Funabik and Toru Nakanishi : "A WDS Clustering Algorithm for Wireless Mesh Networks", Proceedings of the 4th International Conference on Wireless and Optical Communications Networks (WOCN 2007), (July 2007).

  20. Kazushi Ikeda, Thilmee M. Baduge, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino : "A Middleware for Implementation and Evaluation of Application Layer Multicast Protocols in Real Environments", Proceedings of the 17th International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV 2007), (June 2007).

  21. Kazuki Konishi, Hirozumi Yamaguchi and Teruo Higashino : "Efficient Parallel Simulation of Mobile Wireless Networks by Run-time Prediction of Multi-hop Propagation Delay", Proceedings of the 3rd International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TridentCom 2007), (May 2007).

  22. Akira Uchiyama, Sae Fujii, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino : "Ad-hoc Localization in Urban District", Proceedings of the 26th Annual IEEE Conference on Computer Communications (INFOCOM 2007 Mini-Symp.), CD-ROM (May 2007).

  23. Akiko Yamasaki, Hirozumi Yamaguchi, Shinji Kusumoto and Teruo Higashino : "Mobility-aware Data Management on Mobile Wireless Networks", Proceedings of the IEEE 65th Vehicular Technology Conference VTC2007-Spring, (April 2007).

  24. Kumiko Isu, Takaaki Umedu, Teruo Higashino and C K Toh : "Detecting Dangerous Vehicles on Intelligent Transportation Systems", Proceedings of the 1st IEEE Workshop on Automotive Networking and Applications (AutoNet 2006), pp.17-22 (Dec. 2006).

  25. Naoki Shibata, Takashi Terauchi, Tomoya Kitani, Keiichi Yasumoto, Minoru Ito and Teruo Higashino : "A Method for Sharing Traffic Jam Information using Inter-Vehicle Communication", Proceedings of the 2nd International Workshop on Vehicle-to-Vehicle Communications 2006 (V2VCOM 2006), CD-ROM (July 2006). (Invited Paper)

  26. Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata and Teruo Higashino : "A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios", Proceedings of the 43rd ACM/IEEE Design Automation Conference (DAC-2006), pp.37-42 (July 2006).

  27. Makoto Enomoto, Naoki Shibata, Keiichi Yasumoto, Minoru Ito and Teruo Higashino : "A Demand-Oriented Information Retrieval Method on MANET", Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06), CD-ROM (May 2006).

  28. Shigeto Tajima, Nobuo Funabiki, Teruo Higashino and Shoji Yoshida : "An Internet Gateway Access-Point Selection Problem for Wireless Infrastructure Mesh Networks", Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06) , CD-ROM (May 2006).

  29. Yoshitaka Nakamura, Hirozumi Yamaguchi and Teruo Higashino : "Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks", Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06) , CD-ROM (May 2006).

  30. Takashi Shinkawa, Takashi Terauchi, Tomoya Kitani, Naoki Shibata, Keiichi Yasumoto, Miroru Ito and Teruo Higashino : "A Technique for Information Sharing Using Inter-Vehicle Communication with Message Ferrying", Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06) , CD-ROM (May 2006).

  31. Akira Uchiyama, Takaaki Umedu, Keiichi Yasumoto and Teruo Higashino : "Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation", Proceedings of the 10th IEEE/IFIP Network Operations and Management Symposium (NOMS 2006), CD-ROM (April 2006).

  32. Takaaki Umedu, Hiroaki Urabe, Jun Tsukamoto, Kazuki Sato and Teruo Higashino : "A MANET Protocol for Information Gathering from Disaster Victims", Proceedings of the 4th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06), pp.442-446 (March 2006) (Invited Paper)

  33. Megumi Isogai, Nobuo Funabiki, Toru Nakanishi, and Teruo Higashino : "A proposal of a node configuration algorithm for WDM ring networks", Proceedings of International Conference on Optical Communications and Networks (ICOCN-2005), pp. 188-191 (Dec. 2005).

  34. Teruo Higashino : "Future of Mobile and Ubiquitous Computing", Proceedings of the First International Workshop on Network Architecture and Service Models (NASM 2005), (Nov. 2005) (Keynote Speech)

  35. Teruo Higashino and Hirozumi Yamaguchi : "A Testing Architecture for Designing High-Reliable MANET Protocol", Proceedings of the 25th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), Lecture Notes in Computer Science, Vol.3731, pp.20-23 (Oct. 2005) (Invited Paper/Keynote Speech)

  36. Kumiko Maeda, Kazuki Sato, Kazuki Konishi, Akiko Yamasaki, Akira Uchiyama, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino : "Getting Urban Pedestrian Flow from Simple Observation : Realistic Mobility Generation in Wireless Network Simulation", Proceedings of the 8th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM2005), pp.151-158 (Oct. 2005).

  37. Kazuki Konishi, Kumiko Maeda, Kazuki Sato, Akiko Yamasaki, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino : "MobiREAL Simulator - Evaluating MANET Applications in Real Environments -", Proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005), pp.499-502 (Sept. 2005).

  38. Yoshitaka Nakamura, Guiquan Ren, Masatoshi Nakamura, Takaaki Umedu, Teruo Higashino : "Personally Customizable Group Navigation System using Cellular Phones and Wireless Ad-hoc Communication", Proceedings of the 2005 IEEE International Conference on Multimedia & Expo (ICME2005), CD-ROM (July 2005).

  39. Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori and Teruo Higashino : "A Formal Approach to Design Optimized Service Overlay", Proceedings of the ACM 15th International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV 2005), pp.57-62 (June 2005).

  40. Thilmee M. Baduge, Akihito Hiromori, Hirozumi Yamaguchi and Teruo Higashino : "Design and Implemetation of Overlay Multicast Protocol for Multimedia Streaming", Proceedings of the 34th International Conference on Parallel Processing (ICPP2005), pp.41-48 (June 2005).

  41. Kouji Nishigaki, Keiichi Yasumoto, Naoki Shibata, Minoru Ito and Teruo Higashino : "Framework and Rule-based Language for Facilitating Context-aware Computing using Information Appliances", Proceedings of the First International Workshop on Services and Infrastructures for the Ubiquitous and Mobile Internet (SIUMI'05), pp. 345-351 (May 2005).

  42. Akira Uchiyama, Takaaki Umedu, Keiichi Yasumoto and Teruo Higashino : "FLEXA: Distributed and Flexible Network Monitoring with Autonomous Group Formation", Proceedings of the 9th IFIP/IEEE International Symposium on Integrated Network Management (IM 2005), CD-ROM (May 2005).

  43. Teruo Higashino, Hirozumi Yamaguchi, Keiichi Yasumoto and Keiichi Shimada : "Toward Future Innovation of Mobile Communication Systems - Current Requirements for Research -", Proceedings of the 2nd International Conference on Mobile Computing and Ubiquitous Networking (ICMU 2005), pp.2-7 (April 2005). (Invited Paper/Keynote Speech)

  44. Thilmee Malinda Baduge, Hirozumi Yamaguchi and Teruo Higashino : "MODE for Mobile - An Efficient Overlay Multicast Protocol for Heterogeneous Users -", Proceedings of the 2nd International Conference on Mobile Computing and Ubiquitous Networking (ICMU 2005), pp.96-101 (April 2005).

  45. Takaaki Umedu, Shigeharu Urata, Akio Nakata and Teruo Higashino : "Automatic Decomposition of Java Program based on Simulation and its Implementation on Mobile Terminals", Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA2005), pp.544-549 (March 2005).

  46. Masashi Saito, Jun Tsukamoto, Takaaki Umedu and Teruo Higashino : "Evaluation of Inter-Vehicle Ad-hoc Communication Protocol", Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA2005), pp.78-83 (March 2005). (THE HIGH HONOR PAPER AWARD)

  47. Nobuo Funabiki, Megumi Isogai, Toru Nakanishi, and Teruo Higashino : "Optical-drop wavelength assignment problem for wavelength reuse in WDM ring metropolitan area networks", Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA2005), pp. 999-1004 (March 2005).

  48. Tomoya Kitani, Yoshifumi Takamoto, Keiichi Yasumoto, Akio Nakata and Teruo Higashino : "A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems", Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS 2004), pp.437-446 (Dec. 2004).

  49. Nobuo Funabiki, Toru Nakanishi, Yoshitaka Toyota, Jun Kawashima, and Teruo Higashino : "A Minimum Dead Space Algorithm for Wavelength Reuse Problems in WDM Ring Metropolitan Area Networks", Proceedings of International Conference on Optical Communications and Networks (ICOCN-2004),pp. 371-374 (Nov. 2004).

  50. Tomoya Kitani, Nobuo Funabiki and Teruo Higashino: "A Proposal of Hierarchical Chordal Ring Network Topology for WDM Networks", Proceedings of the IEEE International Conference on Networks 2004 (ICON 2004), pp.605-609 (Nov. 2004).

  51. Nobuo Funabiki, Megumi Isogai, Toru Nakanishi, and Teruo Higashino : "Compact tree plus algorithms for application-level multicast communications in multihome networks", Proceedings of the IEEE International Conference on Networks 2004 (ICON 2004), pp. 139-144 (Nov. 2004).

  52. Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino : "A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata", Proceedings of the 2nd International Synposium on Automated Technology for Verification and Analysis (ATVA 2004), pp.179-195 (Nov. 2004).

  53. Masashi Saito, Mayuko Funai, Takaaki Umedu and Teruo Higashino : “Inter-vehicle Ad-hoc Communication Protocol for Acquiring Local Traffic Information”, Proceedings of the 11th World Congress on ITS, Session SP05, No. 3 (CD-ROM) (Oct. 2004).

  54. Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino and Minoru Ito: "Middleware Providing Group Communication Facility Based on Muliti-way Synchronization for Cellular Phone Applications", Proceedings of the 4th International Workshop on Smart Appliances and Wearable Computing, pp.434-437(Mar. 2004).

  55. Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino and Kenichi Taniguchi: "An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree", Proceedings of the 24th IEEE International Conference on Distributed Computing Systems (ICDCS-24), pp.662-669 (Mar. 2004).

  56. Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino and Minoru Ito: "Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications", Proceedings of the 2004 IEEE International Conference on Mobile Data Management (MDM 2004), p.170 (Jan. 2004). (Poster)

  57. Takeshi Yamashita, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Emma Middleware: An Application-level Multicast Infrastructure for Multi-party Video Communication", Proceedings of the 15th International Conference on Parallel and Distributed Computing and Systems (PDCS 2003), pp. 416-421 (Nov. 2003).

  58. Hirozumi Yamaguchi, Gregor von Bochmann and Teruo Higashino: "Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems", Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003), pp.399-414 (Sep. 2003).

  59. Tao Sun, Keiichi Yasumoto, Masaaki Mori and Teruo Higashino: "QoS Functional Testing for Multi-media Systems", Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003), pp.319-334 (Sep. 2003).

  60. Tomoya Kitani, Masataka Yonedu, Nobuo Funabiki, Toru Nakanishi, Kiyohiko Okayama and Teruo Higashino: "A Two-stage Hierarchical Algorithm for Wavelength Assignment in WDM-based Bidirectional Manhattan Street Networks", Proceedings of the 11th IEEE International Conference on Networks (ICON 2003), pp.417-424 (Sep. 2003).

  61. Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata and Teruo Higashino: "Design and Implementation of Priority Queuing Mechanism on FPGA using Concurrent Periodic EFSMs and Parametric Model Checking", Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL 2003), pp.1145-1148 (Sep. 2003).

  62. Takanori Mori, Akio Nakata and Teruo Higashino: "Design of Media Synchronization Protocols using Parametric Model Checking and Functional Testing", Proceedings of the 2003 International Workshop On Testing Real-Time and Embedded Systems (WTRTES 2003), pp.51-62 (Sep. 2003).

  63. Nobuo Funabiki, Jun Kawashima, Akihito Kubo, Kiyohiko Okayama, and Teruo Higashino: "A proposal of a two-stage heuristic algorithm for peer-to-peer multicast routing problems in multihome networks", Proceedings of the Fifth Metaheuristics International Conference (MIC-2003), pp. 20-1-6 (Aug. 2003).

  64. Yoshitaka Nakamura, Hirozumi Yamaguchi, Akihito Hiromori, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "On Designing End-user Multicast for Multiple Video Sources", Proceedings of the 2003 IEEE International Conference on Multimedia & Expo (ICME2003), Vol.III, pp.497-500 (Jul. 2003).

  65. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Reducing the Size of Routing Tables for Large-scale Network Simulation", Proceedings of 17th Workshop on Parallel and Distributed Simulation (PADS '03), pp.115-122 (Jun. 2003). (This paper is selected as one of three best papers in this conference proceedings.)

  66. Hirozumi Yamaguchi, Cao Man Letan, Akihito Hiromori, Takeshi Yamashita, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications", Proceedings of the 5th International Workshop on Multimedia Network Systems and Applications (MNSA2003), pp.531-536 (May. 2003).

  67. Nobuo Funabiki,Ayako Sugano and Teruo Higashino: "A Proposal of a Minimal-state Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks", Proceedings of the 2003 International Conference on Advanced Information Networking and Applications (AINA-2003), pp. 229-232 (Mar. 2003).

  68. Shigeto Tajima,Nobuo Funabiki,Ayako Sugano and Teruo Higashino: "A proposal of a minimal-state processing search algorithm for link scheduling problems in packet radio networks", Proceedings of the 2003 International Symposium on Applications and the Internet(SAINT-2003), pp.128-135 (Jan. 2003).

  69. Takaaki Umedu, Keiichi Yasumoto, Akio Nakata, Hirozumi Yamaguchi and Teruo Higashino: "Middleware for Synchronous Group Communication in Wireless Ad Hoc Networks", Proceedings of the International Conference on Communications and Computer Networks 2002 (CCN 2002), pp. 48-53 (Nov. 2002).

  70. Masayuki Kirimura, Yoshifumi Takamoto, Takanori Mori,Keiichi Yasumoto, Akio Nakata and Teruo Higashino: "Design and Implementation of FPGA Circuits for High Speed Network Monitors", Proceedings of the 12th International Conference on Field Programmable Logic and Applications (FPL 2002), Lecture Notes in Computer Science, Vol.2438, pp. 393-403 (Sep. 2002).

  71. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "A Server Selection Algorithm for Replicated Video Multicast Based on Packet Monitoring", Proceedings of the 2002 International Conference on Parallel Processing (ICPP-2002), pp. 556-563 (Aug. 2002).

  72. Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata,Teruo Higashino and Kenichi Taniguchi: "A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels", Proceedings of the 11th International Conference on Formal Methods Europe (FME2002), Lecture Notes in Computer Science, Vol.2391,pp.607-624 (Jul. 2002).

  73. Nobuo Funabiki, Toru Nakanishi, Tokumi Yokohira, Shigeto Tajima and Teruo Higashino: "A Proposal of a Evolution Algorithm for Channel Assignment Problems", Proceedings of IEEE 16th International Conference on Information Networking (ICOIN-16), pp. 3C1.1-1.10 (Jan. 2002).

  74. Makoto Yamada, Takanori Mori, Atsushi Fukada, Akio Nakata and Teruo Higashino: "A Method for Functional Testing of Media Synchronization Protocols", Proceedings of IEEE 16th International Conference on Information Networking(ICOIN-16), pp.539-550 (Jan. 2002).

  75. Masakazu Fujii, Nobuo Funabiki, Shigeto Tajima, Akio Nakata, Tokumi Yokohira and Teruo Higashino: "An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems", Proceedings of IEEE 16th International Conference on Information Networking(ICOIN-16), pp.6B2.1-2.10 (Jan. 2002).

  76. Nobuo Funabiki,Tokumi Yokohira,Toru Nakanishi,Shigeto Tajima and Teruo Higashino: "A minimal-state processing serch algorithm for satisfiability problems", Proceedings of the International Conference on Systems, Man and Cybernetics, pp. 2769-2774 (Oct. 2001).

  77. Akio Nakata and Teruo Higashino: "Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas", Proceedings of 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pp.151-166 (Aug. 2001).

  78. Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino: "Constraint-Oriented Model for Describing Distributed Cooperative Systems and Efficient Deadlock Detection Using Symmetries", Proceedings of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing, pp.584-591 (Aug. 2001).

  79. Akihito Hiromori, Takeshi Yamashita, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Quality Requirement Coordination in Rate Adaptation of Multiple Layered Video", Proceedings of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing, pp. 540-547 (Aug. 2001).

  80. Teruo Higashino, Hirozumi Yamaguchi, Akio Nakata and Keiichi Yasumoto: "Perspectives in Developing Distributed Cooperative Systems", Proceedings of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing, pp.xi-xix (invited paper) (Aug. 2001).

  81. Takanori Mori, Kohei Tokuda, Harumasa Tada, Masahiro Higuchi and Teruo Higashino: "A method to generate conformance test sequences for FSM with timer system call", Proceedings of 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pp.301-316 (Aug. 2001).

  82. Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino and Kenichi Taniguchi: "Formal Verification of CPU in Laboratory Work", Proceedings of 2001 International Conference on Microelectronic Systems Education, pp.32-35 (Jun. 2001).

  83. Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino and Ana Cavalli: "A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs -Treatment of Non-observable Non-determinism-", Proceedings of 15th International Conference on Information Networking (ICOIN-15), pp.155-162 (Jan. 2001).

  84. Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino: "Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environmen", Proceedings of 15th International Conference on Information Networking (ICOIN-15), pp.163-170 (Jan. 2001).

  85. Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Hardware Implementation of Concurrent Periodic EFSMs", Proceedings of Joint International Conference on 13th Formal Description Techniques and 20th Protocol Specification, Testing,and Verification (FORTE/PSTV2000), pp.285-300 (Oct. 2000).

  86. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Fast and Optimal Multicast-Server Selection Based on Receivers' Preference", Proceedings of 7th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS'2000),(LNCS 1905), pp. 40-52 (Oct. 2000).

  87. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann and Teruo Higashino: "Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources", Proceedings of IEEE International Conference on Automated Software Engineering 2000 (ASE'2000), pp.305-308 (Sep. 2000).

  88. Hirotaka Ohtsuka, Nobuo Funabiki and Teruo Higashino: "A greedy-neural combined discrete optimization algorithm for triangle and Kn-subgraph partition problem", World Multiconference on Systemics, Cybernetics, and Informatics, pp. 557-562 (Jul. 2000).

  89. Nobuo Funabiki and Teruo Higashino: "A greedy digital neural-network algorithm for subgraph isomorphism problems", World Multiconference on Systemics, Cybernetics, and Informatics, pp. 546-551 (Jul. 2000).

  90. Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashino, Kota Abe,Toshio Matsuura and Kenichi Taniguchi: "Extension of SMIL with QoS Control and its Implementaion", Proceedings of 2000 IEEE International Conference on Multimedia and Expo (ICME2000), CD-ROM (Jul. 2000).

  91. Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino and Kenichi Taniguchi: "Hardware Implementation of Communication Protocols modeled by Concurrent EFSMs with Multi-way Synchronization", Proceedings of the 37th ACM/IEEE Design Automation Conference (DAC-2000), pp. 762-767 (Jun. 2000).

  92. Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashino, Kota Abe,Toshio Matsuura and Kenichi Taniguchi: "Integration of QoS Guarantees into SMIL and its Flexible Implementation", Proceedings of Eighth International Workshop on Quality of Service (IWQoS 2000), pp.164-166 (Jun. 2000).

  93. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann and Teruo Higashino: "Protocol Re-synthesis Based on Extended Petri Nets", Proceedings of International Workshop on Software Engineering and Petri Nets (SEPN-2000), pp. 173-188 (Jun. 2000).

  94. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann and Teruo Higashino: "A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation ofResources", Proceedings of ASIC International Conference on Software Engineering Applied to Networking and Parallel/ Distributed Computing (SNPD'00), pp.19-26 (May. 2000).

  95. Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Receiver-Cooperative Bandwidth Management for Layered Multicast", Proceedings of the 1999 IEEE International Conference on Network Protocols (ICNP-99), pp.43-50 (Nov. 1999).

  96. Nobuo Funabiki and Teruo Higashino: "A proposal of a two-stage discrete optimization method for the maximum clique problem", International Symposium on Nonlinear Theory and Its Applications, pp. 163-166 (Nov. 1999).

  97. Teruo Higashino, Akio Nakata, Kenichi Taniguchi and Ana R. Cavalli: "Generating test cases for a timed I/O automaton model", Proceedings of the Twelfth IFIP Workshop on Testing of Communicating Systems (IWTCS'99), pp. 197-214 (Sep. 1999).

  98. Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino and Kenichi Taniguchi: "Specification of Real-time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-deadlock Freeness", International Workshop on Multimedia Network Systems (MMNS'99), pp. 576-581 (Sep. 1999).

  99. Nobuo Funabiki, Yoichi Takenaka, and Teruo Higashino: "A gradual neural network approach for broadcast scheduling in packet radio networks", IEEE International Joint Conference on Neural Networks,, pp. 3952-3957 (Jul. 1999).

  100. Takashi Takenaka, Junji Kitamichi, Teruo Higashino and Kenichi Taniguchi: "Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution", Proceedings of 1998 Asia and South Pacific Design Automation Conference (ASP-DAC '98), pp.177-180 (Jan. 1999).

  101. Naoki Shibata, Kozo Okano, Teruo Higashino and Kenichi Taniguchi: "A decision algorithm for prenex normal form rational Presburger sentences by means of combinatorial geometry", Proceedings of the 2nd Conference of the Centre for Discrete Mathematics and Theoretical Computer Science and the 5th Australasian Theory Symposium (DMTCS'99+CATS'99), pp.344-359 (Jan. 1999).

  102. Keiichi Yasumoto, Akira Kitajima, Teruo Higashino and Kenichi Taniguchi: "Hardware synthesis from protocol specifications in LOTOS", Proceedings of Joint International Conference on 11th Formal Description Techniques and 18th Protocol Specification, Testing, and Verification (FORTE/PSTV'98), pp.405-420 (Nov. 1998).

  103. Hiroharu Sakate, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Resource Management for Quality of Service Guarantees in Multi-party Multimedia Application", Proceedings of the 1998 IEEE International Conference on Network Protocols (ICNP-98), pp.189-196 (Oct. 1998).

  104. Akio Nakata, Teruo Higashino and Kenichi Taniguchi: "Protocol Synthesis from Context-Free Processes using Event Structures", Proceedings of IEEE 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA'98), pp.173-180 (Oct. 1998).

  105. Kota Abe, Toshio Matsuura, Keiichi Yasumoto and Teruo Higashino: "Design and Implementation of an efficient I/O Method for a Real-timeUser Level Thread Library", Proceedings of IEEE 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA'98), pp.117-120 (Oct. 1998).

  106. Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino and Kenichi Taniguchi: "Protocol Synthesis from Time Petri Net Based Service Specifications", 1997 International Conference on Parallel and Distributed Systems (ICPADS'97), pp.236-243 (Dec. 1997).

  107. Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino and Kenichi Taniguchi: "Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks", Proceedings of Joint International Conference on 10th Formal Description Techniques and 17th Protocol Specification, Testing, and Verification (FORTE/PSTV'97), pp.161-176 (Nov. 1997).

  108. Atsushi Fukada, Tadashi Kaji, Teruo Higashino, Kenichi Taniguchi and Masaaki Mori: "A Conformance Testing for Communication Protocols Modeled as A Set of DFSMs with Common Inputs", Proceedings of the Tenth IFIP Workshop on Testing of Communicating Systems(IWTCS'97), pp. 239-254 (Sep. 1997).

  109. Akio Nakata, Teruo Higashino and Kenichi Taniguchi: "Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence", Proceedings of Joint International Conference on 9th Formal Description Techniques and 16th Protocol Specification, Testing and Verification (FORTE/PSTV'96), pp.279-294 (Oct. 1996).

  110. Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura and Kenichi Taniguchi: "Protocol Visualization using LOTOS Multi-Rendezvous Mechanism", Proceedings of the 1995 IEEE International Conference on Network Protocols (ICNP-95), pp.118-125 (Nov. 1995).

  111. Akio Nakata, Teruo Higashino and Kenichi Taniguchi: "Protocol Synthesis from Timed and Structured Specifications", Proceedings of the 1995 IEEE International Conference on Network Protocols (ICNP-95), pp.74-81 (Nov. 1995).

  112. Teruo Higashino, Akio Nakata, Tatsuo Itoh and Kenichi Taniguchi: "Verification of Liveness Property for Communicating FSM's with Conditional Transitions depending on State Visiting Numbers", Proceedings of the 8th International Conference on Formal Description Techniques (FORTE'95), pp.433-440 (Oct. 1995).

  113. Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura and Kenichi Taniguchi: "A LOTOS Compiler Generating Multi-threaded Object Codes", Proceedings of the 8th International Conference on Formal Description Techniques (FORTE'95), pp.271-286 (Oct. 1995).

  114. Alexandre Petrenko, Teruo Higashino and Tadashi Kaji: "Handling Redundant and Additional States in Protocol Testing", Proceedings of the Eighth IFIP Workshop on Protocol Test Systems (IWPTS'95), pp.307-322 (Sep. 1995).

  115. Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino and Kenichi Taniguchi: "Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers", Proceedings of the 15th IEEE International Conference on Distributed Computing Systems (ICDCS-15), pp.510-517 (May. 1995).

  116. Xiangdong Li, Teruo Higashino, Masahiro Higuchi and Kenichi Taniguchi: "Automatic Generation of Extended UIO Sequences for Communication Protocols in an EFSM Model", Proceedings of the Seventh IFIP Workshop on Protocol Test Systems (IWPTS'94), pp.225-240 (Nov. 1994).

  117. Junji Kitamichi, Sumio Morioka, Teruo Higashino and Kenichi Taniguchi: "Automatic Correctness Proof of Implementation of Synchronous Sequential Circuits Using Algebraic Approach", Proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD'94), Lecture Notes in Computer Science, Vol.901,, pp.165-184 (Sep. 1994).

  118. Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi and Kenichi Taniguchi: "Hardware Synthesis from a Restricted Class of LOTOS Expressions", Proceedings of the 14th International Symposium on Protocol Specification,Testing, and Verification (PSTV-XIV), pp.379-386 (Jun. 1994).

  119. Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Software Process Description using LOTOS and Its Enaction", Proceedings of the 16th International Conference on Software Engineering (ICSE-16), pp.169-178 (May. 1994).

  120. Akio Nakata, Teruo Higashino and Kenichi Taniguchi: "LOTOS Enhancement to Specify Time Constraints among Non-adjacent Actions using 1st-order Logic", Proceedings of the Sixth International Conference on Formal Description Techniques (FORTE'93), pp.451-466 (Oct. 1993).

  121. Christian Kant, Teruo Higashino and Gregor von Bochmann: "Deriving Protocol Specifications from Service Specifications Written in LOTOS", Proceedings of the 12th International IEEE Phoenix Conference on Computers and Communications (IPCCC-93), pp.310-318 (May. 1993).

  122. Teruo Higashino, Kozo Okano, Hiroshi Imajo and Kenichi Taniguchi: "Deriving Protocol Specifications from Service Specifications in Extended FSM Models", Proceedings of the 13th IEEE International Conference on Distributed Computing Systems (ICDCS-13), pp.141-148 (May. 1993).

  123. Toshio Matsuura, Tohru Nakamura, Teruo Higashino, Kenichi Taniguchi and Sumio Masuda: "VTM : A Graph Editor for Large Trees", Proceedings of the IFIP 12th World Computer Congress, Vol.1, pp.210-216 (Sep. 1992).

  124. Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto and Kenichi Taniguchi: "A Test System for a Restricted Class of LOTOS Expressions with Data Parameters", Proceedings of the Fifth IFIP Workshop on Protocol Test Systems (IWPTS'92), North Holland, pp.205-216 (Sep. 1992).

  125. Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii and Masaaki Mori: "An Algebraic Method for Verifying Progress Property of Communication Protocols", World Scientific Series in Computer Science,Vol.31, pp.39-59 (Apr. 1991).

  126. Teruo Higashino and Kenichi Taniguchi: "A System for the Refinements of Algebraic Specifications and thier Efficient Executions", Proceedings of the 24-th Hawaii International Conference on System Sciences (HICSS-24), Vol.II, pp.186-195 (Jan. 1991).

  127. Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi and Masaaki Mori: "Automated Verification of Equivalence of Protocol Machines", Proceedings of the Ninth International Symposium on Protocol Specification (PSTV-IX), Testing, and Verification, pp.235-246 (Jun. 1989).

  128. Teruo Higashino, Masahiro Higuchi, Kenichi Taniguchi, Tadao Kasami,Mamoru Fujii and Masaaki Mori: "Automated Verification of Token Ring LAN Protocols", Proceedings of the First International Conference on Supercomputing Systems, pp.361-368 (Dec. 1985).

Invited Talk in English

  1. Teruo Higashino : "Future of Mobile and Ubiquitous Computing", Proceedings of the First International Workshop on Network Architecture and Service Models (NASM 2005), (Nov. 2005) (Keynote Speech)

  2. Teruo Higashino and Hirozumi Yamaguchi : "A Testing Architecture for Designing High-Reliable MANET Protocol", Proceedings of the 25th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), Lecture Notes in Computer Science, Vol.3731, pp.20-23 (Oct. 2005) (Invited Paper/Keynote Speech)
  3. Teruo Higashino, Hirozumi Yamaguchi, Keiichi Yasumoto and Keiichi Shimada : "Toward Future Innovation of Mobile Communication Systems - Current Requirements for Research -", Proceedings of the 2nd International Conference on Mobile Computing and Ubiquitous Networking (ICMU 2005), pp.2-7 (April 2005). (Invited Paper/Keynote Speech)

  4. Teruo Higashino, Hirozumi Yamaguchi, Akio Nakata and Keiichi Yasumoto: "Perspectives in Developing Distributed Cooperative Systems", Proceedings of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (Aug. 2001). (Invited Paper/Keynote Speech)

Edited Books

  1. Edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto and Khaled El-Fakih : "Formal Techniques for Networked and Distributed Systems  FORTE 2008", Lecture Notes in Computer Science, Vol.5048 (June 2008).

  2. Edited by Kenji Suzuki, Teruo Higashino, Andreas Ulrich and Toru Hasegawa : "Testing of Software and Communicating Systems  TestCom/FATES 2008", Lecture Notes in Computer Science, Vol.5047 (June 2008).

  3. Edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino and Yoshio Okamura : "Automated Technology for Verification and Analysis", Lecture Notes in Computer Sciences, Vol. 4762 (Oct. 2007)

  4. Edited by Teruo Higashino : "OPODIS 2004 : 8th International Conference on Principles of Distributed Systems", Lecture Notes in Computer Sciences, Vol. 3544 (Oct. 2005)

  5. Edited by T. Mizuno, N. Shiratori, T. Higashino and A. Togashi: "Formal Description Techniques - FORTE/PSTV'97 - ", Chapman & Hall (Nov. 1997).

  6. Edited by T. Mizuno, T. Higashino and N. Shiratori: "Protocol Test Systems 7th workshop", Chapman & Hall (Jun. 1995).