Yutaka Oiwa

25 papers A* 2A 1B 2C 3Misc 1Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy.
CoRR
Yusuke Kawamoto, Kazumasa Miyake, Koichi Konishi, Yutaka Oiwa
2022 B conf
Autonomous driving quality assurance with data uncertainty analysis.
IJCNN
Tinghui Ouyang, Yoshinao Isobe, Saïma Sultana, Yoshiki Seo, Yutaka Oiwa
2022 C conf
Quality assurance study with mismatched data in sentiment analysis.
APSEC
Tinghui Ouyang, Yoshiki Seo, Yutaka Oiwa
2021 — conf
AI robustness analysis with consideration of corner cases.
AITest
Tinghui Ouyang, Yoshinao Isobe, Vicent Sanz Marco, Jun Ogata, Yoshiki Seo, Yutaka Oiwa
2021 — conf
Corner Case Data Description and Detection.
WAIN@ICSE
Tinghui Ouyang, Vicent Sanz Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo
2021 J jnl
Corner case data description and detection.
CoRR
Tinghui Ouyang, Vicent Sant Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo
2021 J jnl
Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots.
IEICE Trans. Inf. Syst.
Yoshinao Isobe, Nobuhiko Miyamoto, Noriaki Ando, Yutaka Oiwa
2019 J jnl
Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yoshinao Isobe, Hisabumi Hatsugai, Akira Tanaka, Yutaka Oiwa, Takanori Ambe, Akimasa Okada, Satoru Kitamura, Yamato Fukuta, Takashi Kunifuji
2017 J jnl
HTTP Authentication Extensions for Interactive Clients.
RFC
Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku
2017 J jnl
Mutual Authentication Protocol for HTTP.
RFC
Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku
2017 J jnl
Mutual Authentication Protocol for HTTP: Cryptographic Algorithms Based on the Key Agreement Mechanism 3 (KAM3).
RFC
Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku
2015 C conf
Combinatorial Testing for Tree-Structured Test Models with Constraints.
QRS
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi
2015 A conf
Optimization of Combinatorial Testing by Incremental SAT Solving.
ICST
Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere
2015 B conf
Priority Integration for Weighted Combinatorial Testing.
COMPSAC
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa
2014 C conf
Design of Prioritized N-Wise Testing.
ICTSS
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa
2014 — conf
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking.
ESSS
Ling Fang, Yoriyuki Yamagata, Yutaka Oiwa
2014 Misc conf
Rollback mechanism of nested virtual machines for protocol fuzz testing.
SAC
Kuniyasu Suzaki, Toshiki Yagi, Akira Tanaka, Yutaka Oiwa, Etsuya Shibayama
2012 — conf
Formal network packet processing with minimal fuss: invertible syntax descriptions at work.
PLPV
Reynald Affeldt, David Nowak, Yutaka Oiwa
2009 A* conf
Implementation of the memory-safe full ANSI-C compiler.
PLDI
Yutaka Oiwa
2009 J jnl
PAKE-based mutual HTTP authentication for preventing phishing attacks
CoRR
Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi
2009 A* conf
PAKE-based mutual HTTP authentication for preventing phishing attacks.
WWW
Yutaka Oiwa, Hiromitsu Takagi, Hajime Watanabe, Hirofumi Suzuki
2007 — conf
A New Variant for an Attack Against RSA Signature Verification Using Parameter Field.
EuroPKI
Yutaka Oiwa, Kazukuni Kobara, Hajime Watanabe
2003 — conf
The Interface Definition Language for Fail-Safe C.
ISSS
Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa
2002 — conf
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report.
ISSS
Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa
2000 J jnl
Extending Java virtual machine with integer-reference conversion.
Concurr. Pract. Exp.
Yutaka Oiwa, Kenjiro Taura, Akinori Yonezawa