Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
DC |
2019-02-27 14:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Compaction Method for Test Sensitization State in Controllers Yuki Ikegaya, Yuta Ishiyama, Toshinori Hosokawa, Hiroshi Yamazaki (Nihon Univ.) DC2018-80 |
One of the challenges on VLSI testing is to reduce the area overhead of design-for-testability and to increase the fault... [more] |
DC2018-80 pp.55-60 |
KBSE |
2019-01-26 10:05 |
Tokyo |
NII |
Towards IoT software testing with model-based testing tool Modbat Kotaro Tanabe (Univ. Tokyo), Yoshinori Tanabe (Tsurumi Univ.), Masami Hagiya (Univ. Tokyo) KBSE2018-44 |
Modbat is a tool for model-based testing, and it uses extended finite state machines for modeling.
In previous research... [more] |
KBSE2018-44 pp.9-14 |
QIT (2nd) |
2018-11-26 13:30 |
Tokyo |
The University of Tokyo |
[Poster Presentation]
Subspace-search variational quantum eigensolver for excited states Ken M Nakanishi (Univ. Tokyo), Kosuke Mitarai (Osaka Univ.), Keisuke Fujii (Kyoto Univ.) |
The variational quantum eigensolver (VQE), a variational algorithm to obtain an approximated ground state of a given Ham... [more] |
|
DC, SS |
2018-10-05 10:00 |
Aichi |
Inuyama City Kokusai-Kanko Center Freud |
Supporting the Generation of State Transition Models in a Requirements Specification Document for an Embedded System Naru Nakamura, Ryota Yamamoto, Norihiro Yoshida, Hiroaki Takada (Nagoya Univ.) SS2018-22 DC2018-23 |
Generally, it is difficult for developers to find all insufficient or inconsistent descriptions in a requirement specifi... [more] |
SS2018-22 DC2018-23 pp.25-30 |
KBSE, SS, IPSJ-SE [detail] |
2018-07-18 11:05 |
Hokkaido |
|
A Fault Diagnosis of A Distributed Cooperative System by Learning State Transitions Yosuke Watanabe (Nagoya Univ.), Shuichi Sato (TCRDL), Hiroyuki Seki, Shoji Yuen (Nagoya Univ.) SS2018-3 KBSE2018-13 |
Due to the spread of IoT and the development of connected cars, it is common for a system to be composed of many coopera... [more] |
SS2018-3 KBSE2018-13 pp.13-18 |
NS, OCS, PN (Joint) |
2018-06-15 13:20 |
Fukushima |
Koriyama-Shoko-Kaigisho |
[Encouragement Talk]
Real-time Estimating Application Flow from Encrypted Traffic Anan Sawabe, Takanori Iwai, Kozo Satoda (NEC) NS2018-33 |
In recent years, mobile network operators have focused on QoE and QoC of users, which requires advanced network control ... [more] |
NS2018-33 pp.31-36 |
LOIS, IPSJ-CN, IPSJ-SPT |
2018-05-11 14:20 |
Tokyo |
Tsuda Univ. |
System for Developing Cooperation Service Facilitating Modification of Service Content Shin-ichiro Eitoku, Masahiko Tsuji, Akira Suzuki, Masaya Tamaru, Yukihisa Katayama (NTT) LOIS2018-3 |
Recently, it is proposed services by cooperating multiple devices, and systems for creating such services. On the other ... [more] |
LOIS2018-3 pp.85-90 |
SIP, EA, SP, MI (Joint) [detail] |
2018-03-20 09:45 |
Okinawa |
|
[Short Paper]
Prostate Zonal Segmentation Using Deep Learning Changhee Han, Jin Zhang, Ryuichiro Hataya, Yudai Nagano, Hideki Nakayama (Univ. of Tokyo), Leonardo Rundo (Milano-Bicocca Univ.) MI2017-86 |
Prostate cancer is the second most common cancer among men and segmenting the Transition Zone (TZ) and Peripheral Zone (... [more] |
MI2017-86 pp.69-70 |
DC |
2018-02-20 09:55 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Test Register Assignment Method for Operational Units to Reduce the Number of Test Patterns for Transition Faults Using Controller Augmentation Yuki Takeuchi, Shun Takeda, Toshinori Hosokawa, Hiroshi Yamazaki (Nihon Univ.), Masayoshi Yoshimura (Kyoto Sangyo Univ.) DC2017-78 |
It is required to reduce the number of test patterns to reduce test cost for VLSIs. Especially, design-for-testability m... [more] |
DC2017-78 pp.7-12 |
IPSJ-ARC, VLD, CPSY, RECONF, IPSJ-SLDM [detail] |
2018-01-19 10:05 |
Kanagawa |
Raiosha, Hiyoshi Campus, Keio University |
Automatic Conversion from Snort PCRE to Verilog HDL Masahiro Fukuda, Yasushi Inoguchi (JAIST) VLD2017-78 CPSY2017-122 RECONF2017-66 |
In this paper, we present how to automatically convert Snort's PCRE (Perl Compatible Regular Expressions) into Verilog H... [more] |
VLD2017-78 CPSY2017-122 RECONF2017-66 pp.95-100 |
RCS, NS (Joint) |
2017-12-14 12:50 |
Hiroshima |
Aster Plaza |
Identification of Applications on Smartphone by Encrypted Traffic Analysis Anan Sawabe, Takanori Iwai, Kozo Satoda (NEC) NS2017-126 |
Requirements of smartphone users shift from the quality of service, i.e., throughput, to the quality of applications . M... [more] |
NS2017-126 pp.1-6 |
SS, KBSE, IPSJ-SE [detail] |
2017-07-20 15:25 |
Hokkaido |
|
On the Extraction of State Transition Tables from an Embedded Software System and Analysis Support Ryota Yamamoto, Norihiro Yoshida (Nagoya Univ.), Nao Aoki (JASA), Hiroaki Takada (Nagoya Univ.) SS2017-16 KBSE2017-16 |
It is hard to understand legacy code for an embedded software system. It leads much cost for maintaining and reusing the... [more] |
SS2017-16 KBSE2017-16 pp.133-138 |
COMP, IPSJ-AL |
2017-05-13 15:50 |
Nagasaki |
|
On Equivalence of de Bruijn Graphs and State-minimized Finite Automata Yoshiaki Takahashi (Solar), Akira Ito (Yamaguchi Univ.) COMP2017-11 |
A de Bruijn sequence of order n on the alphabet {0,1} is a cyclic sequence in which every possible string of length n ov... [more] |
COMP2017-11 pp.77-83 |
MSS, SS |
2017-01-27 10:40 |
Kyoto |
Kyoto Institute of Technology |
Formal Description of a Processing as a Mapping between different sorts of Representations, Considering state-transition Fumiko Kouda (Utokyo) MSS2016-70 SS2016-49 |
We propose a new computing processing model, as a mapping of
representation-translation, considering their semantics, ... [more] |
MSS2016-70 SS2016-49 pp.77-82 |
KBSE |
2017-01-23 13:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Consideration of the effectiveness for error detection function about conceptual modeling education with state machine diagram made by beginners Masaki Tajima, Mizue Kayama, Shinpei Ogata, Masami Hashimoto (Shinshu Univ.) KBSE2016-32 |
The purpose of this study is to explore the suitable learning environment for conceptual modeling with UML. Our students... [more] |
KBSE2016-32 pp.7-12 |
KBSE, SS, IPSJ-SE [detail] |
2016-07-13 10:50 |
Hokkaido |
|
Extracting State Transition Tables from an Embedded Software System Ryota Yamamoto, Norihiro Yoshida (Nagoya Univ.), Akihiko Takeda (JASA), Nobuyuki Tachi, Hiroaki Takada (Nagoya Univ.) SS2016-3 KBSE2016-9 |
It is hard to understand legacy code for an embedded software system. It leads much cost for maintaining and reusing the... [more] |
SS2016-3 KBSE2016-9 pp.13-18 |
KBSE, SS, IPSJ-SE [detail] |
2016-07-13 15:10 |
Hokkaido |
|
SMart-Learning: Tools for DSL-based UML State Machine Diagram Learning Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2016-5 KBSE2016-11 |
State machine diagram learning has been important depending on increasing demand for IoT or embedded systems. One of the... [more] |
SS2016-5 KBSE2016-11 pp.49-54 |
SDM |
2016-06-29 13:30 |
Tokyo |
Campus Innovation Center Tokyo |
A resistive switching device based on breakdown and local anodic oxidation Kuniyuki Kakushima, Hitoshi Wakabayashi, Kazuo Tsutsui, Hiroshi Iwai (Tokyo Tech.) SDM2016-38 |
We propose a resistive switching device with CeOx and SiO2 stacked layers on a Si substrate. Breakdown spots are created... [more] |
SDM2016-38 pp.33-36 |
ET |
2016-03-05 17:50 |
Kagawa |
Kawaga Univ. (Saiwai-cho Campus) |
Evaluation of Understanding Support System for Causal Relationship in Historical Learning Fumito Nate (Kansai Univ.), Keitaro Tokutake (Hiroo Gakuen), Tomoko Kojiri (Kansai Univ.) ET2015-147 |
The purpose of this study is to support understanding of causal relationship between historical events. When two events ... [more] |
ET2015-147 pp.303-308 |
MSS |
2016-03-04 15:30 |
Yamaguchi |
KAIKYO MESSE SHIMONOSEKI |
State Attraction Control of Discrete Event Systems Under Partial Observation Ryoma Sawasaki, Sigemasa Takai (Osaka Univ.) MSS2015-86 |
In the previous work on state attraction control of discrete event systems under partial observation, it is required to ... [more] |
MSS2015-86 pp.103-106 |