- 2016 - 現在 小学生段階からのプログラミング教育に関する研究
- 2014 - 現在 組込みソフトウェア開発のための学習教材に関する研究
- 2012 - 現在 高信頼性プログラム開発のためのソースコード静的解析に関する研究
- 2022 - 2025 組込みソフトウェアの高品質化開発手法による超スマート社会の実現
- 2013 - 2014 車載ソフトウェアの品質向上のためのソースコードの見える化の実現
- 2012 - 2013 車載ソフトウェアの品質向上のための自動検査システムの開発
- 2011 - 2012 組込みソフトウェアの品質検査支援システムの開発
- 2011 - 2012 組込みソフトウェアの開発手法に関する研究ー数理モデル解析ー
- 2008 - 2012 ブレーキ制御システムの開発
- 2010 - 2011 組込みソフトウェアの開発手法に関する研究ー検証方法ー
- 2010 - 2011 車載ソフトウェアの自動品質検査システムの開発
- 2009 - 2010 組込みソフトウェアの開発手法に関する研究ー車載ソフトー
- 2008 - 2009 組み込みソフトウェア開発技術者養成
- 2007 - 制御ソフトウェア自動検査に関する研究開発
- 2006 - 2007 組込み機器用OSの設計と実装
- 2005 - 2006 ホームページ改竄検知システム事業化のための研究開発
- 2004 - 2005 ユビキタス認証チップの開発
- 2004 - 2005 iP@TROL システム
- 2003 - 2004 初心者のためのプログラミング学習支援システムの開発
- 2003 - 2004 ディジタル著作物の保護に関する研究
- 2003 - 2004 iP@TROL システム
- 2002 - 2003 ディジタル著作物の保護に関する研究
- 2001 - 2002 ホームページ改ざん者キャプチャー
- 2002 - iP@TROL システム
- 1997 - 1998 線形論理に基づく並列プログラムの形式的設計法と並列計算機によるその実現
- 1996 - 1996 並列プログラムの形式的設計法とその実現
- 1989 - 1990 バッチプロセスにおける運用計画検討のためのシミュリ-ションに関する研究
全件表示