Hirokazu Yatsu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1999–2013
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | APSEC | Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration. | Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda |
| 2013 | ICCSA | Formalization and Model Checking of SysML State Machine Diagrams by CSP#. | Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda |
| 2013 | ICST | Towards Formal Description of Standards for Automotive Operating Systems. | Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi |
| 2000 | APSEC | Formal specification of Catalysis frameworks. | Juliana Kster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills |
| 1999 | LOPSTR | On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. | Juliana Kster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu |