Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Masahiko Watanabe

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Weiqiang Kong

> Home > Persons > Masahiko Watanabe

Publications

2021
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/WuLCHWK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/WuLCHWK21
Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong:
SDLV: Verification of Steering Angle Safety for Self-Driving Cars. Formal Aspects Comput. 33(3): 325-341 (2021)
2020
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/WangHKPHWF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/WangHKPHWF20
Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda:
A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features. TASE 2020: 193-200
2019
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/dsa/YuanKHHWF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsa/YuanKHHWF19
Yuan Yuan, Weiqiang Kong, Gang Hou, Yan Hu, Masahiko Watanabe, Akira Fukuda:
From Local to Global Semantic Clone Detection. DSA 2019: 13-24
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/dsa/LiuZKHWF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsa/LiuZKHWF19
Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda:
Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs. DSA 2019: 25-36
2016
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ica2/KongHHAWAHF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ica2/KongHHAWAHF16
Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda:
ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC. ICA 2016: 154-157
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/KongSKWKF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/KongSKWKF11
Weiqiang 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 Trans. Inf. Syst. 94-D(5): 946-957 (2011)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/KongKWKHF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/KongKWKHF11
Weiqiang 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
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/KongKQWKF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/KongKQWKF11
Weiqiang 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
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/KongSMKFW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/KongSMKFW10
Weiqiang 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
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/serp/ShiraishiKMKMWKF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serp/ShiraishiKMKMWKF10
Tomohiro 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

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.