Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2024-03-14 11:50 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Structuring Methods for System Requirements Using Large Language Models Ryo Nakashima (UTokyo), Masaki Inokuchi, Masaharu Morimoto, Takayuki Kuroda (NEC) KBSE2023-70 |
Recently, there has been increasing interest in automatic design to reduce the costs associated with the development and... [more] |
KBSE2023-70 pp.31-36 |
KBSE |
2024-03-15 13:20 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
On Improvement of Variability Model Division Method Tomoji Kishi (Waseda Univ.) KBSE2023-87 |
The analysis and verification of variability models are often based on logic, but the number of configurations of a vari... [more] |
KBSE2023-87 pp.120-125 |
NLP, MSS |
2024-03-13 15:00 |
Misc. |
Kikai-Shinko-Kaikan Bldg. |
Formal Concept Analysis of Traffic Accidents Factors using Traffic Accident Summaries Haruto Murakami, Kazutoshi Sakakibara, Masaki Nakamura, Tatsuro Motoyoshi, Keisuke Hoshikawa (Toyama Prefectural Univ.) MSS2023-79 NLP2023-131 |
The purpose of this study is to support police activities targeting elderly pedestrians and other vulnerable road users,... [more] |
MSS2023-79 NLP2023-131 pp.42-47 |
RCC, ISEC, IT, WBS |
2024-03-14 15:30 |
Osaka |
Osaka Univ. (Suita Campus) |
Research Directions in Formal Verification of Transport Layer Security Protocols Hideki Sakurada (NTT/Kyushu Univ.), Kouichi Sakurai (Kyushu Univ./ATR) IT2023-121 ISEC2023-120 WBS2023-109 RCC2023-103 |
The TLS protocol is used to secure communications between web servers and clients, and is essential for security: it all... [more] |
IT2023-121 ISEC2023-120 WBS2023-109 RCC2023-103 pp.287-293 |
VLD, HWS, ICD |
2024-03-02 12:05 |
Okinawa |
(Primary: On-site, Secondary: Online) |
A Study on formal verification of GF(2^m) arithmetic circuits including states Kazuho Sakoda (SCU/Kobe Univ.), Yasuyoshi Uemura (SCU), Naofumi Homma (Tohoku Univ.) VLD2023-140 HWS2023-100 ICD2023-129 |
This paper describes a formal verification method for arithmetic circuits based on computer algebra. Conventional method... [more] |
VLD2023-140 HWS2023-100 ICD2023-129 pp.215-220 |
KBSE, SC |
2023-11-17 15:30 |
Miyagi |
Sento Kaikan |
Variability Model Division for Scalability Improvement Tomoji Kishi (WU) KBSE2023-37 SC2023-20 |
Variability models have been used for logic-based analysis and verification, but the number of variations is combinatori... [more] |
KBSE2023-37 SC2023-20 pp.31-36 |
KBSE |
2023-03-16 15:10 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Traceability Management Method based on Informal/Semi-formal Hybrid Notation Ryoji Okada, Yoshihiro Ohama, Seigo Ito (TCRDL) KBSE2022-56 |
For traceability management of design specification in software and system designing, methods using informal notation, o... [more] |
KBSE2022-56 pp.13-18 |
HCS |
2023-03-02 10:00 |
Shizuoka |
Tokoha University(KusanagiCampus) (Primary: On-site, Secondary: Online) |
Gaze Cue Visualization Methods to Facilitate the Initiation of Informal Communication in 3D Virtual Space Junko Ichino, Masahiro Ide (Tokyo City Univ.), Takehito Yoshiki (TIS Inc.), Hitomi Yokoyama (Okayama Univ. of Science), Hirotoshi Asano (Kogakuin Univ.), Hideo Miyachi, Daisuke Okabe (Tokyo City Univ.) HCS2022-77 |
Among all social cues, gaze cues play an important role during interactions that happen before an informal communication... [more] |
HCS2022-77 pp.7-12 |
SIS, ITE-BCT |
2022-10-13 16:00 |
Aomori |
Hachinohe Institute of Technology (Primary: On-site, Secondary: Online) |
[Invited Talk]
Quasiconformal Mapping and its Application
-- Numerical Method and Application to Machine Learning -- Hirokazu Shimauchi (Hachinohe Inst. of Tech.) SIS2022-14 |
Quasiconformal mapping is a natural generalization of conformal mapping and plays an important role in the areas of math... [more] |
SIS2022-14 pp.17-20 |
CS |
2022-07-14 15:25 |
Kagoshima |
Yakushima Environmental and Cultural Village Center (Primary: On-site, Secondary: Online) |
Formalization of centroid method in fuzzy approximate reasoning by Mizar Takashi Mitsuishi (Nagano Univ.) CS2022-26 |
In this study, the centroid method which is one of the fuzzy inference processes is formulated.
The centroid method is ... [more] |
CS2022-26 pp.53-56 |
MSS, NLP |
2022-03-28 09:40 |
Online |
Online |
Prediction of Traffic Accidents using Formal Concept Analysis with Actual Data Shogo Kotani, Yuta Asanuma, Masaki Nakamura, Kazutoshi Sakakibara, Tatsuro Motoyoshi, Keisuke Hoshikawa (Toyama Pref. Univ.) MSS2021-56 NLP2021-127 |
The purpose of this study is for preventing future traffic accidents by past ones to analyze traffic accident data based... [more] |
MSS2021-56 NLP2021-127 pp.7-12 |
SANE |
2021-11-12 10:10 |
Online |
Online |
[Invited Talk]
Applications of Electromagnetic Array-Factor for Radar Engineering Hirokazu Kobayashi (Electromagnetic Wave System Lab.) SANE2021-54 |
Array-factor (AF) theory is the widely and commonly method used to calculate and design array antenna pattern. Assuming ... [more] |
SANE2021-54 pp.114-123 |
COMP |
2021-03-08 17:30 |
Online |
Online |
On generative capacity of controlled right linear grammars with unknown behaviors Daihei Ise, Satoshi Kobayashi (UEC) COMP2020-38 |
In the design of DNA computers, it has been anticipated to develop a method to implement DNA computers which can select ... [more] |
COMP2020-38 pp.59-66 |
NS, ICM, CQ, NV (Joint) |
2020-11-27 11:45 |
Online |
Online |
A Proposal of Framework for Authentication Systems and Verification Method Motoshi Horii, Toshihiro Shimizu (Fujitsu Lab.), Satoshi Imai (Fujitsu) CQ2020-58 |
With the digitization of various procedures, various security incidents have been occurring frequently. To prevent the o... [more] |
CQ2020-58 pp.62-65 |
MSS, NLP (Joint) |
2020-03-09 17:50 |
Aichi |
(Cancelled but technical report was issued) |
Formalization of Modalities in Fillmore's Case Grammar for Language Characterization. Shuji Harazoe (Yamaguchi Univ.), Ren Wu (Yamaguchi JC.), Hiroshi Matsuno (Yamaguchi Univ.) MSS2019-61 |
Modality is a grammatical category that expresses a speaker's will and attitude, which is an essential element of langua... [more] |
MSS2019-61 pp.19-24 |
HWS, VLD [detail] |
2020-03-04 10:30 |
Okinawa |
Okinawa Ken Seinen Kaikan (Cancelled but technical report was issued) |
An EVBDD-based Design Verification for Elementary Function Generators Hiroto Fukuhara, Shinobu Nagayama, Masato Inagi, Shin'ichi Wakabayashi (HCU) VLD2019-96 HWS2019-69 |
This paper proposes a design verification based on edge-valued binary decision
diagrams (EVBDDs) for elementary functio... [more] |
VLD2019-96 HWS2019-69 pp.13-18 |
ISEC, SITE, ICSS, EMM, HWS, BioX, IPSJ-CSEC, IPSJ-SPT [detail] |
2019-07-23 13:10 |
Kochi |
Kochi University of Technology |
A Formal Approach to Verifying Trojan-freeness of Cryptographic Circuits Based on Galois-Field Arithmetic Akira Ito, Rei Ueno, Naofumi Homma (Tohoku Univ.) ISEC2019-26 SITE2019-20 BioX2019-18 HWS2019-21 ICSS2019-24 EMM2019-29 |
This paper proposes a formal method for verifying whether Hardware Trojan (HT) exists or not (i.e., HT-freeness) in cryp... [more] |
ISEC2019-26 SITE2019-20 BioX2019-18 HWS2019-21 ICSS2019-24 EMM2019-29 pp.133-138 |
SS |
2019-03-04 17:10 |
Okinawa |
|
Formal STAMP Modelling toward Safety Verification of Hybrid Systems Mitsuaki Tsuji, Toshinori Takai (NAIST), Masafumi Katahira, Naoki Ishihama (JAXA), Kazuki Kakimoto, Hajimu Iida (NAIST) SS2018-67 |
Safety-critical systems, for example, autonomous vehicles and space systems, are required to be safe and reliable. Recen... [more] |
SS2018-67 pp.91-96 |
EMCJ, IEE-EMC, IEE-MAG |
2018-11-22 13:40 |
Overseas |
KAIST |
Power Distribution Network (PDN) Modeling of the Perforated Planes in A Silicon Interposer for High Bandwidth Memory (HBM) Kyungjun Cho, Youngwoo Kim, Subin Kim, Hyunwook Park, Junyong Park, Seongsoo Lee, Joungho Kim (KAIST) EMCJ2018-62 |
In this paper, we first propose models of the power distribution network (PDN) of perforated power and ground (P/G) plan... [more] |
EMCJ2018-62 p.21 |
EMT, IEE-EMT |
2018-11-16 11:15 |
Tottori |
Kaike Grand Hotel Tensui(Yonago, Tottori) |
Reflection and Radiation Characteristics of Electromagnetic surface waves in Curved Conducting Plate Lines Using Conformal Mapping Yasumitsu Miyazaki (Aichi Math.Tech. Lab.) EMT2018-53 |
Reflection and radiation characteristics of electromagnetic surface waves in curved conducting guides and
lines are fun... [more] |
EMT2018-53 pp.71-76 |