鄭 俊俊JUNJUN ZHENG

Last Updated :2025/03/04

所属・職名
広島大学 准教授
メールアドレス
jzhenghiroshima-u.ac.jp
自己紹介
信頼性工学,ディペンダブルコンピューティング

基本情報

主な職歴

  • 2024年04月01日, 広島大学, 大学院先進理工系科学研究科, 准教授
  • 2022年08月, 2024年03月, 大阪大学, 大学院情報科学研究科, 特任助教(常勤)
  • 2023年11月, 2024年02月, 東京都立大学, 非常勤講師
  • 2023年06月, 2023年09月, 東京都立大学, 非常勤講師
  • 2023年01月, 2023年03月, 東京都立大学, 非常勤講師
  • 2022年09月, 2023年03月, 立命館大学, 授業担当講師
  • 2018年04月, 2022年07月, 立命館大学, 情報理工学部, 助教
  • 2016年04月, 2018年03月, 広島大学, 大学院工学研究科, 外国人客員研究員

学歴

  • 広島大学, 大学院工学研究科, 博士課程後期情報工学専攻, 日本, 2013年04月, 2016年03月
  • 広島大学, 大学院工学研究科, 博士課程前期情報工学専攻, 日本, 2011年04月, 2013年03月
  • 福建師範大学, ソフトウェア学部, ソフトウェア工学科, 中国, 2006年09月, 2010年07月

学位

  • 博士(工学) (広島大学)
  • 修士(工学) (広島大学)

研究分野

  • 情報学 / 情報学基礎 / 数理情報学

研究キーワード

  • ソフトウェア信頼性
  • ディペンダブルコンピューティング
  • 数値解析
  • オペレーションズリサーチ
  • コンピュータセキュリティ

所属学会

  • 日本信頼性学会(REAJ)
  • 電子情報通信学会(IEICE)
  • 米国電気電子学会(IEEE)
  • 日本オペレーションズ・リサーチ学会(ORSJ)

教育活動

授業担当

  1. 2024年, 教養教育, 4ターム, 基礎線形代数学[1経]
  2. 2024年, 学部専門, セメスター(前期), プログラミングI
  3. 2024年, 学部専門, 1ターム, インフォマティクスセミナーI
  4. 2024年, 学部専門, 2ターム, インフォマティクスセミナーII
  5. 2024年, 学部専門, セメスター(後期), 卒業論文
  6. 2024年, 修士課程・博士課程前期, 1ターム, 情報科学特別演習A
  7. 2024年, 修士課程・博士課程前期, 2ターム, 情報科学特別演習A
  8. 2024年, 修士課程・博士課程前期, 3ターム, 情報科学特別演習B
  9. 2024年, 修士課程・博士課程前期, 4ターム, 情報科学特別演習B
  10. 2024年, 修士課程・博士課程前期, 年度, 情報科学特別研究
  11. 2024年, 修士課程・博士課程前期, 年度, 情報科学特別研究

研究活動

