トップページ  >  教員個別情報  >  講演・口頭発表
青木　利晃 （AOKI, Toshiaki）教授
融合科学, 情報科学, 次世代デジタル社会基盤研究領域

講演・口頭発表

15件
車載システム開発における形式手法実践の現状と課題
2018
「IoT,AI,ビッグデータと安全工学」形式手法と安全性
安全工学研究発表会講演予稿集, 2018
複合的因果関係分析手法を用いた遠隔診療の定量的安全性評価
電子情報通信学会技術研究報告, 2017
Java Pathfinderにおける弱公平性条件の実装
日本ソフトウェア科学会大会講演論文集(CD-ROM), 2016
遠隔診療におけるリスクアセスメント手法の提案
情報処理学会研究報告(Web), 2015
再利用のためのRTLからの関数コード生成手法
電子情報通信学会技術研究報告, 2014
モデル検査ツールにより出力された反例に基づく誤り特定に関する研究
情報処理学会研究報告(CD-ROM), 2012
Alloyを用いた構成変更支援ツールと適用実験
情報処理学会研究報告(CD-ROM), 2010
モデル検査による設計検証と整合テスト
情報処理学会研究報告(CD-ROM), 2009
モデル検査によるリアルタイムオペレーティングシステムの検証実験
情報処理学会全国大会講演論文集, 2008
リアルタイムオペレーティングシステムの検証について
情報処理学会シンポジウム論文集, 2008
モデル検査ツールを用いた状態遷移図の検証について
情報処理学会シンポジウム論文集, 2006
プロジェクト紹介:高信頼組込み用オブジェクト指向設計技術
情報処理学会研究報告, 2004
組み込みシステム開発における最先端ソフトウェア基盤技術
情報処理学会シンポジウム論文集, 2003
並行オブジェクトモデルから並行スレッドモデルへの変換法
情報処理学会研究報告, 2003