鄭 俊俊JUNJUN ZHENG

Last Updated :2025/08/07

所属・職名
大学院先進理工系科学研究科　准教授
メールアドレス
jzhenghiroshima-u.ac.jp
自己紹介
信頼性工学，ディペンダブルコンピューティング

基本情報

主な職歴

  • 2024年04月01日, 広島大学, 大学院先進理工系科学研究科, 准教授
  • 2024年11月, 2025年03月, 東京都立大学, 非常勤講師
  • 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）
    関連URL
  • 電子情報通信学会（IEICE）
    関連URL
  • 米国電気電子学会（IEEE）
    関連URL
  • 日本オペレーションズ・リサーチ学会（ORSJ）
    関連URL

教育活動

授業担当

  1. 2025年, 教養教育, ４ターム, 基礎線形代数学[1経]
  2. 2025年, 学部専門, セメスター（後期）, プログラミングII（再履修生向け）
  3. 2025年, 学部専門, ４ターム, 情報科学演習IV（計算機科学プログラム）
  4. 2025年, 学部専門, ２ターム, 意思決定
  5. 2025年, 学部専門, ４ターム, 品質管理
  6. 2025年, 学部専門, １ターム, 計算機科学セミナーI
  7. 2025年, 学部専門, ２ターム, 計算機科学セミナーII
  8. 2025年, 学部専門, セメスター（後期）, 卒業論文
  9. 2025年, 修士課程・博士課程前期, １ターム, 情報科学特別演習A
  10. 2025年, 修士課程・博士課程前期, ２ターム, 情報科学特別演習A
  11. 2025年, 修士課程・博士課程前期, ３ターム, 情報科学特別演習B
  12. 2025年, 修士課程・博士課程前期, ４ターム, 情報科学特別演習B
  13. 2025年, 修士課程・博士課程前期, 年度, 情報科学特別研究
  14. 2025年, 博士課程・博士課程後期, 年度, 情報科学特別研究

研究活動

