その他
115 件
2025
- Message from the AISQ Co-Chairs ISSREW 2025 Proceedings 2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops Issrew 2025, pp. xxx, 2025
- Preface Springer Series in Reliability Engineering, Part F26, pp. v–xxiv, 2025
2024
- Message from the AISQ Co-Chairs Proceedings 2024 IEEE 35th International Symposium on Software Reliability Engineering Workshops Issrew 2024, pp. XXXI, 2024
- Message from the DCCS Workshop Chairs DSN-W 2024 Proceedings 2024 54th Annual IEEE IFIP International Conference on Dependable Systems and Networks Workshops Dsn W 2024, pp. XII, 2024
2023
- Message from the DCCS Workshop Chairs ISSREW 2023 Proceedings 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshop Issrew 2023, pp. XXII, 2023
2022
- Guest editorial: Recent communications in system reliability, quality and supply chain management International Journal of Quality and Reliability Management, 39(3), pp. 673–674, 2022
- Message from the Fast Abstract Co-Chairs: PRDC 2022 Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing Prdc, 2022-November, pp. XIV, 2022
2020
- Message from the Steering Committee Chair, General Chairs, and Program Chairs Proceedings 2020 7th International Conference on Dependable Systems and their Applications Dsa 2020, pp. XV, 2020
2019
- Message from DASC 2019 program chairs and general chairs Proceedings IEEE 17th International Conference on Dependable Autonomic and Secure Computing IEEE 17th International Conference on Pervasive Intelligence and Computing IEEE 5th International Conference on Cloud and Big Data Computing 4th Cyber Science and Technology Congress Dasc Picom Cbdcom Cyberscitech 2019, pp. xxviii–xxix, 2019
- Message from the organizing committee chairs Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing Prdc, 2019-December, pp. x, 2019
2018
- Preface International Journal of Mathematical Engineering and Management Sciences, 3(2), pp. 62–63, 2018
- バグ修正時間を考慮したソフトウェア最適リリース問題についての一考察 ソフトウェアシンポジウム '18 論文集, ソフトウェア技術者協会, 5 pages, 札幌 (June 6--8, 2018
- AI 技術を用いたソフトウェアシステムの信頼性/安全性分析支援 日本信頼性学会誌(学会誌特集:信頼性・安全性とAIの活用), 40(2), pp. 72-80, 2018
- 仮想型耐侵入システムの確率モデルによる性能評価 オペレーションズ・リサーチ (特集:第34回待ち行列シンポジウム), 63(8), pp. 4-11, 2018
2017
- Message from the Program Chairs Proceedings 2017 IEEE International Conference on Software Quality Reliability and Security Companion Qrs C 2017, pp. xvii, 2017
- Message from the WoSAR workshop organizers Proceedings 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops Issrew 2017, pp. xxxiv, 2017
- Message from the program chairs Proceedings 2017 IEEE International Conference on Software Quality Reliability and Security Qrs 2017, pp. xi, 2017
2016
- Editorial Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability, 230(1), pp. 3, 2016
- Message from the WoSAR 2016 Chairs Proceedings 2016 IEEE 27th International Symposium on Software Reliability Engineering Workshops Issrew 2016, pp. xv, 2016
- Preface to the special issue on recent advances in reliability and maintenance Journal of the Operations Research Society of Japan, 59(4), pp. 269, 2016
- Special Section on Computational Reliability in Engineering and Science Journal of Computational Science, 17, pp. 115–116, 2016
- 土肥正“カーネル法に基づいた修理系システムに対するノンパラメトリック推論に関する一考察 ”数理科学講究録 1990 --不確実・不確定性の下での数理意思決定モデルとその周辺, 京都大学数理解析研究所 (November 11--13, pp. 40-47, 2016
- マルコフ再生確率ペトリネットによる信頼性評価事例 日本信頼性学会誌(学会誌特集:情報通信システムにおける信頼性モデル研究の動向), 38(6), pp. 340-349, 2016
2015
- Guest editorial International Journal of Performability Engineering, 11(4), pp. 303–304, 2015
- 報酬構造を考慮したテストケース生成と信頼性評価の効率性 ソフトウェアシンポジウム '15 論文集, ソフトウェア技術者協会, 10 pages, 和歌山 (June 14--17, 2015
- ユーザ視点に基づいたソフトウェアアップデート計画に関する一考察 ソフトウェアシンポジウム '15 論文集, ソフトウェア技術者協会, 6 pages, 和歌山 (June 14--17, 2015
- 土肥正“制約付きノンパラメトリック最尤推定に基づくソフトウェア信頼性評価について ”数理科学講究録 --不確実性の下での数理モデルとその周辺, 京都大学数理解析研究所 (November 12--14, 2015
2014
- Guest editorial: Special issue on autonomic and trusted computing Computing, 96(10), pp. 923–924, 2014
- Introduction to special issue on WoSAR 2011 ACM Journal on Emerging Technologies in Computing Systems, 10(1), pp. 7, 2014
- Preface to the 5th asia-pacific international symposium on advanced reliability and maintenance modeling (APARM 2012) Communications in Statistics Simulation and Computation, 43(8), pp. 1837, 2014
- Quantitative evaluation in reliability and maintenance Quality Technology and Quantitative Management, 11(3), pp. 229–230, 2014
- 運用プロファイルと報酬構造を考慮したテストケース生成法 ソフトウェアシンポジウム '14 論文集, ソフトウェア技術者協会, 10 pages, 秋田 (June 9--11, 2014
- テスト情報分析に基づいた定量的ソフトウェア信頼性評価手法に関する一考察 ソフトウェアシンポジウム '14 論文集, ソフトウェア技術者協会, 9 pages, 秋田 (June 9--11, 2014
- 土肥正“小修理を伴うブロック取替え問題に対するブートストラップ法の適用について ”数理科学講究録 1857 --決定過程に関わる数理モデルの新たな展開と応用, 京都大学数理解析研究所 (February 18--19, pp. 58-68, 2014
- 土肥正“予防保全計画問題に対する不完備情報を考慮したノンパラメトリックブートストラップ法の適用について ”数理科学講究録 1992 --不確実性の下での数理的意思決定の理論と応用, 京都大学数理解析研究所 (November 11--13, pp. 35-43, 2014
- ソフトウェアエージングとは? 日本信頼性学会誌(学会誌特集:ソフトウェアのエージングと若化), 36(1), pp. 2-9, 2014
- ソフトウェア若化モデルとその動向 日本信頼性学会誌(学会誌特集:ソフトウェアのエージングと若化), 36(1), pp. 10-15, 2014
2013
- Foreword: Special issue foreword: Multi-disciplinarily inspired networks and systems Telecommunication Systems, 54(1), pp. 1–2, 2013
- Foreword: Special issue on statistical reliability and maintenance modeling Applied Stochastic Models in Business and Industry, 29(2), pp. 93, 2013
- Message from the workshop general and program chairs WoSAR 2013 2013 IEEE International Symposium on Software Reliability Engineering Workshops Issrew 2013, pp. 6688844, 2013
- Special issue on stochastic reliability and maintenance modeling with real applications Reliability Engineering and System Safety, 116, pp. 84–85, 2013
- テストケース距離空間に基づいたソフトウェア信頼性評価手法に関する考察 ソフトウェアシンポジウム '13 論文集, ソフトウェア技術者協会, 8 pages, 岐阜 (July 7--10, 2013
- プロジェクト類似性に基づいた線形重回帰モデルによるソフトウェア開発労力の予測 ソフトウェアエンジニアリングシンポジウム2013 (SES2013) 論文集, 情報処理学会, 8 pages, 東京 (September 9--10, 2013
- 消費電力制約を伴う実時間組込みシステムの信頼性設計 日本信頼性学会誌(学会誌特集:信頼性モデリングと最適化), 35(1), pp. 24-30, 2013
2012
- Message from ATC-12 organizing committee Proceedings IEEE 9th International Conference on Ubiquitous Intelligence and Computing and IEEE 9th International Conference on Autonomic and Trusted Computing Uic Atc 2012, pp. xxxii–xxxiii, 2012
- Message from the organizing committee chairs Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing Prdc, pp. vii–viii, 2012
- Special section on Software Reliability Engineering IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences, E95-A(9), pp. 1449–1450, 2012
- Special section on software reliability engineering IEICE Transactions on Information and Systems, E95-D(9), pp. 2167–2168, 2012
- マルコフポアソン回帰モデルに基づいたソフトウェア信頼性評価 ソフトウェアシンポジウム '12 論文集, ソフトウェア技術者協会, 6 pages, 福井 (June 12--14, 2012
- 土肥正“Applying Daubechies wavelets to software failure rate estimation ”数理科学講究録 --不確実・不確定環境下における数値的意思決定とその周辺 1802, 京都大学数理解析研究所, pp. 133-138, 2012
- 土肥正“ソフトウェアリリースゲームにおける最適混合戦略について ”数理科学講究録 1802 --不確実・不確定環境下における数理的意思決定とその周辺, 京都大学数理解析研究所 (November 7--9, pp. 139-145, 2012
2011
- Message from the general chair Proceedings International Symposium on Software Reliability Engineering ISSRE, pp. 8, 2011
- マルコフ連鎖モンテカルロ法を用いた稀少事象の評価に関する一考察 数理解析研究所講究録 1734 - 不確実性下における意思決定問題, pp. 251-257, 2011
- ソフトウェアメトリクスに基づいた混合ポアソン信頼性モデルに関する考察 ソフトウェアシンポジウム '11 論文集, ソフトウェア技術者協会, 6 pages, 長崎 (June 8--10, 2011
- ソフトウェア信頼性評価尺度の推定精度向上に関するリサンプリング手法の提案 ソフトウェアシンポジウム '11 論文集, ソフトウェア技術者協会, 10 pages, 長崎 (June 8--10, 2011
2010
- Communications in Statistics - Theory and Methods: Preface Communications in Statistics Theory and Methods, 39(13), pp. 2311, 2010
- Editorial Asia Pacific Journal of Operational Research, 27(2), pp. v–vii, 2010
- Preface of MENS'10: The 2nd International Symposium on Multidisciplinary Emerging Networks and Systems Proceedings Symposia and Workshops on Ubiquitous Autonomic and Trusted Computing in Conjunction with the Uic 2010 and Atc 2010 Conferences Uic Atc 2010, pp. xxxv–xxxvi, 2010
- HMM の学習アルゴリズムの並列化に関する一考察 数理解析研究所講究録 1682 - 不確実・不確定性下での意志決定過程, pp. 193-200, 2010
- マルコフ連鎖モンテカルロ法によるソフトウェアテストケースの設計 ソフトウェアテストシンポジウム 2010 東京 (JaSST'10) 論文集, 10 pages, 東京 (Januarry 28--29, 2010
- 土肥正“マルチスケール解析によるソフトウェア強度関数推定法の信頼性評価への応用 ”数理科学講究録 --不確実性下における意思決定問題 1734, 京都大学数理解析研究所, pp. 258-265, 2010
- ソフトウェア信頼性評価におけるソフトウェアメトリクスの利用 日本信頼性学会誌(学会誌特集:最近の信頼性・安全性の理論と応用), 32(1), pp. 18-25, 2010
2009
- Preface Recent Advances in Stochastic Operations Research II, pp. v–vi, 2009
- 位相型近似による Markov Regenerative Stochastic Petri Net の解析 数理解析研究所講究録 1636 - 不確実性と意思決定の数理, pp. 229-236, 2009
- 再始動アルゴリズム:最適性と統計的推定 先進的計算基盤システムシンポジウム (SACSIS 2009) 論文集, pp. 399-406, 2009
- 土肥正“TIPSH アルゴリズムに基づいたウェーブレット縮小推定によるソフトウェア信頼度推定 ”数理科学講究録 --不確実・不確定性下での意思決定過程 1682, 京都大学数理解析研究所, pp. 201-208, 2009
2008
- An EM algorithm for a superposition of Markovian arrival processes 数理解析研究所講究録 1589 - 不確実な状況における意思決定の理論と応用, pp. 229-240, 2008
- 逆ガウス過程に基づいたソフトウェア信頼性モデリング ”数理科学講究録 --不確実性と意思決定の数理 1635, 京都大学数理解析研究所, pp. 259-266, 2008
- 耐侵入システムの設計と評価~確率モデルを中心に~ 日本信頼性学会誌(学会誌特集:「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」信頼性ハンドブック出版から10年を経てー), 30(3), pp. 223-234, 2008
2007
- Guest Editorial Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability, 221(4), pp. 1, 2007
- Preface Recent Advances in Stochastic Operations Research, pp. v–vi, 2007
- 適応的核密推定による最適ソフトウェア若化スケジューリング ”数理科学講究録 1559 --最適化問題における確率モデルの展開と応用, 京都大学数理解析研究所, pp. 1-14, 2007
- 統計的不正アクセス検知モデルの改良 ”数理科学講究録 1548 --不確実性を含む意思決定の数理とその応用, 京都大学数理解析研究所, pp. 154-161, 2007
- 重畳マルコフ到着課程に対する EM アルゴリズム ”数理科学講究録 1589 --不確実な状況における意思決定の理論と応用, 京都大学数理解析研究所, pp. 229-240, 2007
- セミマルコフ過程に基づいた耐侵入データベースシステムの解析 ”数理科学講究録 1589 --不確実な状況における意思決定の理論と応用, 京都大学数理解析研究所, pp. 241-250, 2007
- 位相型確率分布の標準化とパラメータ推定の実際 オペレーションズ・リサーチ (特集:信頼性--温故知新--), 52(7), pp. 383-389, 2007
2006
- Computers and Mathematics with Applicatons: Preface Computers and Mathematics with Applications, 51(2), 2006
- Mathematical finance and risk assessment European Journal of Operational Research, 168(2 SPEC. ISS.), pp. 279–280, 2006
- Estimating age replacement policies with a censored small sample data ”数理科学講究録 1477 --不確実性下での意思決定と数理モデル, 京都大学数理解析研究所, pp. 208-216, 2006
- 少数サンプルに対する最適ソフトウェア若化スケジュールの推定 ”数理科学講究録 1504 --情報決定過程論の展開, 京都大学数理解析研究所, pp. 42-51, 2006
- 逐次点検問題とその周辺 オペレーションズ・リサーチ (OR研究の最前線), 51(5), pp. 291-297, 2006
- アーキテクチャに基づいたソフトウェア信頼性モデルの動向 日本信頼性学会誌(論文誌特集:情報システムの信頼性・保全性), 28(8), pp. 537-545, 2006
2005
- IEICE/IEEE joint special section on autonomous decentralized systems IEICE Transactions on Communications, E88-B(12), pp. 4417, 2005
- 分散システムにおける最適レジュビネーション方策 数理解析研究所講究録 1457 - 不確実性科学と意思決定の数理と応用, pp. 208-215, 2005
- 強化学習に基づいた分散チェックポイントの動的生成 数理解析研究所講究録 1409 - 決定理論と最適化アルゴリズム, pp. 10-20, 2005
- Discrete optimal testing/maintenance policy in a software development project ”数理科学講究録 1409 --決定理論と最適化アルゴリズム, 京都大学数理解析研究所, pp. 1-9, 2005
- Optimal planning for failure-prone manufacturing system: s discrete nonlinear optimization approach 数理科学講究録 1409 --決定理論と最適化アルゴリズム, 京都大学数理解析研究所, pp. 115-124, 2005
- Behavioral analysis of a fault-torellant software system with rejuvenation ”数理科学講究録 --不確実性科学と意思決定の数理と応用, 京都大学数理解析研究所, pp. 200-207, 2005
- エラー保全時間を考慮した最適ソフトウェア・リリース政策に関する一考察 ”経済科学研究, 広島修道大学経済科学会, 9(1), pp. 45-53, 2005
- ソフトウェア信頼性評価における統計手法の動向 日本信頼性学会誌(学会誌特集:ソフトウェア信頼性工学の新展開), 27(7), pp. 449-460, 2005
2004
- マルコフ決定過程による Web ページランキングアルゴリズムの提案 数理解析研究所講究録 1383 - 不確実で動的なシステムへの最適化理論とその展開, pp. 81-86, 2004
2003
- Estimating periodic software rejuvenation schedules under cost effectiveness criterion ”数理科学講究録 1306--不確実性の下での意思決定の数理, 京都大学数理解析研究所, pp. 152-161, 2003
2002
- Comparison of estimation algorithms for NHPP-based software reliability models 数理解析研究所講究録 1297 - 最適化の数理とアルゴリズム, pp. 179-185, 2002
- An iterative estimation procedure for mixed Poisson processes via EM algorithm and its application to queueing systems 数理解析研究所講究録 1263 - 動的システム最適化理論の展開とその応用, pp. 30-34, 2002
- Phase-type software reliability models 数理解析研究所講究録 1252 - あいまいさと不確実性を含む状況の数理的意志決定, pp. 96-102, 2002
- Estimation in a mixed proportional hazard model ”数理科学講究録 1297--最適化の数理とアルゴリズム, 京都大学数理解析研究所, pp. 169-178, 2002
2001
- A unified approximation of the optimal shutdown schedule based on the regulated Brownian motion process 数理解析研究所講究録 1194 - 不確実性の下での数理モデルの構築と最適化, pp. 233-240, 2001
- Refined non-homogeneous Markovian models for a single server software system with rejuvenation アシュアランスシステムシンポジウム論文集, pp. 145-151, 2001
2000
- The discrete-time opportunistic replacement models with application to scheduled maintenance for electric switching device ”数理科学講究録 1132--不確実, 不確定性の下での数理的決定理論, 京都大学数理解析研究所, pp. 116-124, 2000
- Computational aspect of the power-effective auto sleep scheduling for a buffer system ”数理科学講究録 1132--不確実, 不確定性の下での数理的決定理論, 京都大学数理解析研究所, pp. 125-133, 2000
1999
- The optimal auto sleep scheduling for a computer system with batch arrival of transactions 数理解析研究所講究録 1114 - 最適化のための連続と離散数理, pp. 46-57, 1999
- The optimal software release games revised ”数理科学講究録 1079--数理モデルにおける決定理論, 京都大学数理解析研究所, pp. 31-40, 1999
- ニューラルネットワークを適用したソフトウェア信頼性評価手法 オペレーションズ・リサーチ (特集:ソフトウェア信頼性評価法の新潮流), 44(8), pp. 410-414, 1999
1998
- Revised optimal checkpointing strategyies in database availability modeling and their comparison ”数理科学講究録 1043--決定理論とその関連分野, 京都大学数理解析研究所, pp. 59-66, 1998
- Determination of optimal repair-cost limit replacement strategy by Lorenz transform method”数理科学講究録 1068--数理最適化の理論と応用 京都大学数理解析研究所, pp. 67-74, 1998
1997
- 予測平方和を用いた改良型GMDH ネットワークによるソフトウェア故障データの解析 ソフトウェアシンポジウム '97 論文集, ソフトウェア技術者協会, pp. 205-211, 1997
- 年齢に依存した費用構造をもつ製品保証の数理モデル ”数理科学講究録 978--不確実性を含むシステムにおける最適化手法, 京都大学数理解析研究所, pp. 41-52, 1997
- 安全第一基準に基づくポートフォリオ選択問題の理論的・実証的研究 ”郵便資金研究, 財団法人郵貯資金研究協会, pp. 25-65, 1997
1996
- 信頼度成長モデルに基づくソフトウェアリリース問題の最適性について ソフトウェアシンポジウム '96 論文集, ソフトウェア技術者協会, pp. 25-32, 1996
- Goal seeking behaviour in continuous dynamic trading ”数理科学講究録 947--数理モデルにおける最適化理論, 京都大学数理解析研究所, pp. 79-87, 1996
- 確率的保全問題に対する統計的手法について 日本信頼性学会誌 (信頼性教室), 18(1), pp. 35-42, 1996
1995
- 修理限界取替え方策に対する幾何学的解法 ”数理科学講究録 899--数理システムにおける最適化理論とその応用, 京都大学数理解析研究所, pp. 80-88, 1995
1994
- 費用制約を伴う修理限界取換え政策に関する一考察 ”修道商学, 広島修道大学商経学会, 34(2), pp. 1-12, 1994
1993
- 購入価格の期間割引を考慮した最適在庫政策に関する一考察 ”修道商学, 広島修道大学商経学会, 33(2), pp. 173-182, 1993
1992
- ポートフォリオ選択と最適停止問題 ”数理科学講究録 798--数理計画モデルにおける最適化理論, 京都大学数理解析研究所, pp. 78-88, 1992