| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| HWS, VLD | 2023-03-02 15:20 |
Okinawa | (Primary: On-site, Secondary: Online) |
Secure Cache System against On-Chip Threats Keisuke Kamahori, Shinya Takamaeda (UTokyo)  VLD2022-95 HWS2022-66 |
In this paper, we propose a new threat model for secure processor design that considers on-chip threats. Also, we desi... [more] |
VLD2022-95 HWS2022-66 pp.113-118 |
| SANE | 2023-01-20 13:00 |
Tokyo | (Primary: On-site, Secondary: Online) |
Derivation and flight verification of maximum climb rate for fixed-wing UAV driven by propeller engine Katsumi Watanabe, Takuma Shibata, Masazumi Ueba (Muroran IT) SANE2022-94 |
While the use of Unnamed Aerial Vehicle(UAV) recently expands, the use of the fixed-wing UAVs requires a run way for tak... [more] | SANE2022-94 pp.29-34 |
| SANE | 2023-01-20 13:50 |
Tokyo | (Primary: On-site, Secondary: Online) |
Analysis Results of LIDAR Observation for Aircraft Wake Vortices on Approach at Haneda Airport Naoki Fujii, Takayuki Yoshihara, Atsushi Senoguchi (ENRI) SANE2022-96 |
In response to increasing of worldwide aviation demand, it is required to expand the airport capacity of congested airpo... [more] | SANE2022-96 pp.40-45 |
| LOIS, ICM | 2023-01-19 14:15 |
Fukuoka | Kitakyushu International Conference Center (Primary: On-site, Secondary: Online) |
A Study of Automatic Network Operation based on User's Intents
-- Practice in Operation DX -- Takamichi Nishijima, Atsushi Kitada, Yuta Sugiyama, Satoru Umezaki, Hiroshi Tomonaga (Fujitsu) ICM2022-34 LOIS2022-34 |
In the DX era, to quickly service in is required as business needs change. The current network design and operation reli... [more] | ICM2022-34 LOIS2022-34 pp.19-24 |
| MSS, SS | 2023-01-10 11:00 |
Osaka | (Primary: On-site, Secondary: Online) |
[Panel Discussion]
Review of Mathematical Systems Science and its Applications (MSS) Research Group Activities and Future Prospects
-- Messages from Past MSS Chairs -- Atsuo Ozaki (OIT), Kunihiko Hiraishi (JAIST), Yuichi Nakamura (NEC), Satoshi Yamane (Kanazawa Univ.), Morikazu Nakamura (Univ. of the Ryukyus), Shigemasa Takai (Osaka Univ.) MSS2022-44 SS2022-29 |
Ten years have passed since the Mathematical Systems Science and its Applications (MSS) was established in 2011. To comm... [more] | MSS2022-44 SS2022-29 pp.1-4 |
| SS, IPSJ-SE, KBSE [detail] | 2022-07-29 13:00 |
Hokkaido | Hokkaido-Jichiro-Kaikan (Sapporo) (Primary: On-site, Secondary: Online) |
Verification of Implementable Timed Automata via Satisfiability Checking Seiichiro Tachi, Shoji Yuen (Nagoya Univ.) SS2022-9 KBSE2022-19 |
We present a technique for bounded model-checking the reachability in timed automata with implementability assuming that... [more] | SS2022-9 KBSE2022-19 pp.49-54 |
| QIT (2nd) |
2022-05-31 11:50 |
Online | Online | Passive verification protocol for thermal graph states Kazuki Akimoto, Shunji Tsuchiya (Chuo Univ.), Ryosuke Yoshii (Sanyo-Onoda City Univ.), Yuki Takeuchi (NTT) |
Graph states are entangled resource states for universal measurement-based quantum computation. Although matter qubits ... [more] |
|
| SANE | 2022-05-24 11:20 |
Kanagawa | Information Technology R & D Center, MITSUBISHI Electric Corp. (Primary: On-site, Secondary: Online) |
Theoretical Study on Aircraft Position Verification Methods using Multiple TDOA Junichi Naganawa, Hiromi Miyazaki (ENRI) SANE2022-6 |
Automatic Dependent Surveillance—(ADS-B) is an emerging means of aeronautical surveillance for air traffic control. Aircra... [more] | SANE2022-6 pp.27-32 |
| ISEC | 2022-05-18 15:35 |
Online | Online | [Invited Talk]
Forward Secure Message Franking (from ICISC 2021) Hiroki Yamamuro (Tokyo Tech), Keisuke Hara (AIST/YNU), Masayuki Tezuka (NIT, Tsuruoka College), Yusuke Yoshida, Keisuke Tanaka (Tokyo Tech) ISEC2022-5 |
Message franking is introduced by Facebook in end-to-end encrypted messaging services. It allows to produce verifiable... [more] |
ISEC2022-5 p.20 |
| SS | 2022-03-07 14:30 |
Online | Online | Learning Assumptions for Compositional Verification of Timed Systems with Tree Queries Kotaro Niimi, Shoji Yuen (Nagoya Univ) SS2021-49 |
This paper presents an automatic assumption-learning for compositional verification of timed systems. We focus on Assume... [more] | SS2021-49 pp.43-48 |
| IA, SITE, IPSJ-IOT [detail] | 2022-03-07 09:20 |
Kyoto | Kyoto University, Yoshida Campus (Primary: On-site, Secondary: Online) |
Data Plane Anomaly Detection by Traffic Monitoring Per-process in Each Host on SDN Naoki Moriyama (TUMSAT), Tomoki Amano (NYK), Takahiro Shimizu (LINE), Kohta Ohshima (TUMSAT), Naoya Kitagawa (NII) SITE2021-46 IA2021-59 |
(To be available after the conference date) [more] | SITE2021-46 IA2021-59 pp.1-6 |
| DC | 2022-03-01 10:20 |
Tokyo | Kikai-Shinko-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
DC2021-66 |
(To be available after the conference date) [more] | DC2021-66 pp.13-17 |
| QIT (2nd) |
2021-11-30 09:50 |
Online | Online | Study on quantum algorithms for gradient estimation of integer polynomials Shinichi Mizuhara (Univ. of Tokyo), Yutaro Iiyama (ICEPP), Shoji Asai (Univ. of Tokyo) |
Although efficient quantum algorithms for computing gradients of real functions already exist, they tend to be applicabl... [more] | |
| QIT (2nd) |
2021-12-01 14:00 |
Online | Online | Divide-and-conquer verification method for noisy intermediate-scale quantum computation Yuki Takeuchi, Yasuhiro Takahashi (NTT), Tomoyuki Morimae (Kyoto Univ.), Seiichiro Tani (NTT) |
Several noisy intermediate-scale quantum computations can be regarded as logarithmic-depth quantum circuits on a sparse ... [more] | |
| SRW | 2021-08-24 15:40 |
Online | Online | [Invited Lecture]
Platform for Wireless System Emulation Based on Cyber Physical Fusion Takeshi Matsumura, Hirokazu Sawada, Toshiyuki Miyachi, Fumihide Kojima, Hiroaki Harai, Hiroshi Harada (NICT) SRW2021-26 |
In Society 5.0, it is expected that the utilization of wireless communication will expand into various fields and play a... [more] | SRW2021-26 pp.39-44 |
| KBSE, IPSJ-SE, SS [detail] | 2021-07-09 11:25 |
Online | Online (Zoom) | Verification of non-functional requirements derived from requirements documents Takafumi Kinoshita, Takayuki Omori, Atsushi Ohnishi (Ritsumeikan u.) SS2021-9 KBSE2021-21 |
(To be available after the conference date) [more] | SS2021-9 KBSE2021-21 pp.46-51 |
| SANE | 2021-06-25 14:20 |
Online | Online | System Design Consideration for Aircraft Position Verification Method using TDOA and AOA Junichi Naganawa, Hiromi Miyazaki, Tadashi Koga, Hirohisa tajima, Yasuyuki Kakubari (ENRI) SANE2021-14 |
ADS-B (Automatic Dependent Surveillance-Broadcast) is one of the next generation aeronautical surveillance systems, wher... [more] | SANE2021-14 pp.29-34 |
| ICM | 2021-03-18 09:25 |
Online | Online | [Encouragement Talk]
An Automation Technology of Testing Environment Configuration for ICT System Products by Search-based System Design Generation Scheme Kazuki Tanabe, Takayuki Kuroda, Kozo Satoda (NEC) ICM2020-60 |
In this paper, we propose an automation technology to generate comprehensive testing environments for performance evalua... [more] | ICM2020-60 pp.7-12 |
| ITS, IEE-ITS | 2021-03-15 15:05 |
Online | Online | Model Checking-Based Verification of Token-Based Traffic Control for Roundabouts Tatsuhiro Tsuchiya (Osaka Univ.), Satoshi Otsuka (Hitachi) ITS2020-43 |
This paper reports the results of model checking-based verification of a traffic control mechanism for roundabouts. This... [more] | ITS2020-43 pp.41-44 |
| SIS | 2021-03-04 15:50 |
Online | Online | [Invited Talk]
A Proposal in Order to use AI Safely for Control Nobuyasu Kanekawa (Hitachi) SIS2020-50 |
The research of the deep learning which developed the "neural Network" proposed by the second AI (artificial intelligenc... [more] | SIS2020-50 pp.83-87 |
[Return to Top Page]