学術論文（★は代表的な論文）

  1. A probabilistic least squares estimation for NHPP-based software reliability mdoels with time-domain data, The 7th World Symposium on Software Engineering (WSSE 2025), accepted, 2025
  2. A note on software reliability modeling based on Hawkes processes with Gamma type based intensity, The 7th World Symposium on Software Engineering (WSSE 2025), accepted, 2025
  3. Self-exciting software reliability models with Pareto base intensity function and their applications, The 25th International Conference on Software Quality, Reliability, and Security (QRS 2025), accepted, 2025
  4. Directional handover analysis with stochastic Petri net and Poisson point process in heterogeneous networks, Mathematics, 13巻, 3号, 202502
    DOIを用いた論文検索結果へのリンク
  5. An alternative boosting-based software reliability prediction method, Proceedings of the 29th Pacific Rim International Symposium on Dependable Computing (PRDC 2024), 202411
  6. 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), pp. 469-474, 202410
  7. Model-based performance evaluation of dispatcher-based server clusters, Proceedings of the 6th International Conference on System Reliability and Safety Engineering (SRSE 2024), pp. 229-235, 202410
  8. Comparison of kernel-based nonparametric and parametric regression approaches for software reliability prediction, Proceedings of the 6th World Symposium on Software Engineering (WSSE 2024), pp. 32-37, 20240914
  9. 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
  10. 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
  11. マルコフ型機会到着過程を用いた年齢取替, オペレーションズ・リサーチ（特集：新世代が切り拓くOR）, 69巻, 3号, pp. 158-165, 202403
  12. ★, On the sensitivity of stationary solutions of Markov regenerative processes, Performance Evaluation, 164巻, pp. 102397-102397, 202401
  13. Hierarchical dependability modeling with multi-state systems, 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC 2023), pp. 268-277, 20231024
  14. 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 2023), pp. 722-729, 20230810
  15. 深層学習のソフトウェア信頼性とサイバーセキュリティへの応用, オペレーションズ・リサーチ（特集：モノづくりDXに貢献するマネジメント技術）, 68巻, 5号, pp. 250-258, 202305
  16. 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
  17. 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
  18. Performance evaluation of a cloud datacenter using CPU utilization data, Mathematics, 11巻, 3号, pp. 513-513, 20230118
  19. 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
  20. 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
  21. 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
  22. Code aggregate graph: Effective representation for graph neural networks to detect vulnerable code, IEEE Access, 10巻, pp. 123786-123800, 202210
  23. ★, Sensitivity analysis for a Markov regenerative software rejuvenation model, Stochastic Models, pp. 1-28, 202209
  24. 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
  25. Software reliability prediction through encoder-decoder recurrent neural networks, International Journal of Mathematical, Engineering and Management Sciences, 7巻, 3号, pp. 325-340, 202205
  26. Variance-based sensitivity analysis for Markov models using moment approximation, International Journal of Performability Engineering, 18巻, 5号, pp. 329-337, 202205
  27. Hierarchical Bayesian parameter estimation of queueing systems using utilization data, International Journal of Performability Engineering, 18巻, 5号, pp. 307-316, 202205
  28. Firewall traversal method by pseudo-TCP encapsulation, IEICE Transactions on Information and Systems, 105巻, 1号, pp. 105-115, 202201
  29. Parameter estimation of Markovian arrivals with utilization data, IEICE Transactions on Communications, E105-B巻, 1号, pp. 1-10, 202201
  30. Windowsにおけるスレッド挿入の起点ファイル情報伝播による長期証拠保全, 情報処理学会論文誌, 62巻, 12号, pp. 1893-1903, 202112
  31. ★, Age replacement with Markovian opportunity process, Reliability Engineering and System Safety, 216巻, pp. 107949, 202112
  32. 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
  33. 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
  34. 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
  35. A note on phase-type expansion for Markov regenerative process, Proceedings of the Reliability and Maintenance Engineering Summit (RMES 2021), pp. 178-185, 202109
  36. Software reliability prediction through encoder-decoder recurrent neural networks, Proceedings of the Reliability and Maintenance Engineering Summit (RMES 2021), pp. 138-145, 202109
  37. Evaluating the sensitivity of optimal age replacement policies, Proceedings of the Reliability and Maintenance Engineering Summit (RMES 2021), pp. 106-113, 202109
  38. パラメータ不確実性を考慮した連続時間マルコフ連鎖モデルによるシステム性能評価, オペレーションズ・リサーチ（特集：第37回待ち行列シンポジウム）, 66巻, 9号, pp. 607-613, 202109
  39. 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
  40. 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
  41. ★, Quantitative security evaluation of intrusion tolerant systems with Markovian arrivals, IEEE Transactions on Reliability, 70巻, 2号, pp. 547-562, 202106
  42. API call-based malware classification using recurrent neural networks, Journal of Cyber Security and Mobility, 10巻, 3号, pp. 617-640, 202105
  43. Availability analysis of software systems with rejuvenation and checkpointing, Mathematics, 9巻, 8号, pp. 846-846, 202104
  44. 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
  45. 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
  46. ★, Availability importance measures of components in smart electric power grid systems, Reliability Engineering and System Safety, 205巻, pp. 107164, 202101
  47. 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
  48. 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
  49. Optimal rejuvenation policies for non-Markovian availability models with aperiodic checkpointing, IEICE Transactions on Information and Systems, E103-D巻, 10号, pp. 2133-2142, 202010
  50. 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
  51. 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
  52. Data-driven software reliability evaluation under incomplete knowledge on fault count distribution, Quality Engineering, 32巻, 3号, pp. 421-433, 202007
  53. A transient interval reliability analysis for software rejuvenation models with phase expansion, Software Quality Journal, 28巻, 1号, pp. 173-194, 202003
  54. 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
  55. 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
  56. Androidにおける端末識別情報送信検出のための動的解析システム, 情報処理学会論文誌, 60巻, 12号, pp. 2259-2268, 201912
  57. 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
  58. 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
  59. 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
  60. 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
  61. 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
  62. ★, Optimal periodic software rejuvenation policies based on interval reliability criteria, Reliability Engineering and System Safety, 180巻, pp. 463-475, 201812
  63. 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
  64. 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
  65. 仮想型耐侵入システムの確率モデルによる性能評価, オペレーションズ・リサーチ（特集：第34回待ち行列シンポジウム）, 63巻, 8号, pp. 452-459, 201808
  66. 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
  67. Component importance analysis of mobile cloud computing system in the presence of common-cause failures, IEEE Access, 6巻, 1号, pp. 18630-18642, 201804
  68. 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
  69. ★, A comprehensive evaluation of software rejuvenation policies for transaction systems with Markovian Arrivals, IEEE Transactions on Reliability, 66巻, 4号, pp. 1157-1177, 201709
  70. 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
  71. 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
  72. 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
  73. 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
  74. 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
  75. Survivability analysis of VM-based intrusion tolerant systems, IEICE Transactions on Information and Systems, E98-D巻, 12号, pp. 2082-2090, 201509
  76. Availability importance measures for virtualized system with live migration, Applied Mathematics, 6巻, 2号, pp. 359-372, 201502
  77. 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
  78. Component importance analysis of virtualized system, Proceedings of the 9th International Conference on Autonomic and Trusted Computing (ATC 2012), pp. 462-469, 201209

