Hirokazu Yatsu

According to our database, Hirokazu Yatsu authored at least 8 papers between 1999 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.

Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda

Comput. J., 2015

2014

Translation rules of SysML state machine diagrams into CSP# toward formal model checking.

Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda

Int. J. Web Inf. Syst., 2014

2013

Towards Formal Description of Standards for Automotive Operating Systems.

Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Formalization and Model Checking of SysML State Machine Diagrams by CSP#.

Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.

Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2007

A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software.

Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2000

Formal specification of Catalysis frameworks.

Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.

Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu

Proceedings of the Logic Programming Synthesis and Transformation, 1999