TOP  >  Personal Info.  >  Conference Activities & Talks
AOKI, Toshiaki Professor
Transdisciplinary Sciences, Information Science, Next-Generation Digital Infrastructure

Conference Activities & Talks

15 items
車載システム開発における形式手法実践の現状と課題
2018
「IoT,AI,ビッグデータと安全工学」形式手法と安全性
安全工学研究発表会講演予稿集, 2018
Quantitative safety assessment of telemedicine using the MCCA
電子情報通信学会技術研究報告, 2017
Java Pathfinderにおける弱公平性条件の実装
日本ソフトウェア科学会大会講演論文集(CD-ROM), 2016
A Risk Assessment Method for Telemedicine
情報処理学会研究報告(Web), 2015
Function Code Extraction from RTL Property for Reuse
電子情報通信学会技術研究報告, 2014
Error Localization Based on the Counterexamples Generated by Model‐Checker
情報処理学会研究報告(CD-ROM), 2012
An Implementation of Configuration Change Support Tool Using Alloy and Application Test
情報処理学会研究報告(CD-ROM), 2010
Study on Model Checking Design Models and Conformance Testing
情報処理学会研究報告(CD-ROM), 2009
モデル検査によるリアルタイムオペレーティングシステムの検証実験
情報処理学会全国大会講演論文集, 2008
Towards Verification of Real‐time Operating Systems
情報処理学会シンポジウム論文集, 2008
Verifying State Transition Diagram with Model Checking Tools
情報処理学会シンポジウム論文集, 2006
Project Report: Highly‐Reliable Object‐Oriented Embedded Software Design
情報処理学会研究報告, 2004
State‐of‐the‐Art Technologies for Embedded System Developments
情報処理学会シンポジウム論文集, 2003
Transforming Concurrent Objects into Concurrent Threads
情報処理学会研究報告, 2003