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 |
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 |
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 |
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 |
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 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-13 15:15 |
Shizuoka |
|
On formal verification of mathematical programming models by algebraic specifications Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.) CAS2018-76 MSS2018-52 |
To apply a solver for optimization problems, we need to formalize a problem into a form acceptable by the solver.
In th... [more] |
CAS2018-76 MSS2018-52 pp.127-130 |
ICSS, IA |
2018-06-26 10:45 |
Ehime |
Ehime University |
[Invited Talk]
Security Analysis with Formal Methods Naoto Yanai (Osaka Univ.) IA2018-12 ICSS2018-12 |
For security analysis of information security researches, a method with a formal proof has attracted attention in recent... [more] |
IA2018-12 ICSS2018-12 pp.73-75 |
SSS |
2017-04-25 13:40 |
Tokyo |
|
[Invited Talk]
Proposal of the method to promote staff members' chats in a refresh room for enhancing their knowledge sharing Hidenori Fujino (Fukui Pref. Univ.), Motoki Urayama (Kyoto Univ.), Takayoshi Kitamura (Rits, Univ.), Hiroshi Shimoda, Hirotake Ishii (Kyoto Univ.) SSS2017-2 |
In practical fields of safety management for socio-technical systems like Raliway and Aviation, the staff members' pract... [more] |
SSS2017-2 pp.5-8 |
US |
2015-08-24 13:00 |
Tokyo |
Tokyo Institute of Technology, Ookayama Campus |
Influence estimation of the process for histology on the measurement of acoustic properties using high frequency So Irie, Kenji Yoshida, Tadashi Yamaguchi (Chiba Univ.) US2015-38 |
In bioacoustics microscopy, the effect of tissue preparation, e.g. formalin fixation, on acoustic characteristic of sect... [more] |
US2015-38 pp.1-6 |
SS |
2015-03-09 09:55 |
Okinawa |
OKINAWAKEN SEINENKAIKAN |
Reactive System Synthesis with Tolerance for Unexpected Environmental Behavior Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki (Tokyo Tech) SS2014-56 |
On the synthesis of reactive system (RS), if we assume some behavior property on an environment, specifications must inc... [more] |
SS2014-56 pp.7-12 |
VLD, DC, IPSJ-SLDM, CPSY, RECONF, ICD, CPM (Joint) [detail] |
2014-11-26 10:45 |
Oita |
B-ConPlaza |
A hardware description method and sematics providing a timing constrant Shunji Nishimura, Motoki Amagasaki, Toshinori Sueyoshi (Kumamoto Univ.) VLD2014-82 DC2014-36 |
Formal verification methods are wide-spreading due to its mathmatical rigorousaspect, although they limited to synchroun... [more] |
VLD2014-82 DC2014-36 pp.81-86 |
RECONF |
2014-09-19 14:40 |
Hiroshima |
|
Formal Verification System of Multi-clock Synchronous Circuits on Multimodal Logic Shunji Nishimura, Motoki Amagasaki, Toshinori Sueyoshi (Kumamoto Univ.) RECONF2014-33 |
Regardless of wide using of a formal verification methods, almost all of the methods limited to single-clock synchrounou... [more] |
RECONF2014-33 pp.93-98 |
SS |
2014-03-11 11:30 |
Okinawa |
Tenbusu Naha |
Formal Verification Technique for Consistency Checking between equals and hashCode methods in Java Hiroaki Shimba, Hiroki Onoue, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2013-75 |
Java classes must observe constraints on ``hashCode'' methods as well as ``equals'' methods, in order to behave correctl... [more] |
SS2013-75 pp.19-24 |
IN, NV (Joint) |
2013-07-19 15:15 |
Hokkaido |
Hokkaido Univ. Faculty of Eng. Academic Lounge 3 |
Model Checking of OpenFlow Network with Abstraction of Packets Based on Symbolic Execution Yutaka Yakuwa, Nobuyuki Tomizawa, Toshio Tonouchi (NEC) IN2013-54 |
We propose a verification method of the OpenFlow network with the model checking, which can detect a loop routing and so... [more] |
IN2013-54 pp.107-112 |
KBSE |
2013-03-14 15:30 |
Tokyo |
Shibaura Institute of Technology |
Model checking potential deadlocks of DB transactions Takuya Saruwatari, Hideaki Tsukamoto, Shingo Kamiya, Shunsuke Miyata (NTT) KBSE2012-76 |
Improvement of IT system’s dependability using formal methods is expected. In a typical IT system development, formal me... [more] |
KBSE2012-76 pp.43-48 |
KBSE |
2013-03-15 11:25 |
Tokyo |
Shibaura Institute of Technology |
A proposal on architecture based verification case Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-82 |
Although formal method is attracted to verify system correctness, it is not practical to verify every property of system... [more] |
KBSE2012-82 pp.79-83 |
NLC |
2012-12-19 16:20 |
Tokyo |
Ookayama Campasu, Tokyo Institute of Technology |
Recognizing Variations of Japanese "Good Morning" Phrases in Twitter Yoshinari Fujinuma (Univ. of Tokyo), Hikaru Yokono (NII), Pascual Martinez-Gomez, Akiko Aizawa (Univ. of Tokyo/NII) NLC2012-39 |
Recently, the rapid growth of Consumer Generated Media (CGM) such as Twitter introduced much expressive variations and i... [more] |
NLC2012-39 pp.35-40 |