奈良先端科学技術大学院大学教員研究活動データベース

井上　美智子

所属	情報科学領域コンピュータ科学分野
職位	教授
学位
研究室	ディペンダブルシステム学

研究キーワード	分散アルゴリズム, distributed/parallel algorithm, LSI信頼性, LSIテスト, ハードウェアセキュリティ, design and test of VLSI
研究分野	情報通信 / 情報学基礎論 / , 情報通信 / 計算機システム /
研究室概要	誰もが信頼して利用できるディペンダブルなシステムのために、分散システム・アルゴリズムに関する理論的研究からVLSIのテスト・信頼性・安全性に関する実用的研究まで多角的にディペンダビリティの研究・教育を行う。
学術論文	"Fast gathering despite a linear number of weakly Byzantine agents," Concurrency and Computation: Practice and Experience, vol.First published, 3 Apr. 2024 Jion Hirose, Junya Nakamura, Fukuhito Ooshita, Michiko Inoue [ doi:10.1002/cpe.8055 ] "Wafer-Level Characteristic Variation Modeling Considering Systematic Discontinuous Effects," IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, vol.E107.A, no.Issue 1, pp96-104, 1 Jan. 2024 Takuma Nagao, Tomoki Nakamura, Masuo Kajiyama, Makoto Eiki, Michiko Inoue, Michihiro Shintani [ doi:10.1587/transfun.2023KEP0010 ] "Improving Hardware Trojan Detection Coverage by Utilizing Features at Different Abstraction Levels," Journal of Advanced Research in Applied Sciences and Engineering Technology, vol.32, no.1, pp73-86, 30 Aug. 2023 Hau Sim Choo, Chia Yee Ooi, Nordinah Ismail, Michiko Inoue, Chee Hoo Kok [ doi:10.37934/araset.32.1.7386 ] "Eventually consistent distributed ledger despite degraded atomic broadcast," Concurrency and Computation: Practice and Experience, vol.35, no.11, ppe6199, 15 May. 2023 Grégory Bénassy, Fukuhito Ooshita, Michiko Inoue [ NAISTレポジトリ ] [ doi:10.1002/cpe.6199 ] "Systematic Unsupervised Recycled Field-Programmable Gate Array Detection," IEEE Transactions on Device and Materials Reliability , vol.22, no.2, pp154-163, 4 Apr. 2022 Yuya Isaka, Michihiro Shintani, Foisal Ahmed, Michiko Inoue [ doi:10.1109/TDMR.2022.3164788 ] "Weakly Byzantine Gathering with a Strong Team," IEICE Transactions on Information and Systems, vol.E105-D, no.3, pp541-555, Mar. 2022 Jion Hirose, Junya Nakamura, Fukuhito Ooshita, Michiko Inoue [ NAISTレポジトリ ] [ doi:10.1587/transinf.2021FCP0011 ] "Unsupervised Recycled FPGA Detection Using Exhaustive Nearest Neighbor Residual Analysis," Japanese Journal of Applied Physics, Feb. 2022 Yuya Isaka, Michihiro Shintani, Michiko Inoue [ doi:10.35848/1347-4065/ac5107 ] "Terminating grid exploration with myopic luminous robots," International Journal of Networking and Computing, vol.12, no.1, pp73-102, Jan. 2022 Shota Nagahama, Fukuhito Ooshita, Michiko Inoue [ doi:10.15803/ijnc.12.1_73 ] "Uniform Bipartition in the Population Protocol Model with Arbitrary Graphs," Theoretical Computer Science, Sep. 2021 Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sebastien Tixeuil "Hardware–Software Co-Design for Decimal Multiplication," Computers, vol.10, no.2, pp17, 27 Jan. 2021 Riaz-ul-haque Mian, Michihiro Shintani, Michiko Inoue [ doi:10.3390/computers10020017 ] "Accurate Recycled FPGA Detection Using an Exhaustive-Fingerprinting Technique Assisted by WID Process Variation Modeling," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.40, no.8, pp1626-1639, 14 Sep. 2020 Foisal Ahmed, Michihiro Shintani, Michiko Inoue [ doi:10.1109/TCAD.2020.3023684 ] "Cost-efficient Recycled FPGA Detection through Statistical Performance Characterization Framework," IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol.E103-A, no.9, pp1045-1053, Sep. 2020 Foisal Ahmed, Michihiro Shintani, Michiko Inoue [ NAISTレポジトリ ] "Area-Efficient and Reliable Error Correcting Code Circuit Based on Hybrid CMOS/Memristor Circuit," Journal of Electronic Testing: Theory and Applications, vol.36, no.4, pp537-546, Aug. 2020 Mamoru Ishizaka, Michihiro Shintani, Michiko Inoue [ doi:10.1007/s10836-020-05892-3 ] "Highly Reliable Memory Architecture Using Adaptive Combination of Proactive Aging-aware In-Field Self-Repair and ECC," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.39, no.8, pp1688-1698, 17 Jul. 2020 Gian Mayuga, Yasuo Sato, Michiko Inoue [ doi:10.1109/TCAD.2019.2925365 ] "Byzantine-tolerant gathering of mobile agents in asynchronous arbitrary networks with authenticated whiteboards," IEICE Transactions on Information and Systems, vol.E103-D, no.7, Jul. 2020 Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue [ NAISTレポジトリ ] "A review of hardware Trojan detection: An overview of different pre-silicon techniques," Defence S and T Technical Bulletin, vol.13, no.1, pp1-21, 14 Apr. 2020 Hau Sim Choo, Chia Yee Ooi, Michiko Inoue, Nordinah Ismail, Chee Hoo Kok "Register-Transfer-Level Features for Machine-Learning-Based Hardware Trojan Detection," IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol.E103-A, no.2, 1 Feb. 2020 Hau Sim Choo, Chia Yee Ooi, Michiko Inoue, Nordinah Ismail, Mehrdad Moghbel, Chee Hoo Kok "Space-optimal population protocols for uniform bipartition under global fairness," IEICE Transactions on Information and Systems, vol.E102-D, no.3, Mar. 2019 Hiroto Yasumi, Fukuhito Ooshita, Ken'ichi Yamaguchi, Michiko Inoue "A population protocol for uniform k-partition under global fairness ," IJNC Special Issue on APDCM 2018, Jan. 2019 Hiroto Yasumi, Naoki Kitamura, Fukuhito Ooshita, Taisuke Izumi, Michiko Inoue "Byzantine-tolerant Gathering of Mobile Agents in Arbitrary Networks with Authenticated Whiteboards," IEICE Transactions on Information and Systems, vol.E101-D, no.3, pp602-610, Mar. 2018 Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue [ NAISTレポジトリ ] "An integrated DFT solution for power reduction in scan test applications by low power gating scan cell," Integration, the VLSI Journal, vol.57, pp108-124, Mar. 2017 Mahshid Mojtabavi Naeini, Sreedharan Baskara Dass, Chia Yee Ooi, Tomokazu Yoneda, Michiko Inoue "An Effective and Sensitive Scan Segmentation Technique for Detecting Hardware Trojan," IEICE Trans. on Information and Systems, vol.E100-D, no.1, Jan. 2017 Fakir Sharif Hossain, Tomokazu Yoneda, Michiko Inoue "Reliability-Enhanced ECC-Based Memory Architecture Using In-Field Self-Repair," IEICE Trans. on Information and Systems, vol.E99-D, no.10, Oct. 2016 Gian Mayuga, Yuta Yamato, Tomokazu Yoneda, Yasuo Sato, Michiko Inoue "An efficient silent self-stabilizing 1-maximal matching algorithm in anonymous networks," Journal of Graph Algorithms and Applications, vol.20, no.1, pp59-78, Jan. 2016 Yuma Asada, Fukuhito Ooshita, Michiko Inoue [ NAISTレポジトリ ] "A Scan-Based On-Line Aging Monitoring Scheme," Journal of Semiconductor Technology and Science, vol.14, no.1, Oct. 2014 Hyunbean Yi, Tomokazu Yoneda, Michiko Inoue "フィールドテストのための高品質遅延テスト," 日本信頼性学会誌, vol.35, no.8, pp504, 2013.12 井上美智子, 米田友和 [ NAISTレポジトリ ] "Test Pattern Ordering and Selection for High Quality Test Set under Constraints," IEICE Trans. on Information and Systems, vol.E95-D, no.12, Dec. 2012 Michiko Inoue, Akira Taketani, Tomokazu Yoneda, Hideo Fujiwara [ NAISTレポジトリ ] "A Failure Prediction Strategy for Transistor Aging," IEEE Transaction on Very Large Scale Integration (VLSI) Systems, vol.20, no.11, pp1951-1959, Nov. 2012 Hyunbean Yi, Tomokazu Yoneda, Michiko Inoue, Yasuo Sato, Seiji Kajihara, Hideo Fujiwara "Balanced secure scan: partial scan approach for secret information protection," Journal of Electronic Testing: Theory and Applications(JETTA), vol.27, no.2, pp99-108, Apr. 2011 Michiko Inoue, Tomokazu Yoneda, Muneo Hasegawa, Hideo Fujiwara "Reconstitution and characterization of the unconventional slicing of XBP1u mRNA in vitro.," Nucleic Acids Research, vol.39, no.12, pp5245-5254, 11 Mar. 2011 Shinya, S, Kadokura, H, Imagawa, Y, Inoue, M, Yanagitani, K, Kohno, K. [ doi:10.1093/nar/gkr132 ] "Möbius Aromatic [28]Hexaphyrin Phosphonium Adducts," Chem. Eur. J., vol.17, pp9028, 2011 M. Inoue, T. Yoneda, K. Youfu, N. Aratani, A. Osuka ""Design for testability method to avoid error masking of software-based self-test for processors,"," IEICE Transactions on Information and Systems, vol.E91-D, no.3, pp763-770, Mar. 2008 Masato Nakazato, Michiko Inoue, Satoshi Ohtake, Hideo Fujiwara "Instruction-based self-testing of delay faults in pipelined processors," IEEE Trans. on Very Large Scale Integration(VLSI)Systems, vol.14, no.11, pp1203-1215, Nov. 2006 Virendra Singh, Michiko Inoue, Kewal K. Saluja, Hideo Fujiwara "Non-scan design for single-port-change delay fault testability," IPSJ Journal, vol.47, no.6, pp1619-1628, Jun. 2006 Yuki Yoshikawa, Satoshi Ohtake, Michiko Inoue, Hideo Fujiwara "A low power deterministic test using scan chain disable technique," IEICE Transactions on Information and Systems, vol.E89-D, no.6, pp1931-1939, Jun. 2006 Zhiqiang You, Tsuyoshi Iwagaki, Michiko Inoue, Hideo Fujiwara "Power-constrained test synthesis and scheduling algorithms for non-scan BIST-able RTL data paths," IEICE Transactions on Information and Systems, vol.Vol. E88-D, no.No. 8, pp1940-1947, Aug. 2005 Zhiqiang You, Ken-ichi Yamaguchi, Jacob Savir, Michiko Inoue, Hideo Fujiwara "縮退故障とパス遅延故障のためのプロセッサの命令レベル自己テスト法," 電子情報通信学会和文論(DI), vol.Vol. J88-D-I, no.No. 6, pp1003-1011, 2005.6 井上美智子, 神戸和子, Virendra Singh, 藤原秀雄 "Delay fault testing of processor cores in functional mode," IEICE Trans. on Information and Systems, vol.Vol. E88-D, no.No. 3, pp610-618, Mar. 2005 Virendra Singh, Michiko Inoue, Kewal K. Saluja, Hideo Fujiwara "ディペンダブルなVLSIとテスト ," 日本信頼性学会誌「信頼性」, vol.Vol. 26, no.No. 4, pp263-270, 2004.6 井上美智子 "ホールドとスイッチの機能を考慮した内部平衡構造," 電子情報通信学会論文誌 (DI), vol.Vol. J86-D-1, no.No. 9, pp682-690, 2003.9 神野元彰, 井上美智子, 藤原秀雄 "階層BIST：低いハードウェアオーバヘッドを実現するTest-per-clcok方式BIST," 電子情報通信学会論文誌(DI), vol.Vol.J86-D-I, no.No.7, pp467-479, 2003.7 山口賢一, 井上美智子, 藤原秀雄 "Sequential circuits with combinational test generation complexity under single-fault assumption," Journal of Electronic Testing Theory and Applications , vol.18, no.1, pp55-62, Feb. 2002 Michiko Inoue, Emil Gizdarski, Hideo Fujiwara "アドホックネットワークにおけるクラスタ構成法," 電子情報通信学会論文誌（DI), vol.J84-D-I, no.2, pp127-135, 2001.2 谷口　博人, 井上　美智子, 増澤　利光, 藤原　秀雄 "Fault-tolerant and self-stabilizing protocols using an unreliable failure detector," IEICE Transactions on Information and Systems, vol.E83-D, no.10, pp1831-1840, Oct. 2000 Hiroyoshi Matsui, Michiko Inoue, Toshimitsu Masuzawa, Hideo Fujiwara "Wait-free linearizable distributed shared memory," IEICE Transactions on Information and Systems, vol.E83-D, no.8, pp1611-1621, Aug. 2000 Sen Moriya, Katsuro Suda, Michiko Inoue, Toshimitu Masuzawa, Hideo Fujiwara "Fault-tolerance of distributed algorithms: self-stabilization and wait-freedom," IEICE Transactions on Information and Systems, vol.E83-D, no.3560, pp550-560, Mar. 2000 Toshimitsu Masuzawa, Michiko Inoue "Parallel algorithms for the all nearest neighbors of binary image on the BSP model," IEICE Transactions (D), vol.E83-D, no.2, pp151-158, Feb. 2000 Takashi Ishimizu, Akihiro Fujiwara, Michiko Inoue, Toshimitu Masuzawa "共有メモリマルチプロセッサシステムにおける同時時間最適な無待機時計合わせプロトコル," 電子情報通信学会論文誌文誌（DI), vol.J83-D-I, no.1, pp99-109, 2000.1 守屋　宣, 井上　美智子, 増澤　利光, 藤原　秀雄 "Parallel selection algorithms for CGM and BSP models with application to sorting," IPSJ Journal, vol.41, no.5, pp1500-1508, 2000 Akihiro Fujiwara, Michiko Inoue, Toshimitsu Masuzawa "直交順序を保存する方形の非交差配置問題," 電子情報通信学会論文誌（DI), vol.J82-D-I, no.6, pp679-690, 1999.6 林　邦彦, 井上　美智子, 増澤　利光, 藤原　秀雄 "選択問題を解くBSPモデルおよびBSP*モデル上の並列アルゴリズム," 電子情報通信学会論文誌（DI), vol.J82-D-I, no.4, pp533-542, 1999.4 石水　隆, 藤原　暁宏, 井上　美智子, 増澤　利光, 藤原　秀雄 "分散移動システムのための前後関係保存放送プロトコル," 電子情報通信学会論文誌（DI), vol.J82-D-I, no.2, pp425-435, 1999.2 大堀　力, 井上　美智子, 増澤　利光, 藤原　秀雄 "弱可検査性のための設計目標抽出を利用したデータパス高位合成," 電子情報通信学会論文誌（DI), vol.J82-D-I, no.2, pp401-409, 1999.2 東村　剛嗣, 井上　美智子, 藤原　秀雄 "A cost optimal parallel algorithm for weighted distance transforms," Parallel computing, vol.25, no.4, pp405-416, 1999 Akihiro Fujiwara, Michiko Inoue, Toshimitsu Masuzawa, Hideo Fujiwara "High-level synthesis for weakly testable data paths," IEICE Transactions on Information and Systems(Special Section on Test and Diagnosis of VLSI), vol.E81-D, no.7, pp645-653, Jul. 1998 Michiko Inoue, Kenji Noda, Takeshi Higashimura, Toshimitu Masuzawa, Hideo Fujiwara "テスト容易性を考慮したVLSI高位合成：サーベイと今後の動向 ," 日本信頼性学会誌「信頼性」, vol.20, no.5, pp333-340, 1998.6 井上　美智子, 藤原　秀雄 "Efficient linearizable implementation of shared FIFO queues and general objects on a distributed system," IEICE Trans. on Fundamentals (Special Section on Discrete Mathematics and Its Applications), vol.E81-A, no.5, pp768-775, Mar. 1998 Michiko Inoue, Toshimitsu Masuzawa, Nobuki Tokura "An approach to test synthesis from higher level," INTEGRATION the VLSI journal, vol.26, pp101-116, 1998 Michiko Inoue, Hideo Fujiwara ""スルー演算を用いた非スキャン方式によるデータパスのテスト容易化設計、”," 電子情報通信学会論文誌（DI), vol.79-D-I, no.12, pp1063-1071, 1996.12 高畠　勝之, 井上　美智子, 増澤　利光, 藤原　秀雄 "A simple parallel algorithm for the medial axis transform," IEICE Transactions on Information and Systems(Special issue on Architecture, Algorithm and Networks for Massively Parallel Computing) , vol.E79-D, no.8, pp1038-1045, Aug. 1996 Akihiro Fujiwara, Michiko Inoue, Toshimitsu Masuzawa, Hideo Fujiwara "超立方体状ネットワークでの最小重み生成木構成分散問題のメッセージ複雑度について," 電子情報通信学会論文誌（DI), vol.J76-D-I, no.7, pp405-406, 1993.7 井上　美智子, 萩原　兼一, 都倉　信樹 "完全ネットワークでの最小重み生成木構成分散問題のビット複雑度について," 電子情報通信学会論文誌（DI), vol.J76-D-I, no.7, pp329-338, 1993.7 井上　美智子, 萩原　兼一, 都倉　信樹
受賞	"VLD Excellent Student Author Award for ASP-DAC 2023," 社団法人電子情報通信学会, 2023.3.2 長尾　匠真, 中村　友紀, 梶山　賀生, 栄木　誠, 新谷　道広, 井上　美智子 "Best Paper Award," 14th International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), 2022.11.21 廣瀬慈恩, 中村純哉, 大下　福仁, 井上　美智子 "優秀研究賞," 第17回情報科学ワークショップ, 2021.9.13 廣瀬慈恩, 中村純哉, 大下　福仁, 井上　美智子 "優秀研究賞," 第16回情報科学ワークショップ, 2020.9.30 安見嘉人, 大下　福仁, 井上　美智子 "Best Student Paper Award," 21th International Symposium ion Stabilization, Safety, and Security of Distributed Systems, Oct. 2019 Shota Nagahama, Fukuhito Ooshita, Michiko Inoue "IEICE FELLOW," 電子情報通信学会, 2019.3.21 井上　美智子 "優秀研究賞," 第12回情報科学ワークショップ, 2016.9.16 土田将司, 大下　福仁, 井上　美智子 "Dr. Fatema Rashid Best Poster Presentation Award for IEEE WIECON-ECE 2015," 19 Dec. 2015 Fakir Sharif Hossain, Tomokazu Yoneda, Michiko Inoue "研究会優秀若手講演賞," 電子情報通信学会ディペンダブルコンピューティング研究会, 2014.11.28 伊藤　渓太, 米田友和, 大和勇太, 畠山一実, 井上　美智子 "情報・システムソサイエティ活動功労賞," 電子情報通信学会情報・システムソサイエティ, 2014.6 井上美智子 "2006年度IPSJ Digital Courier船井若手奨励賞," Yuki Yoshikawa, Satoshi Ohtake, Michiko Inoue, and Hideo Fujiwara, "Non-scan Design for Single-Port-Change Delay Fault Testability," Information Processing Society of Japan, Vol. 47, No.6, pp.1619-1628, June 2006, Mar. 2007 吉川　祐樹 "2006年度IEEE関西支部学生研究奨励賞," Yuki Yoshikawa, Satoshi Ohtake, Michiko Inoue, and Hideo Fujiwara, "Design for Testability Based on Single-Port-Change Delay Testing for Data Paths," Proceedings of IEEE the 14th Asian Test Symposium 2005(ATS'05), pp.254-259,Dec.2005, Feb. 2007 吉川　祐樹 "1999年並列処理シンポジウムJSPP'99最優秀論文賞," Jun. 1999 藤原暁宏, 井上　美智子, 増澤　利光, 藤原　秀雄
所属学協会	人工知能学会情報処理学会電子情報通信学会 The Institute of Electrical and Electronics Engineers (IEEE) JSPS IEICE IEEE

資料

他の研究者

大下　福仁

職位	客員教授
領域	情報科学領域コンピュータ科学分野
研究室	ディペンダブルシステム学誰もが信頼して利用できるディペンダブルなシステムのために、分散システム・アルゴリズムに関する理論的研究からVLSIのテスト・信頼性・安全性に関する実用的研究まで多角的にディペンダビリティの研究・教育を行う。

新谷　道広

職位	客員准教授
領域	情報科学領域コンピュータ科学分野
研究室	ディペンダブルシステム学誰もが信頼して利用できるディペンダブルなシステムのために、分散システム・アルゴリズムに関する理論的研究からVLSIのテスト・信頼性・安全性に関する実用的研究まで多角的にディペンダビリティの研究・教育を行う。

江口　僚太

職位	助教
領域	情報科学領域コンピュータ科学分野
研究室	ディペンダブルシステム学誰もが信頼して利用できるディペンダブルなシステムのために、分散システム・アルゴリズムに関する理論的研究からVLSIのテスト・信頼性・安全性に関する実用的研究まで多角的にディペンダビリティの研究・教育を行う。

笹田　大翔

職位	助教
領域	情報科学領域コンピュータ科学分野
研究室	ディペンダブルシステム学誰もが信頼して利用できるディペンダブルなシステムのために、分散システム・アルゴリズムに関する理論的研究からVLSIのテスト・信頼性・安全性に関する実用的研究まで多角的にディペンダビリティの研究・教育を行う。