Book and thesis
Books
Assertion-Based Design Second Edition (Co-authored) 2004/09
Papers
An improved LLF scheduling for reducing maximum heap memory consumption by considering laxity time Proceedings of 2018 the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018),pp.144-149 (Co-authored) 2018/08/30
Papers
Modeling and Performance Verification of Embedded Software Sharing Resources with Least Laxity First Schedulers Using Extended Time Petri Nets IEICE Technical Report,pp.135-140 (Co-authored) 2016/01/18
Papers
Modeling and Performance Verification of Embedded Software in Multiprocessor Environment Using Extended Time Petri Nets IEICE Technical Report,pp.33-37 (Co-authored) 2015/05/04
Papers
A Method for Extracting Necessary Information for Performance Verification from Extended SysML Diagrams IEICE Technical Report,pp.23-28 (Co-authored) 2014/01/23
Papers
An Efficient Parametric Execution Time Analysis of Real-Time Programs Using Approximation and its Evaluation IEICE Technical Report,pp.17-22 (Co-authored) 2014/01/23
Papers
Throughput Performance Verification of Airship Autopilot Software: A Case Study for Evaluating Performance Verification of Software Design Model IEICE Technical Report,pp.25-30 (Co-authored) 2012/05
Papers
On Multi-Task Scheduling for Reducing Heap Memory Consumption Using Live Variable Analysis IEICE Technical Report,pp.7-12 (Co-authored) 2012/05
Papers
A Time Budget Optimization Method for Multi-Task Behavioral Specifications with Resource Constraints IEICE Technical Report,pp.43-48 (Co-authored) 2011/10
Papers
Parametric Execution Time Analysis for Recursive Programs and its Experimental Evaluation IEICE Technical Report,pp.37-42 (Co-authored) 2011/10
Papers
Performance Verification of Multi-Task Specification with Resources Shared by Preemptive Scheduling Proc. of Embedded Systems Symposium 2010, IPSJ Symposium Series,pp.107-112 (Co-authored) 2010/10/29
Papers
Model Checking of Timed automata The IEICE Transactions on Information and Systems (Japanese Edition),pp.576-586 (Sole-authored) 2009/05
Papers
A Parametric Execution Time Analysis Method for Reuse of Real-time Software IEICE Technical Report,pp.97-102 (Co-authored) 2008/03
Papers
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata International Journal of Foundations of Computer Science 17 (4),pp.833-850 (Co-authored) 2006/08
Papers
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 (DAC 2006),pp.37-42 (Co-authored) 2006/07
Papers
Execution Time Analysis for Binary Code Executed on a Pipelined Processor Using Parametric Model Checking IPSJ SIG Notes (Co-authored) 2006/06
Papers
Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata IEICE Transactions on Fundamentals E88-A (11),pp.3007-3021 (Co-authored) 2005/11
Papers
Automatic Decomposition of Java Program for Implementation on Mobile Terminals Proceedings of the 19th IEEE International Conference on Advanced Information Networking and Applications (AINA 2005),pp.544-549 (Co-authored) 2005/03
Papers
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 (Co-authored) 2004/12
Papers
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Proceedings of the 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2004), Lecture Notes in Computer Science, Vol. 3299,pp.179-195 (Co-authored) 2004/11
Papers
A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing STUDIA INFORMATICA UNIVERSALIS 3 (2),pp.203-230 (Co-authored) 2004/04
Papers
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), Lecture Notes in Computer Science, Vol. 2778,pp.1145-1148 (Co-authored) 2003/09
Papers
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) (Co-authored) 2003/08
Papers
Protocol Animation based on Event-driven Visualization Scenarios in Real-time LOTOS Computer Networks 40 (5),pp.639-663 (Co-authored) 2002/11
Papers
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 (Co-authored) 2002/10
Papers
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 (Co-authored) 2002/08
Papers
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 (FME 2002), Lecture Notes in Computer Science, Vol. 2391,pp.607-624 (Co-authored) 2002/06
Papers
A Constraint-Oriented Design Method for Distributed Cooperative Systems and Efficient Verification Using Symmetries International Journal of Computer and Information Science 3 (2),pp.125-136 (Co-authored) 2002/05
Papers
A Method for Functional Testing of Media Synchronization Protocols Proceedings of the 16th International Conference on Information Networking (ICOIN 2002) (Revised Papers, Part II), Lecture Notes in Computer Science, Vol. 2344,pp.539-550 (Co-authored) 2002/01
Papers
An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems Proceedings of the 16th International Conference on Information Networking (ICOIN 2002),pp.6B2.1-2.10 (Co-authored) 2002/01
Papers
Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas Proceedings of the IFIP TC6/WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001),pp.151-166 (Co-authored) 2001/08
Papers
Perspectives in Developing Distributed Cooperative Systems Proceedings of the 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (Co-authored) 2001/08
Papers
A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs -Treatment of Non-observable Non-determinism- Proceedings of the 15th International Conference on Information Networking (ICOIN 2000),pp.155-162 (Co-authored) 2000/12
Papers
Generating Test Cases for a Timed I/O Automaton Model Proceedings of the 12th IFIP TC6/WG6.1 International Workshop on Testing of Communicating Systems (IWTCS'99) (Co-authored) 1999/09
Papers
Protocol Synthesis from Context-Free Processes using Event Structures Proceedings of the 5th IEEE International Conference on Real-Time Computing Systems and Applications (RTCSA'98),pp.173-180 (Co-authored) 1998/10
Papers
Time-Action Alternating Model for Verifying Symbolic Bisimulation Equivalence of Timed Processes Proceedings of the RIMS Workshop on Concurrency Theory and Applications,pp.98-110 (Co-authored) 1997/05
Papers
Time-Action Alternating Model for Timed Processes and its Symbolic Verification of Bisimulation Equivalence IEICE Transactions on Fundamentals E80-A (2),pp.400-406 (Co-authored) 1997/02
Papers
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence Proceedings of the IFIP TC6/WG6.1 Joint International Conference on Formal Description Technique for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'96),pp.279-294 (Co-authored) 1996/10
Papers
Protocol Synthesis from Timed and Structured Specifications Proceedings of the 1995 IEEE International Conference on Network Protocols (ICNP'95),pp.74-81 (Co-authored) 1995/11
Papers
Verification of Liveness Property for Communicating FSM's with Conditional Transitions depending on State Visiting Numbers Proceedings of the 8th IFIP TC6/WG6.1 International Conference on Formal Description Techniques (FORTE'95),pp.433-440 (Co-authored) 1995/10
Papers
LOTOS enhancements to specify time constraints among nonadjacent actions using 1st-order logic Proceedings of the 6th IFIP TC6/WG6.1 International Conference on Formal Description Techniques (FORTE'93),pp.451-466 (Co-authored) 1993/10