ALUMNI
FY2023
Master's Course
-
Yusuke NUMATA
Attack Analysis using Blockchain Simulator
FY2022
Doctoral Course
-
Charnon Pattiyanon
Security Weakness and Privacy Preservation Analysis of SSI Management Systems using Information Retrieval and System Modeling
-
Nguyen Thi Thuy
Program Verification For Microcontroller-Specific Coding Rules
Master's Course
-
Akira HASEGAWA
POSIX準拠OSのスケジューラを対象とした網羅的テスト手法に関する研究
-
Koki HONDA
量子計算を用いた古典的モデル検査手法の検討
-
Yuki YAMAGUCHI
AI コンポーネントへの敵対的攻撃に対するリスク分析手法の提案
FY2020
Master's Course
-
Yuya ADACHI
FLOSSにおける組織構造と不具合混入の因果関係分析
-
Takuma UDA
CoqによるBBSLの形式化と検証
-
Kota MIURA
ブロックチェーンシミュレータと攻撃シナリオの記述を目的としたフレームワーク提案
FY2019
Master's Course
-
Nguyen Thi Thuy
Program Verification for Cautions of Microcontrollers
-
Nguyen Thu Trang
Verification of Static Analysis Results for SEI CERT-C Coding Standard
-
YUAN Jingcheng
On Model Checking of File Systems' Robustness
-
Haruki SUZUKI
自動運転におけるシミュレーション検証のためのテストケース作成手法の提案
-
Kento TANAKA
自動運転システムにおける画像を対象とした形式仕様記述方法の提案
FY2018
Doctoral Course
-
Pattaravut Maleehuan
Program Verification for Multiprocessors with Relaxed Memory Models using an SMT solver
-
Tran Nhat Hoa
Study on Facilitating the Variation of Schedulers in Model Checking
-
Guo Xiaoyun
Model Checking of In-vehicle Networking Systems
Master's Course
-
Yuya TANAKA
モデルベース開発におけるSTAMPを用いたMATLAB/Simulinkモデルの安全性検証
-
Kazunori SOMEYA
宇宙機システムの運用モデルにおけるコンパクト化手法の提案
FY2017
Master's Course
-
LE Khanh Trinh
Formalization and Verification of AUTOSAR OSStandard's Memory Protection
-
高橋 聡樹
振る舞いが完全にはわからないモジュールを含むシステムの設計手法
FY2015
Doctoral Course
-
野口 秀人
モデル検査を用いたフォールトアナリシス手法の提案
-
Zhang Haitao
Study on Model Checking Techniques for OSEK/VDX Applications
Master's Course
-
Pattaravut Maleehuan
Verification of automotive operating systems for multi-core processors
-
竹田 幸司
AUTOSAR OSにおける保護機能の形式化に関する研究
-
中村 勇貴
ゴール木に基づいた安全仕様の検証に関する研究
FY2014
Doctoral Course
-
Huong Dieu VU
Study on Verifying the Conformance of the Design to Its Formal Specification
FY2013
Master's Course
-
Kriangkrai Traichaiyaporn
Modeling Correct Safety Requirements Using KAOS and Event-B
-
大野 乾
SOCに基づいたコンシューマープロダクト検討のためのモデル化手法に関する研究
-
太田 十字光
運転整理の形式化に関する研究
-
小川 直哉
モデル検査における誤り原因の特定に関する研究
FY2012
Master's Course
-
陳 適
モデル検査ツールにより出力された反例に基づく誤り特定に関する研究
-
Le Vo Hue Quan
Model Checking Real-time Systems with Schedulers
-
Zhang Haitao
Bounded Model Checking for Concurrent Behavior with Scheduler
-
Guo Xiaoyun
Model checking of FlexRay communication protocol
FY2011
Doctoral Course
-
林 信宏
Automatic Adaptor Generation for Behavioral Mismatches Using Pushdown Model Checking
-
谷崎 裕明
ソフトウェア設定の整合性判定と作成支援手法に関する研究
Master's Course
-
波多野 秀行
大規模モデル検査における結果の収集・分析手法の提案
-
久井 翔大
モデル検査における多視点環境モデリング手法に関する研究
FY2010
Doctoral Course
-
Chaiwat Sathawornwichit
リアルタイムシステム設計のためのモデル生成と パラメトリックモデル検査手法
Master's Course
-
Chen Jiang
Conformance Testing for OSEK/VDX Operating System based on Model Checking
FY2009
Doctoral Course
-
Pham Ngoc Hung
Assume-Guarantee Verification of Evolving Component-Based Software
Master's Course
-
吹田 有行
形式仕様記述言語を用いた要求仕様の形式化と検証仕様の獲得手法に関する研究
-
戸川 博貴
モデル検査による大規模な計算機環境での検証手法
FY2008
Master's Course
-
加藤 大介
Java言語への状態付きインターフェースの導入と検証
-
西端 浩和
モデル検査のための環境モデリング手法に関する研究
-
LE Dinh Xuan
Cell プロセッサ用プログラムの検証法
-
NGUYEN, Tam Thi Minh
モデル検査用記述に基づいたテストケースの生成法
-
HANG, Wei
Refactoring model checking description
FY2007
Master's Course
-
土肥 雅俊
Spinを用いたバイナリモデル検査
-
山崎 真吾
OSEK/VDXに基づいたリアルタイムオペレーティングシステムのモ デル化と検証