Akio Nakata - Citegraph

Author Info

Name	Affiliation	Papers
AKIO NAKATA	Osaka Univ, Grad Sch Informat Sci & Technol, Suita, Osaka 5650871, Japan	20
Collaborators	Citations	PageRank
23	106	10.07
Referers	Referees	References
142	328	225

Search Limit

100328

Publications (20 rows)

Collaborators (23 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
A Timed Failure Equivalence Preserving Abstraction For Parametric Time-Interval Automata	0	0.34	2006
A real time budgeting method for module-level-pipelined bus based system using bus scenarios	0	0.34	2006
Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata*This work is partially supported by Grant-in-Aid for Young Scientists (B) (16700062, 2004--2005) from the Ministry of Education, Science, Sports and Culture(MEXT), Japan.	1	0.37	2005
Double Depth First Search Based Parametric Analysis For Parametric Time-Interval Automata	1	0.37	2005
Automatic Decomposition of Java Program for Implementation on Mobile Terminals	0	0.34	2005
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata	0	0.34	2004
A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems	6	0.69	2004
A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing	0	0.34	2004
A test sequence generation method for communication protocols using the SAT algorithm	4	0.41	2003
Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking	0	0.34	2003
Protocol animation based on event-driven visualization scenarios in real-time LOTOS	1	0.36	2002
Design and Implementation of FPGA Circuits for High Speed Network Monitors	0	0.34	2002
A Method for Functional Testing of Media Synchronization Protocols	2	0.39	2002
A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels	2	0.53	2002
Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas	5	0.50	2001
A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs	2	0.39	2001
Generating Test Cases for a Timed I/O Automaton Model	74	2.48	1999
Time-action alternating model for timed LOTOS and its symbolic verification of bisimulation equivalence	3	0.41	1996
Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers	0	0.34	1995
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic	5	0.47	1993