Akio Nakata

22 papers A* 1A 1B 6C 4Misc 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2018 Misc conf
An Improved LLF Scheduling for Reducing Maximum Heap Memory Consumption by Considering Laxity Time.
TASE
Yuki Machigashira, Akio Nakata
2006 J jnl
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata.
Int. J. Found. Comput. Sci.
Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino
2006 A* conf
A real time budgeting method for module-level-pipelined bus based system using bus scenarios.
DAC
Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata, Teruo Higashino
2005 B conf
Automatic Decomposition of Java Program for Implementation on Mobile Terminals.
AINA
Takaaki Umedu, Shigeharu Urata, Akio Nakata, Teruo Higashino
2005 J jnl
Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Tadaaki Tanimoto, Akio Nakata, Hideaki Hashimoto, Teruo Higashino
2004 A conf
A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems.
RTSS
Tomoya Kitani, Yoshifumi Takamoto, Keiichi Yasumoto, Akio Nakata, Teruo Higashino
2004 B conf
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata.
ATVA
Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino
2004 J jnl
A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing.
Stud. Inform. Univ.
Takanori Mori, Akio Nakata, Teruo Higashino
2003 J jnl
A test sequence generation method for communication protocols using the SAT algorithm.
Syst. Comput. Jpn.
Takanori Mori, Hirotaka Otsuka, Nobuo Funabiki, Akio Nakata, Teruo Higashino
2003 B conf
Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking.
FPL
Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata, Teruo Higashino
2002 — conf
A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels.
FME
Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi
2002 — conf
A Method for Functional Testing of Media Synchronization Protocols.
ICOIN (2)
Makoto Yamada, Takanori Mori, Atsushi Fukada, Akio Nakata, Teruo Higashino
2002 B conf
Design and Implementation of FPGA Circuits for High Speed Network Monitors.
FPL
Masayuki Kirimura, Yoshifumi Takamoto, Takanori Mori, Keiichi Yasumoto, Akio Nakata, Teruo Higashino
2002 J jnl
Protocol animation based on event-driven visualization scenarios in real-time LOTOS.
Comput. Networks
Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguchi, Akio Nakata, Teruo Higashino
2001 — conf
A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs.
ICOIN
Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli
2001 C conf
Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas.
FORTE
Akio Nakata, Teruo Higashino
1999 — conf
Generating Test Cases for a Timed I/O Automaton Model.
IWTCS
Teruo Higashino, Akio Nakata, Kenichi Taniguchi, Ana R. Cavalli
1998 B conf
Protocol Synthesis from Context-Free Processes Using Event Structures.
RTCSA
Akio Nakata, Teruo Higashino, Kenichi Taniguchi
1996 C conf
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence.
FORTE
Akio Nakata, Teruo Higashino, Kenichi Taniguchi
1995 B conf
Protocol synthesis from timed and structured specifications.
ICNP
Akio Nakata, Teruo Higashino, Kenichi Taniguchi
1995 C conf
Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers.
FORTE
Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi
1993 C conf
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic.
FORTE
Akio Nakata, Teruo Higashino, Kenichi Taniguchi