dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Masahiko Watanabe (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWeiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda: Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC 2011: 81-88
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWeiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. ICCSA Workshops 2011: 159-167
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWeiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. IEICE Transactions 94-D(5): 946-957 (2011)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWeiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe: An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. ICCSA Workshops 2010: 231-238
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: Model Checking of Software Design in State Transition Matrix. Software Engineering Research and Practice 2010: 507-513

Selection of 5 from 8 records - Masahiko Watanabe has 20 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page