著書等出版物

  1. 2025年, Operational Perspective of Modeling System Reliability (Chapter 2: Opportunity-based age replacement models in discrete time and their application), De Gruyter, 単行本（学術書）, 分担執筆, English, Jing Wu; Junjun Zheng; Tadashi Dohi; Cunhua Qian, 9783111475400, 25-46
  2. 2025年01月17日, Reliability Analysis and Maintenance Optimization of Complex Systems, Springer Cham, 単行本（学術書）, 共編者(共編著者), English, Qian Qian Zhao; Il Han Chung; Junjun Zheng; Jongwoon Kim, 978-3-031-70287-7, 375
  3. 2025年01月17日, Reliability Analysis and Maintenance Optimization of Complex Systems (Chapter 8: A fault-tree analysis package in Julia), Springer, Cham, 単行本（学術書）, 分担執筆, English, Hiroyuki Okamura; Junjun Zheng; Tadashi Dohi, 978-3-031-70287-7
  4. 2024年08月16日, Developments in Reliability Engineering (Chapter 14: Availability analysis of non-Markovian models with rejuvenation and checkpointing), Elsevier, 単行本（学術書）, 分担執筆, English, 978-0-443-13242-1
  5. 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
  6. 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
  7. 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
  8. 2022年07月26日, System Dependability and Analytics (Chapter: Effect of epistemic uncertainty in Markovian reliability models), Springer Cham, 単行本（学術書）, 分担執筆, English, 9783031020629
  9. 2018年09月12日, Mathematics Applied in Information Systems (Chapter 1: Software reliability modeling in continuous-state space), Bentham Science Publishers, 単行本（学術書）, 分担執筆, English, 9781681087146
  10. 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. Security evaluation of intrusion tolerant systems with Markovian arrivals, Junjun Zheng, The 9th International Conference on Large-scale Industrial Software, Embedded Software, and Artificial Intelligence, Northwestern Polytechnical University, 2024年10月18日, 招待, 英語, Northwestern Polytechnical University
  2. Model-based approaches for system dependability evaluation, The 8th International Lecture Series of School of Software, Northwestern Polytechnical University, 2023年10月20日, 招待, 英語
  3. ソフトウェア信頼性とセキュリティのための時系列ベース深層学習, 日本OR学会関西支部シンポジウム「テーマ：モノづくりDXに貢献するマネジメント技術」, 2022年12月10日, 招待
  4. Software rejuvenation for transaction systems with Markovian arrival process, University of Massachusetts Dartmouth joint seminar, 2021年07月30日, 招待, 英語
  5. Opportunity-based age replacement models with Markovian arrival process, 日本OR学会「信頼性とその応用」研究部会, 2021年07月21日, 招待, 英語
  6. 機械学習を用いたマルウェア検知における動的解析システムの比較, コンピュータセキュリティシンポジウムデモンストレーション（ポスター）セッション, 2019年10月22日, 通常, 日本語
  7. 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日
  8. On algorithms for high-order derivatives of Markov reward models, The 11th International Conference on Mathematical Methods in Reliability (MMR’19), 2019年06月05日
  9. 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日
  10. Towards more secure systems: A modeling and analysis framework of intrusion-tolerant systems with periodic vulnerability checking strategy, 日本OR学会中国・四国支部2019年度支部定例シンポジウム, 2019年05月18日
  11. 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