Publications
-
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 at hiroshima-cu.ac.jp
(Please replace " at " with "@".)
Last modified: Wed Sep 26 13:32:45 JST 2012