トップページ  >  教員個別情報  >  講演・口頭発表
青木 利晃 (AOKI, Toshiaki)教授
融合科学系, 情報科学系,セキュリティ・ネットワーク領域

講演・口頭発表

15件
車載システム開発における形式手法実践の現状と課題
青木利晃
2018/12/13
「IoT,AI,ビッグデータと安全工学」形式手法と安全性
青木利晃
安全工学研究発表会講演予稿集, 2018/11/27
複合的因果関係分析手法を用いた遠隔診療の定量的安全性評価
藤田健治, 青木利晃, 平石邦彦
電子情報通信学会技術研究報告, 2017/11/09
Java Pathfinderにおける弱公平性条件の実装
太田十字光, 田辺良則, 田辺良則, 青木利晃
日本ソフトウェア科学会大会講演論文集(CD-ROM), 2016
遠隔診療におけるリスクアセスメント手法の提案
藤田健治, 青木利晃
情報処理学会研究報告(Web), 2015/08/21
再利用のためのRTLからの関数コード生成手法
立岡真人, 青木利晃, 金子峰雄
電子情報通信学会技術研究報告, 2014/02/24
モデル検査ツールにより出力された反例に基づく誤り特定に関する研究
CHEN Shi, 青木利晃
情報処理学会研究報告(CD-ROM), 2012/08/15
Alloyを用いた構成変更支援ツールと適用実験
谷崎裕明, 青木利晃, 片山卓也
情報処理学会研究報告(CD-ROM), 2010/08/15
モデル検査による設計検証と整合テスト
青木利晃, NGUYEN Tam Thi Minh
情報処理学会研究報告(CD-ROM), 2009/08/15
モデル検査によるリアルタイムオペレーティングシステムの検証実験
青木利晃
情報処理学会全国大会講演論文集, 2008/03/13
リアルタイムオペレーティングシステムの検証について
青木利晃
情報処理学会シンポジウム論文集, 2008/01/24
モデル検査ツールを用いた状態遷移図の検証について
青木利晃
情報処理学会シンポジウム論文集, 2006/01/25
プロジェクト紹介:高信頼組込み用オブジェクト指向設計技術
岸知二, 青木利晃, 中島震, 野田夏子, 片山卓也
情報処理学会研究報告, 2004/11/26
組み込みシステム開発における最先端ソフトウェア基盤技術
青木利晃, 岸知二, 中島震, 河野真治, 友部実, 田村直樹
情報処理学会シンポジウム論文集, 2003/10/16
並行オブジェクトモデルから並行スレッドモデルへの変換法
岡崎光隆, 青木利晃, 片山卓也
情報処理学会研究報告, 2003/03/06