Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
ICD |
2024-04-12 09:30 |
Kanagawa |
(Primary: On-site, Secondary: Online) |
[Invited Talk]
High Density Dynamic Flash Memory (DFM) Koji Sakui (Unisantis) ICD2024-9 |
[more] |
ICD2024-9 pp.27-34 |
ET |
2022-11-05 15:20 |
Online |
Online |
Estimation and Visualization of Learning Types for Class Dialogues Using Neural Network Model Sakuei Onishi, Hiromitsu Shiina (Okayama Unisersity of Science), Tomohiko Yasumori (Okayama Univ. of Science) ET2022-38 |
In elementary school classes, lesson inspection activities have been conducted to improve classes, and feedback is impor... [more] |
ET2022-38 pp.47-54 |
HCGSYMPO (2nd) |
2020-12-15 - 2020-12-17 |
Online |
Online |
Measuring cognitive load of Japanese synthetic speech mixed with noise using eye-movement analysis Mateusz Dubiel (UniStrath), Minoru Nakayama (Tokyo Tech.), Xin Wang (NII) |
We measured cognitive load of Japanese natural and synthetic speech
mixed with noise using temporal changes in pupil s... [more] |
|
HIP |
2020-10-09 16:45 |
Online |
Online |
Using Pupillary Responses to Measure Cognitive Load of Japanese Synthetic Speech mixed with Noise Mateusz Dubiel (UniStrath), Minoru Nakayama (Tokyo Tech.), Xin Wang (NII) HIP2020-51 |
Pupillometry has recently been introduced as a method to evaluate cognitive workload of synthetic speech. Prior research... [more] |
HIP2020-51 pp.93-96 |
KBSE |
2020-03-06 13:30 |
Okinawa |
Tenbusu-Naha (Cancelled but technical report was issued) |
A Method to Analyze the Proximate States to Hazards Based-on State Transition System for Supporting Safety Analysis Yusuke Suzuki, Shinpei Ogata, Yutaro Ohike (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-47 |
STAMP (System-Theoretic Accident Model and Processes)/STPA (System-Theoretic Process Analysis) supports system developer... [more] |
KBSE2019-47 pp.7-12 |
KBSE, SC |
2019-11-08 11:30 |
Nagano |
Shinshu University |
A Method to Analyze NuSMV Counterexamples for Defect Cause Analysis Yutaro Ohike, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys, Ltd.), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-24 SC2019-21 |
Many state variables that are defined in a model may appear as conditional expressions in one specification on model che... [more] |
KBSE2019-24 SC2019-21 pp.7-12 |
SWIM, KBSE |
2019-05-25 09:45 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Proposal of FRAM Support Method using Probabilistic Model Checker Yoshitaka Aoki (NUL), Shinpei Ogata (Shinshu Univ) KBSE2019-8 SWIM2019-8 |
FRAM (Functional Resonance Analysis Method) is an analysis method to analyze and model a complex technical system. The F... [more] |
KBSE2019-8 SWIM2019-8 pp.49-56 |
KBSE, SS, IPSJ-SE [detail] |
2018-07-18 15:50 |
Hokkaido |
|
Case Study on a Verification of an IoT Architecture Model Based on Control Loop Yoshitaka Aoki (NUL), Shinpei Ogata, Kazuki Kobayashi (Shinshu Univ.), Hiroyuki Nakagawa (Osaka Univ.) SS2018-11 KBSE2018-21 |
IoT (Internet of Things) systems have their respective complicated configuration across cyber and physical space. Even i... [more] |
SS2018-11 KBSE2018-21 pp.61-66 |
ET |
2017-12-02 15:45 |
Ishikawa |
Kanazawa Institute of Technology |
Study on System Requirements to Support Curriculum-Management in Japanese New Course of Study Akina Sugiyama, Yusuke Utsumi (Nihon Unisys), Masashi Muramatsu (Zusi City Board of Education), Jun Takahashi (Tokyo Gakugei University) ET2017-77 |
The purpose of this research is to examine system requirements to support Curriculum-Management in Japanese new course o... [more] |
ET2017-77 pp.51-56 |
SS, KBSE, IPSJ-SE [detail] |
2017-07-19 13:10 |
Hokkaido |
|
Prototyping and Evaluation of Support Method of Model Checking using Modeling Notation of IoT System Architecture Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (NUL), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi (Shinshu Univ.), Yuko Fukushima (NUL) SS2017-5 KBSE2017-5 |
IoT system architecture often relates to various objects such as users, Web services, edges, devices, energy suppliers a... [more] |
SS2017-5 KBSE2017-5 pp.25-30 |
KBSE |
2016-05-27 10:45 |
Tokyo |
Doshisha Univ. Tokyo Branch Office |
Model Checking of Source Code Based on Design Pattern Yoshitaka Aoki (NUL) KBSE2016-6 |
We have proposed the " Discovery of Inconsistency of Behavior of System in Source Code between Specification using Model... [more] |
KBSE2016-6 pp.31-36 |
KBSE |
2016-03-03 13:50 |
Oita |
|
Verification of Goal Satisfaction to Combination of Use Case Components Saeko Matsuura (Shibaura Inst. of Tech.), Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys) KBSE2015-54 |
[more] |
KBSE2015-54 pp.37-42 |
MICT, ASN, MoNA (Joint) |
2015-01-27 13:30 |
Wakayama |
Nanki Shirahama |
Research and development of the platform technology for a mesh type regional network Yasushi Nakagawa (NUL), Hirotsugu Takahashi (FJ), Tohru Sanefuji (NSC), Tetsuo Kinoshita (TOHOKU Univ.) MoNA2014-86 |
The purpose of research and development of platform technology of the mesh type regional network is as follows. Deployme... [more] |
MoNA2014-86 pp.129-134 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 15:20 |
Hokkaido |
Furano-Bunka-Kaikan |
A Method of Facilitating Counterexample Analysis in Model Checking Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) SS2014-16 KBSE2014-19 |
Model checking is an effective technique in order to verify the behavior of the system. We have proposed a method to fin... [more] |
SS2014-16 KBSE2014-19 pp.87-92 |
DE |
2014-06-21 09:05 |
Tokyo |
Ricoh IT Solutions |
A Knowledge Acquisition Method for Decision-making Based on Context Computing Daisuke Takaoka (PMT), Yasuyuki Jinnouchi (Sumitem), Yasuyuki Sugai (Eagle), Michitaka Aramoto (Ad-Sol), Tomonori Makino (Nihon Unisys), Noriaki Izumi (AIST) DE2014-1 |
This report provides a reference architecture about Context Computing, as a part of AITC’s proposal, which enables us to... [more] |
DE2014-1 pp.1-6 |
KBSE |
2014-05-30 13:45 |
Kanagawa |
Keio Univ.(Raiou-sha, Hiyoshi Campus) |
Dissemination and Use of Model Checking Tool in Enterprise Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2014-9 |
Model checking is a technique superior to inspect the behavior of the system. However, it is difficult writing the appr... [more] |
KBSE2014-9 pp.47-52 |
KBSE |
2014-03-06 10:35 |
Okinawa |
Okinawaken-Seinenkaikan |
A Method for Facilitating the Analysis of Counterexamples in Model Checking Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2013-79 |
[more] |
KBSE2013-79 pp.1-6 |
KBSE |
2014-01-28 13:40 |
Tokyo |
Kikai-Shinko-Kaikan Bldg |
A Concept of Context Computing
-- Methodology about Information sharing and Personalization -- Tomonori Makino (Nihon Unisys), Tadao Michimura (Fuji Xerox), Atsushi Iizawa (RICOH IT Solutions), Shigeru Kobayashi (AITC), Noriaki Izumi (AIST) KBSE2013-76 |
This report provides a concept model of context computing as a part of a white paper on Context Computing Research Group... [more] |
KBSE2013-76 pp.65-70 |
AP (2nd) |
2014-01-08 15:50 |
Overseas |
Le Quy Don Technical University (Hanoi, Vietnam) |
A Brief Introduction to Flexible Magnetically-Coupled Resonant Wireless Power Transmission Systems Huy Hoang, Tran Thi Huong (DUT), Jingook Kim, Franklin Bien (UNIST) |
[more] |
|
SS, KBSE |
2013-07-26 13:10 |
Hokkaido |
|
Application to Development Site of Model Checking Technology
-- Discovery of Inconsistency of Specification and Source Code -- Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) SS2013-28 KBSE2013-28 |
Software programs often include many defects that are not easy to detect because of the developers’ mistakes, misunderst... [more] |
SS2013-28 KBSE2013-28 pp.91-96 |