Publications

Last modified: Thu Sep 14 12:31:52 JST 2006

• Akio Nakata, Teruo Higashino and Kenichi Taniguchi: "LOTOS enhancements to specify time constraints among nonadjacent actions using 1st-order logic," In Formal Description Techniques, VI, pp.451-466, Elsevier Science Publishers B.V. (North-Holland), 1994. (presented at IFIP TC6/WG6.1 6th Int'l Conf. on Formal Description Techniques (FORTE'93), Boston, MA, USA, Oct. 1993)
  [Abstract] [pdf]
• 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", The 8th International Conference on Formal Description Techniques (FORTE'95), pp.433-440 (Oct. 1995).
• Akio Nakata, Teruo Higashino and Kenichi Taniguchi: "Protocol Synthesis from Timed and Structured Specifications," In Proc. of the 1995 Int'l Conf. on Network Protocols (ICNP'95), Tokyo, Japan, pp.74-81, IEEE Computer Society Press, Nov. 1995.
  [Abstract] [pdf]
  
• Akio Nakata, Teruo Higashino and Kenichi Taniguchi: "An extension of LOTOS for specifying time constraints among nonadjacent actions and verification of equivalence", Journal of Japan Society of Software Science and Technology, Vol.12, No.6, pp.3-16, 1995 (In Japanese).
• Akio Nakata, Teruo Higashino and Kenichi Taniguchi: "Deriving Protocol Specifications from Timed Service Specifications Written in LOTOS", Trans. on Information Processing Society of Japan, vol.37, No.5, pp.672-685, 1996 (In Japanese).
• Akio Nakata, Teruo Higashino and Kenichi Taniguchi: "Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence", in Proc. of IFIP TC6/WG6.1 Joint Int'l Conf. on Formal Description Technique for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'96), Kaiserslautern, Germany, Chapman&Hall, pp.279-294, Oct. 1996.
  [Abstract] [pdf]
  
• Akio Nakata: "Symbolic Bisimulation Checking and Decomposition of Real-Time Service Specifications", Ph.D. thesis, Osaka University, Jan. 1997.
  [pdf]
  
• Akio Nakata, Teruo Higashino and Kenichi Taniguchi: "Time-Action Alternating Model for Timed Processes and its Symbolic Verification of Bisimulation Equivalence", IEICE Trans. on Fundamentals, Vol. E80-A, No. 2, pp.400-406, Feb. 1997.
• Akio Nakata, Teruo Higashino and Kenichi Taniguchi: "Protocol Synthesis from Context-Free Processes using Event Structures", in Proc. of 5th Int'l Conf. on Real-Time Computing Systems and Applications (RTCSA'98), Hiroshima, Japan, IEEE Computer Society Press, pp.173-180, Oct. 1998.
  [Abstract] [pdf]
  
• Teruo Higashino, Akio Nakata, Kenichi Taniguchi and Ana R. Cavalli: "Generating Test Cases for a Timed I/O Automaton Model", in Proc. of 12th IFIP Int'l Work.Conf. on Testing of Communicating Systems (IWTCS'99), Budapest, Hungary, Kluwer Academic Publishers, Sept. 1999.
• Akio Nakata, Satoshi Hattori, Teruo Higashino and Kenichi Taniguchi: "Symbolic Verification of Bisimulation Equivalence for Timed Automata with Data Values", Trans. on Information Processing Society of Japan, vol.41, No.9, pp.2487-2497, 2000 (In Japanese).
• 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), 2000-12, pp.155-162.
• 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, 2001-07, pp.xi-xix (Invited Paper).
• Akio Nakata and Teruo Higashino: "Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas", Proc. of Int'l Conf. on Formal Techniques for Networked and Distributed Systems(FORTE2001), Cheju Island, Korea, Kluwer Academic Publishers, pp.151-166, Aug. 2001.
  [Abstract] [pdf]
  
• 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), 2001-12, pp.6B2.1-2.10.
• 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), 2001-12, pp.539-550.
• 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, 2002-05, pp. 125-136.
• 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, 2002-06,pp.607-624.
• 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, 2002-08, pp. 393-403.
• 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, 2002-11, pp. 639-663.
• 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), 2002-10, pp. 48-53.
• 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), 2003-08.
• 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, 2003-09.
• 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.203-230, Apr. 2004.
• Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, and Teruo Higashino: "A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata", Proc. of 2nd Int'l Symp. on Automated Technology for Verification and Analysis (ATVA2004), Taipei, Taiwan, Vol. 3299 of Lecture Notes in Computer Science, Springer-Verlag, pp.179-195, Nov. 2004.
• 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(RTSS2004), pp. 437-446, Dec. 2004.
• Takaaki Umedu, Shigeharu Urata, Akio Nakata, and Teruo Higashino, "Automatic Decomposition of Java Program for Implementation on Mobile Terminals," Proceedings of the IEEE 19th International Conference on Advanced Information Networking and Applications(AINA2005), pp. 544-549, Mar. 2005.
• Tadaaki Tanimoto, Akio Nakata, Hideaki Hashimoto, and Teruo Higashino: "Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata", IEICE Trans. on Fundamentals, Vol. E88-A, No. 11, pp.3007-3021, Nov. 2005.
• 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 International Design Automation Conference (DAC2006), pp.37-42, Jul. 2006.
• Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, and Teruo Higashino, ``A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata'', International Journal of Foundations of Computer Science, Vol. 17, No.4, pp.833-850, 2006.

Back to the top page.

nakata