Yutaka Oiwa

According to our database, Yutaka Oiwa authored at least 25 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy.

Yusuke Kawamoto, Kazumasa Miyake, Koichi Konishi, Yutaka Oiwa

CoRR, 2023

2022

Autonomous driving quality assurance with data uncertainty analysis.

Tinghui Ouyang, Yoshinao Isobe, Saïma Sultana, Yoshiki Seo, Yutaka Oiwa

Proceedings of the International Joint Conference on Neural Networks, 2022

Quality assurance study with mismatched data in sentiment analysis.

Tinghui Ouyang, Yoshiki Seo, Yutaka Oiwa

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots.

Yoshinao Isobe, Nobuhiko Miyamoto, Noriaki Ando, Yutaka Oiwa

IEICE Trans. Inf. Syst., 2021

Corner case data description and detection.

Tinghui Ouyang, Vicent Sant Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo

CoRR, 2021

Corner Case Data Description and Detection.

Tinghui Ouyang, Vicent Sanz Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo

Proceedings of the 1st IEEE/ACM Workshop on AI Engineering - Software Engineering for AI, 2021

AI robustness analysis with consideration of corner cases.

Tinghui Ouyang, Yoshinao Isobe, Vicent Sanz Marco, Jun Ogata, Yoshiki Seo, Yutaka Oiwa

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2019

Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver.

Yoshinao Isobe, Hisabumi Hatsugai, Akira Tanaka, Yutaka Oiwa, Takanori Ambe, Akimasa Okada, Satoru Kitamura, Yamato Fukuta, Takashi Kunifuji

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019

2017

Mutual Authentication Protocol for HTTP: Cryptographic Algorithms Based on the Key Agreement Mechanism 3 (KAM3).

Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku

RFC, April, 2017

Mutual Authentication Protocol for HTTP.

Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku

RFC, April, 2017

HTTP Authentication Extensions for Interactive Clients.

Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku

RFC, January, 2017

2015

Combinatorial Testing for Tree-Structured Test Models with Constraints.

Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Optimization of Combinatorial Testing by Incremental SAT Solving.

Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Priority Integration for Weighted Combinatorial Testing.

Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking.

Ling Fang, Yoriyuki Yamagata, Yutaka Oiwa

Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

Rollback mechanism of nested virtual machines for protocol fuzz testing.

Kuniyasu Suzaki, Toshiki Yagi, Akira Tanaka, Yutaka Oiwa, Etsuya Shibayama

Proceedings of the Symposium on Applied Computing, 2014

Design of Prioritized N-Wise Testing.

Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa

Proceedings of the Testing Software and Systems, 2014

2012

Formal network packet processing with minimal fuss: invertible syntax descriptions at work.

Reynald Affeldt, David Nowak, Yutaka Oiwa

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

2009

PAKE-based mutual HTTP authentication for preventing phishing attacks

Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi

CoRR, 2009

PAKE-based mutual HTTP authentication for preventing phishing attacks.

Yutaka Oiwa, Hiromitsu Takagi, Hajime Watanabe, Hirofumi Suzuki

Proceedings of the 18th International Conference on World Wide Web, 2009

Implementation of the memory-safe full ANSI-C compiler.

Yutaka Oiwa

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2007

A New Variant for an Attack Against RSA Signature Verification Using Parameter Field.

Yutaka Oiwa, Kazukuni Kobara, Hajime Watanabe

Proceedings of the Public Key Infrastructure, 2007

2003

The Interface Definition Language for Fail-Safe C.

Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa

Proceedings of the Software Security, 2003

2002

Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report.

Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa

Proceedings of the Software Security -- Theories and Systems, 2002

2000

Extending Java virtual machine with integer-reference conversion.

Yutaka Oiwa, Kenjiro Taura, Akinori Yonezawa

Concurr. Pract. Exp., 2000