学術論文(★は代表的な論文)

  1. Evaluating the A3RSRP handover to determine optimal performance in HetNet using stochastic Petri net, Proceedings of the 6th International Conference on System Reliability and Safety Engineering (SRSE 2024), 202410
  2. Model-based performance evaluation of dispatcher-based server clusters, Proceedings of the 6th International Conference on System Reliability and Safety Engineering (SRSE 2024), 202410
  3. Comparison of kernel-based nonparametric and parametric regression approaches for software reliability prediction, Proceedings of the 6th World Symposium on Software Engineering (WSSE 2024), 20240914
  4. A note on minimal repair with Markovian opportunity process, Proceedings of the 11th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2024), 20240827
  5. Estimating metrics-based software reliability models with elastic net, Proceedings of the 11th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2024), 20240830
  6. マルコフ型機会到着過程を用いた年齢取替, オペレーションズ・リサーチ(特集:新世代が切り拓くOR), 69巻, 3号, pp. 158-165, 202403
  7. ★, On the sensitivity of stationary solutions of Markov regenerative processes, Performance Evaluation, 164巻, pp. 102397-102397, 202401
  8. Hierarchical dependability modeling with multi-state systems, 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 268-277, 20231024
  9. Senti-EGCN: An Aspect-Based Sentiment Analysis System Using Edge-Enhanced Graph Convolutional Networks, 2023 10th International Conference on Dependable Systems and Their Applications (DSA), pp. 722-729, 20230810
  10. 深層学習のソフトウェア信頼性とサイバーセキュリティへの応用, オペレーションズ・リサーチ(特集:モノづくりDXに貢献するマネジメント技術), 68巻, 5号, pp. 250-258, 202305
  11. Optimal block replacement policies under replacement first and last disciplines, Proceedings of the 1st International Online Conference on Mathematics and Applications, pp. 1-6, 202304
  12. Meta-heuristic algorithm for constructing higher-index covering arrays for combinatorial interaction testing, The 12th International Workshop on Combinatorial Testing (IWCT 2023), pp. 190-196, 202304
  13. Performance evaluation of a cloud datacenter using CPU utilization data, Mathematics, 11巻, 3号, pp. 513-513, 20230118
  14. An efficient transformer encoder-based classification of malware using API calls, Proceedings of the 24th IEEE International Conference on High Performance Computing & Communications (HPCC 2022), pp. 839-846, 202212
  15. A note on epistemic uncertainty propagation in generalized stochastic Petri nets, Proceedings of the 10th Asia-Pacific International Symposium on Advanced Reliability and Maintenance (APARM 2022), 202210
  16. On the interval reliability of intrusion tolerant systems using semi-Markov models, Proceedings of the 10th Asia-Pacific International Symposium on Advanced Reliability and Maintenance (APARM 2022), 202210
  17. Code aggregate graph: Effective representation for graph neural networks to detect vulnerable code, IEEE Access, 10巻, pp. 123786-123800, 202210
  18. ★, Sensitivity analysis for a Markov regenerative software rejuvenation model, Stochastic Models, pp. 1-28, 202209
  19. A note on epistemic uncertainty propagation for software reliability metrics, Proceedings of the 27th ISSAT International Conference on Reliability & Quality in Design (ISSAT RQD 2022), 202208
  20. Software reliability prediction through encoder-decoder recurrent neural networks, International Journal of Mathematical, Engineering and Management Sciences, 7巻, 3号, pp. 325-340, 202205
  21. Variance-based sensitivity analysis for Markov models using moment approximation, International Journal of Performability Engineering, 18巻, 5号, pp. 329-337, 202205
  22. Hierarchical Bayesian parameter estimation of queueing systems using utilization data, International Journal of Performability Engineering, 18巻, 5号, pp. 307-316, 202205
  23. Firewall traversal method by pseudo-TCP encapsulation, IEICE Transactions on Information and Systems, 105巻, 1号, pp. 105-115, 202201
  24. Parameter estimation of Markovian arrivals with utilization data, IEICE Transactions on Communications, E105-B巻, 1号, pp. 1-10, 202201
  25. Windowsにおけるスレッド挿入の起点ファイル情報伝播による長期証拠保全, 情報処理学会論文誌, 62巻, 12号, pp. 1893-1903, 202112
  26. ★, Age replacement with Markovian opportunity process, Reliability Engineering and System Safety, 216巻, pp. 107949, 202112
  27. Performance comparison of training datasets for system call-based malware detection with thread information, IEICE Transactions on Information and Systems, E104-D巻, 12号, pp. 2173-2183, 202112
  28. Uncertainty analysis of virtualized systems with live migration, Proceedings of the 12th International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (QR2MSE 2022), pp. 1321-1325, 202207
  29. Sensitivity analysis of software rejuvenation model with Markov regenerative process, Proceedings of the 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW 2021), pp. 9-16, 202110
  30. A note on phase-type expansion for Markov regenerative process, Proceedings of the Reliability and Maintenance Engineering Summit (RMES 2021), pp. 178-185, 202109
  31. Software reliability prediction through encoder-decoder recurrent neural networks, Proceedings of the Reliability and Maintenance Engineering Summit (RMES 2021), pp. 138-145, 202109
  32. Evaluating the sensitivity of optimal age replacement policies, Proceedings of the Reliability and Maintenance Engineering Summit (RMES 2021), pp. 106-113, 202109
  33. パラメータ不確実性を考慮した連続時間マルコフ連鎖モデルによるシステム性能評価, オペレーションズ・リサーチ(特集:第37回待ち行列シンポジウム), 66巻, 9号, pp. 607-613, 202109
  34. Performance evaluation of heterogeneous cellular networks using stochastic Petri nets, Proceedings of the 29th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2021), pp. 1-6, 202109
  35. Uncertainty propagation in importance analysis of fault trees, Proceedings of the 26th ISSAT International Conference on Reliability and Quality in Design (ISSAT RQD 2021), pp. 5 pages, 202108
  36. ★, Quantitative security evaluation of intrusion tolerant systems with Markovian arrivals, IEEE Transactions on Reliability, 70巻, 2号, pp. 547-562, 202106
  37. API call-based malware classification using recurrent neural networks, Journal of Cyber Security and Mobility, 10巻, 3号, pp. 617-640, 202105
  38. Availability analysis of software systems with rejuvenation and checkpointing, Mathematics, 9巻, 8号, pp. 846-846, 202104
  39. An efficient algorithm for computation of information matrix in phase-type fitting, International Journal for Computational Methods in Engineering Science and Mechanics, 22巻, 3号, pp. 193-199, 202104
  40. A note on the time to failure of a two-unit parallel redundant system with deterioration on a Lattice, International Journal of Mathematical, Engineering and Management Sciences, 6巻, 1号, pp. 3-14, 202102
  41. ★, Availability importance measures of components in smart electric power grid systems, Reliability Engineering and System Safety, 205巻, pp. 107164, 202101
  42. API call-based malware classification using recurrent neural networks, Proceedings of the 4th International Conference on Mathematical Techniques in Engineering Applications (ICMTEA 2020), pp. 10 pages, 202012
  43. How robust is the optimal software rejuvenation timing?, Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW 2020), pp. 336-341, 202010
  44. Optimal rejuvenation policies for non-Markovian availability models with aperiodic checkpointing, IEICE Transactions on Information and Systems, E103-D巻, 10号, pp. 2133-2142, 202010
  45. A note on uncertainty propagation for availability model of mobile cloud computing systems, Proceedings of the 2020 Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2020), pp. 1-8, 202008
  46. Formulation of opportunity-based age replacement models with Markovian arrival process, Proceedings of the 2020 Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2020), pp. 1-5, 202008
  47. Data-driven software reliability evaluation under incomplete knowledge on fault count distribution, Quality Engineering, 32巻, 3号, pp. 421-433, 202007
  48. A transient interval reliability analysis for software rejuvenation models with phase expansion, Software Quality Journal, 28巻, 1号, pp. 173-194, 202003
  49. A phase expansion for non-Markovian availability models with time-based aperiodic rejuvenation and checkpointing, Communications in Statistics - Theory and Methods, 49巻, 15号, pp. 3712-3729, 202001
  50. Moment-based approximation for uncertainty propagation in fault trees, Proceedings of the 24th Pacific Rim International Symposium on Dependable Computing (PRDC 2019), pp. 120-121, 201912
  51. Androidにおける端末識別情報送信検出のための動的解析システム, 情報処理学会論文誌, 60巻, 12号, pp. 2259-2268, 201912
  52. A framework for localizing aging-related bugs in a random and dynamic way, Proceedings of the 2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech 2019, pp. 693-698, 201908
  53. A note on survivability model for security of an intrusion-tolerant system with non-identical virtual machines, Proceedings of the 11th International Conference on Mathematical Methods in Reliability (MMR 2019), pp. 6 pages, 201906
  54. Implementation of virtual machine monitor-based stack trace mechanism on Windows 10 x64, Proceedings of the International MultiConference of Engineers and Computer Scientists 2019 (IMECS 2019), pp. 100-105, 201903
  55. Firewall Traversal Method by Inserting Pseudo TCP Header into QUIC, Proceedings of the International MultiConference of Engineers and Computer Scientists 2019 (IMECS 2019), pp. 216-221, 201903
  56. Security evaluation of a VM-based intrusion-tolerant system with pull-type patch management, Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), pp. 156-163, 201901
  57. ★, Optimal periodic software rejuvenation policies based on interval reliability criteria, Reliability Engineering and System Safety, 180巻, pp. 463-475, 201812
  58. A note on availability importance measures of components in smart grid, Proceedings of 2018 Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling & 2018 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (APARM 2018 & QR2MSE 2018), I巻, pp. 75-79, 201808
  59. Optimal security patch application timing for an intrusion tolerant system, Proceedings of 2018 Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling & 2018 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (APARM 2018 & QR2MSE 2018), II巻, pp. 855-859, 201808
  60. 仮想型耐侵入システムの確率モデルによる性能評価, オペレーションズ・リサーチ(特集:第34回待ち行列シンポジウム), 63巻, 8号, pp. 452-459, 201808
  61. A pull-type security patch management of an intrusion tolerant system under a periodic vulnerability checking strategy, Proceedings of the 42nd IEEE Annual International Computer Software and Applications Conference (COMPSAC 2018), pp. 630-635, 201807
  62. Component importance analysis of mobile cloud computing system in the presence of common-cause failures, IEEE Access, 6巻, 1号, pp. 18630-18642, 201804
  63. Reliability importance of components in a real-time computing system with standby redundancy schemes, International Journal of Mathematical, Engineering and Management Sciences, 3巻, 2号, pp. 64-89, 201801
  64. ★, A comprehensive evaluation of software rejuvenation policies for transaction systems with Markovian Arrivals, IEEE Transactions on Reliability, 66巻, 4号, pp. 1157-1177, 201709
  65. A statistical framework on software aging modeling with continuous-time hidden Markov model, Proceedings of the 36th International Symposium on Reliable Distributed Systems (SRDS 2017), pp. 114-123, 201709
  66. Performance evaluation of VM-based intrusion tolerant systems with Poisson arrivals, Proceedings of the 4th International Symposium on Computing and Networking (CANDAR 2016), pp. 181-187, 201611
  67. Markov-based component importance analysis of real-time computing systems in a warm standby configuration, Proceedings of the 7th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2016), pp. 613-620, 201608
  68. Mean time to security failure of VM-based intrusion tolerant systems, Proceedings of the 36th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW 2016), pp. 128-133, 201606
  69. Component importance measures for real-time computing systems in the presence of common-cause failures, Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), pp. 301-310, 201511
  70. Survivability analysis of VM-based intrusion tolerant systems, IEICE Transactions on Information and Systems, E98-D巻, 12号, pp. 2082-2090, 201509
  71. Availability importance measures for virtualized system with live migration, Applied Mathematics, 6巻, 2号, pp. 359-372, 201502
  72. Sensitivity analysis of reliability function for virtualized system, Proceedings of the 8th International Conference on Mathematical Methods in Reliability, - Theory, Methods and Applications - (MMR 2013), pp. 229-232, 201307
  73. Component importance analysis of virtualized system, Proceedings of the 9th International Conference on Autonomic and Trusted Computing (ATC 2012), pp. 462-469, 201209

