北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

講演発表表示
表示方法:
表示順:

 

 

青木 利晃 (アオキ トシアキ) 教授
融合科学系、情報科学系、セキュリティ・ネットワーク領域

12件中1-12件目

  • 1. 形式手法を産業界で実践するためのアプローチ,青木利晃,組込み総合技術展専門セミナー
  • 2. 聴覚特性を利用した音響電子透かし「大事なデータを音に紛れ込ませることはできるか?」,鵜木祐史,電気関係学会北陸支部連合大会,金沢工業大学,2015/09/12
  • 3. 開発現場における形式手法の実践-商用車載オペレーティングシステムへの適用-,青木利晃,第17回組込みシステム開発技術展
  • 4. 車載ソフトウェアの安全性:現状と課題,青木利晃,第1回 日本情報科教育学会 関東・東北支部大会
  • 5. モデル検査ツールにより獲得された反例に基づく誤り特定手法に関する研究,青木利晃,千葉勇輝,小川直哉,プログラム・デバッグ自動化の現状と今後, ソフトウェアエンジニアリングシンポジウム ワークショップ,2013
  • 6. モデル検査器により出力された反例に基づく誤り特定に関する研究,陳適, 青木利晃,情報処理学会 第177回ソフトウェア工学研究会
  • 7. 形式手法の研究と実践からざっくばらんに…-産業界での可能性や今後の展望-,青木利晃,フォーマルメソッド普及促進セミナー2011 in 札幌,2011/7/22.
  • 8. 形式手法の概要とモデル検査,青木利晃,第13回組込みシステム技術展
  • 9. モデル検査手法の普及活動とその応用,青木利晃,SPI Japan
  • 10. 実用的な形式手法 - モデル検査手法とその応用,青木利晃,東芝ソフトウェアフォーラム/第九回東芝SEPGカンファレンス
  • 11. 形式手法概論,青木利晃,第11回組込みシステム技術展
  • 12. 組込みソフトウェアの形式検証の現状と課題,青木利晃,情報処理学会 デザインガイア