According to our database1, Hirokazu Yatsu authored at least 8 papers between 1999 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.
Comput. J., 2015
Translation rules of SysML state machine diagrams into CSP# toward formal model checking.
Int. J. Web Inf. Syst., 2014
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013
Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.
Proceedings of the Logic Programming Synthesis and Transformation, 1999