著書等出版物

  1. 2024年, Developments in Reliability Engineering (Chapter 14: Availability analysis of non-Markovian models with rejuvenation and checkpointing), Elsevier, 単行本(学術書), 分担執筆, English, 978-0-443-13242-1
  2. 2023年06月29日, Advances in Reliability and Maintainability Methods and Engineering Applications (Chapter 5: Sensitivity estimation of Markov reward models and its applications to component importance analysis), Springer Nature, 単行本(学術書), 分担執筆, English, 9783031288586
  3. 2023年04月27日, Reliability and Maintenance Modeling with Optimization: Advances and Applications (Chapter 13: Phase-type expansion of Markov regenerative processes and its application to reliability problems), CRC Press, 単行本(学術書), 分担執筆, English, 9780367558055
  4. 2023年04月05日, Maintenance Management – Current Challenges, New Developments, and Future Directions (Chapter 5: Pull-type security patch management in intrusion tolerant systems: modeling and analysis), IntechOpen, 単行本(学術書), 分担執筆, English, 9781803564807
  5. 2022年07月26日, System Dependability and Analytics (Chapter: Effect of epistemic uncertainty in Markovian reliability models), Springer Cham, 単行本(学術書), 分担執筆, English, 9783031020629
  6. 2018年09月12日, Mathematics Applied in Information Systems (Chapter 1: Software reliability modeling in continuous-state space), Bentham Science Publishers, 単行本(学術書), 分担執筆, English, 9781681087146
  7. 2018年07月23日, Modeling and Simulation Based Analysis in Reliability Engineering (Chapter 3: Optimal periodic software rejuvenation policies in discrete time - survey and applications -), CRC Press, 単行本(学術書), 分担執筆, English, 9780203703717

