Hirokazu Yatsu

发表

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

Akira Fukuda, Masahiko Watanabe, Michihiro Matsumoto, 2007, Seventh International Conference on Quality Software (QSIC 2007).

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

Akira Fukuda, Kenji Hisazumi, Weiqiang Kong, 2013, ICCSA.

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration

Akira Fukuda, Kenji Hisazumi, Leyuan Liu, 2015, Comput. J..

Reference Model of specifications toward Independent Verification and Validation

Akira Fukuda, Kenji Hisazumi, Takahiro Ando, 2015, TENCON 2015 - 2015 IEEE Region 10 Conference.

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

Akira Fukuda, Hirokazu Yatsu, M. Matsumoto, 2007 .

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

Juliana Küster Filipe Bowles, Kung-Kiu Lau, Mario Ornaghi, 1999, LOPSTR.

A combined formal analysis methodology and towards its application to hierarachical state transition matrix designs

Akira Fukuda, Leyuan Liu, Weiqiang Kong, 2012 .

Formal specification of Catalysis frameworks

Juliana Küster Filipe Bowles, Kung-Kiu Lau, Mario Ornaghi, 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

Towards Formal Description of Standards for Automotive Operating Systems

Akira Fukuda, Toshiaki Aoki, Kenji Hisazumi, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

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

Akira Fukuda, Kenji Hisazumi, Leyuan Liu, 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

A Survey of Acceleration Techniques for SMT-Based Bounded Model Checking

Akira Fukuda, Leyuan Liu, Weiqiang Kong, 2013, 2013 International Conference on Computer Sciences and Applications.

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

Kenji Hisazumi, Akira Fukuda, Takahiro Ando, 2014, Int. J. Web Inf. Syst..