default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYutaka Oiwa
Person information
- affiliation: National Institute of Advanced Industrial Science and Technology, AIST, Japan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[i6]Yusuke Kawamoto, Kazumasa Miyake, Koichi Konishi, Yutaka Oiwa:
Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy. CoRR abs/2301.07474 (2023)- 2022
- [c16]Tinghui Ouyang, Yoshiki Seo, Yutaka Oiwa:
Quality assurance study with mismatched data in sentiment analysis. APSEC 2022: 442-446 - [c15]Tinghui Ouyang, Yoshinao Isobe, Saïma Sultana, Yoshiki Seo, Yutaka Oiwa:
Autonomous driving quality assurance with data uncertainty analysis. IJCNN 2022: 1-7 - 2021
- [j3]Yoshinao Isobe, Nobuhiko Miyamoto, Noriaki Ando, Yutaka Oiwa:
Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots. IEICE Trans. Inf. Syst. 104-D(10): 1515-1532 (2021) - [c14]Tinghui Ouyang, Yoshinao Isobe, Vicent Sanz Marco, Jun Ogata, Yoshiki Seo, Yutaka Oiwa:
AI robustness analysis with consideration of corner cases. AITest 2021: 29-36 - [c13]Tinghui Ouyang, Vicent Sanz Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo:
Corner Case Data Description and Detection. WAIN@ICSE 2021: 19-26 - [i5]Tinghui Ouyang, Vicent Sant Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo:
Corner case data description and detection. CoRR abs/2101.02494 (2021)
2010 – 2019
- 2019
- [j2]Yoshinao Isobe, Hisabumi Hatsugai, Akira Tanaka, Yutaka Oiwa, Takanori Ambe, Akimasa Okada, Satoru Kitamura, Yamato Fukuta, Takashi Kunifuji:
Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 102-A(2): 325-335 (2019) - 2017
- [i4]Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku:
HTTP Authentication Extensions for Interactive Clients. RFC 8053: 1-28 (2017) - [i3]Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku:
Mutual Authentication Protocol for HTTP. RFC 8120: 1-53 (2017) - [i2]Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku:
Mutual Authentication Protocol for HTTP: Cryptographic Algorithms Based on the Key Agreement Mechanism 3 (KAM3). RFC 8121: 1-17 (2017) - 2015
- [c12]Eun-Hye Choi
, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa:
Priority Integration for Weighted Combinatorial Testing. COMPSAC 2015: 242-247 - [c11]Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere:
Optimization of Combinatorial Testing by Incremental SAT Solving. ICST 2015: 1-10 - [c10]Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi:
Combinatorial Testing for Tree-Structured Test Models with Constraints. QRS 2015: 141-150 - 2014
- [c9]Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa:
Design of Prioritized N-Wise Testing. ICTSS 2014: 186-191 - [c8]Kuniyasu Suzaki, Toshiki Yagi, Akira Tanaka, Yutaka Oiwa, Etsuya Shibayama:
Rollback mechanism of nested virtual machines for protocol fuzz testing. SAC 2014: 1484-1491 - [c7]Ling Fang, Yoriyuki Yamagata, Yutaka Oiwa:
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking. ESSS 2014: 35-49 - 2012
- [c6]Reynald Affeldt, David Nowak, Yutaka Oiwa:
Formal network packet processing with minimal fuss: invertible syntax descriptions at work. PLPV 2012: 27-36
2000 – 2009
- 2009
- [c5]Yutaka Oiwa:
Implementation of the memory-safe full ANSI-C compiler. PLDI 2009: 259-269 - [c4]Yutaka Oiwa, Hiromitsu Takagi, Hajime Watanabe, Hirofumi Suzuki:
PAKE-based mutual HTTP authentication for preventing phishing attacks. WWW 2009: 1143-1144 - [i1]Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi:
PAKE-based mutual HTTP authentication for preventing phishing attacks. CoRR abs/0911.5230 (2009) - 2007
- [c3]Yutaka Oiwa, Kazukuni Kobara, Hajime Watanabe:
A New Variant for an Attack Against RSA Signature Verification Using Parameter Field. EuroPKI 2007: 143-153 - 2003
- [c2]Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa:
The Interface Definition Language for Fail-Safe C. ISSS 2003: 192-208 - 2002
- [c1]Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa:
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report. ISSS 2002: 133-153 - 2000
- [j1]Yutaka Oiwa, Kenjiro Taura, Akinori Yonezawa:
Extending Java virtual machine with integer-reference conversion. Concurr. Pract. Exp. 12(6): 407-422 (2000)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
