Hirokazu Yatsu

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.
Comput. J., 2015

2014
Translation rules of SysML state machine diagrams into CSP# toward formal model checking.
Int. J. Web Inf. Syst., 2014

2013
Towards Formal Description of Standards for Automotive Operating Systems.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Formalization and Model Checking of SysML State Machine Diagrams by CSP#.
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

2007
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2000
Formal specification of Catalysis frameworks.
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.
Proceedings of the Logic Programming Synthesis and Transformation, 1999


  Loading...