Hirokazu Yatsu

Publication Activity (10 Years)

Years Active: 1999-2015
Publications (10 Years): 0

Top Topics

Automated Verification

Linear Temporal Logic

Bounded Model Checking

Top Venues

Int. J. Web Inf. Syst.

Publications

Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. Comput. J. 58 (11) (2015)
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
Translation rules of SysML state machine diagrams into CSP# toward formal model checking. Int. J. Web Inf. Syst. 10 (2) (2014)
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration. APSEC (1) (2013)
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
Formalization and Model Checking of SysML State Machine Diagrams by CSP#. ICCSA (3) (2013)
Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi
Towards Formal Description of Standards for Automotive Operating Systems. ICST Workshops (2013)
Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. QSIC (2007)
Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills
Formal specification of Catalysis frameworks. APSEC (2000)
Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. LOPSTR (1999)