- 2020 - 2023 SAT/SMTソルバを用いたパーフェクトサンプリング手法の開発
- 2017 - 2020 非マルコフモデルに対する位相型近似の適用可能性の拡大
- 2014 - 2017 MRSPN/MRGP解析の自動化に向けたスケーラブルアルゴリズムの開発
- 2011 - 2013 組み込みOSの信頼性評価に関する研究
- 2009 - 2011 準ランダムテスト環境下でのソフトウェア信頼性評価
- 2009 - 2010 統計的トラッフィク解析モデルの開発と情報セキュリティへの応用
- 2007 - 2008 インターネットワームに対する総合的セキュリティモデルの実装
- 2006 - 2008 ソフトウェア・イー・メインテナンスの最適設計・評価に関する研究
- 2006 - 2006 脆弱性データを利用した高精度なインターネットワーム繁殖予測モデルの構築
- 2004 - 2006 高信頼化情報通信システムを実現するためのオンライン予防保守技術の開発と実装
- 2004 - 2005 固定資産宅地評価の統計的解析とその応用に関する研究
- 2003 - 2005 コンピュータウイルス撃退のためのセキュリティモデルの開発と性能評価
- 2003 - 2004 情報通信におけるインテリジェント・ディペンダビリティ・マネジメントモデルの開発
- 2002 - 2003 固定資産宅地評価の数理モデルによる解析とその実用化に関する研究
- 2001 - 2003 情報通信システム高信頼化のための評価技術に関する研究
- 1999 - 2000 コンピュータネットワークにおけるPower Managementモデルの構築
- 1998 - 2000 高信頼性情報通信システムに対する性能評価モデルの開発
全件表示