招待講演、口頭・ポスター発表等

  1. Model-based approaches for system dependability evaluation, The 8th International Lecture Series of School of Software, Northwestern Polytechnical University, 2023年10月20日, 招待, 英語
  2. ソフトウェア信頼性とセキュリティのための時系列ベース深層学習, 日本OR学会関西支部シンポジウム「テーマ:モノづくりDXに貢献するマネジメント技術」, 2022年12月10日, 招待
  3. Software rejuvenation for transaction systems with Markovian arrival process, University of Massachusetts Dartmouth joint seminar, 2021年07月30日, 招待, 英語
  4. Opportunity-based age replacement models with Markovian arrival process, 日本OR学会「信頼性とその応用」研究部会, 2021年07月21日, 招待, 英語
  5. 機械学習を用いたマルウェア検知における動的解析システムの比較, コンピュータセキュリティシンポジウムデモンストレーション(ポスター)セッション, 2019年10月22日, 通常, 日本語
  6. Understanding malware’s actual behaviors from dynamic system call tracer’s log, The 14th International Workshop on Security (IWSEC’19) Poster Session, 2019年08月28日
  7. On algorithms for high-order derivatives of Markov reward models, The 11th International Conference on Mathematical Methods in Reliability (MMR’19), 2019年06月05日
  8. A note on phase expansion approach for availability analysis of database systems, The 3rd International Symposium on Stochastic Models in Reliability Engineering, Life Sciences and Operations Management (SMRLO’19), 2019年05月30日
  9. Towards more secure systems: A modeling and analysis framework of intrusion-tolerant systems with periodic vulnerability checking strategy, 日本OR学会中国・四国支部2019年度支部定例シンポジウム, 2019年05月18日
  10. A comprehensive evaluation of software rejuvenation policies for transaction systems with Markovian arrivals, 2017年度 IEEE Reliability Society Japan Joint Chapter Chapter Awards 受賞記念講演会, 2018年06月16日

受賞

  1. 2023年09月, 研究賞奨励賞, 日本オペレーションズ・リサーチ学会
  2. 2021年, CSEC優秀研究賞, 情報処理学会
  3. 2020年, CSEC優秀研究賞, 情報処理学会
  4. 2019年09月, FIT奨励賞, 情報処理学会
  5. 2019年09月, FIT奨励賞, 情報処理学会
  6. 2019年03月, Best Student Paper Award of The 2019 IAENG International Conference on Computer Science, International Association of Engineers
  7. 2019年03月, Best Student Paper Award of The 2019 IAENG International Conference on Communication Systems and Applications, International Association of Engineers
  8. 2018年06月, IEEE Reliability Society Japan Joint Chapter 論文賞, IEEE Reliability Society Japan Joint Chapter