博士前期課程卒業生

• 沼田 悠佑

  ブロックチェーンシミュレータを用いた攻撃分析方法の提案

博士後期課程卒業生

• 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

博士前期課程卒業生

• 長谷川 央

  POSIX準拠OSのスケジューラを対象とした網羅的テスト手法に関する研究

• 本田 光希

  量子計算を用いた古典的モデル検査手法の検討

• 山口 裕希

  AI コンポーネントへの敵対的攻撃に対するリスク分析手法の提案

博士前期課程卒業生

• 足立 優也

  FLOSSにおける組織構造と不具合混入の因果関係分析

• 宇田 拓馬

  CoqによるBBSLの形式化と検証

• 三浦 巧大

  ブロックチェーンシミュレータと攻撃シナリオの記述を目的としたフレームワーク提案

博士前期課程卒業生

• 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

• 鈴木 玄貴

  自動運転におけるシミュレーション検証のためのテストケース作成手法の提案

• 田中 健人

  自動運転システムにおける画像を対象とした形式仕様記述方法の提案

博士後期課程卒業生

• 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

博士前期課程卒業生

• 田中 佑弥

  モデルベース開発におけるSTAMPを用いたMATLAB/Simulinkモデルの安全性検証

• 染谷 一徳

  宇宙機システムの運用モデルにおけるコンパクト化手法の提案

博士前期課程卒業生

• LE Khanh Trinh

  Formalization and Verification of AUTOSAR OSStandard's Memory Protection

• 高橋 聡樹

  振る舞いが完全にはわからないモジュールを含むシステムの設計手法

博士後期課程卒業生

• 野口 秀人

  モデル検査を用いたフォールトアナリシス手法の提案

• Zhang Haitao

  Study on Model Checking Techniques for OSEK/VDX Applications

博士前期課程卒業生

• Pattaravut Maleehuan

  Verification of automotive operating systems for multi-core processors

• 竹田 幸司

  AUTOSAR OSにおける保護機能の形式化に関する研究

• 中村 勇貴

  ゴール木に基づいた安全仕様の検証に関する研究

博士後期課程卒業生

• Huong Dieu VU

  Study on Verifying the Conformance of the Design to Its Formal Specification

博士前期課程卒業生

• Kriangkrai Traichaiyaporn

  Modeling Correct Safety Requirements Using KAOS and Event-B

• 大野 乾

  SOCに基づいたコンシューマープロダクト検討のためのモデル化手法に関する研究

• 太田 十字光

  運転整理の形式化に関する研究

• 小川 直哉

  モデル検査における誤り原因の特定に関する研究

博士前期課程卒業生

• 陳 適

  モデル検査ツールにより出力された反例に基づく誤り特定に関する研究

• 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

博士後期課程卒業生

• 林 信宏

  Automatic Adaptor Generation for Behavioral Mismatches Using Pushdown Model Checking

• 谷崎 裕明

  ソフトウェア設定の整合性判定と作成支援手法に関する研究

博士前期課程卒業生

• 波多野 秀行

  大規模モデル検査における結果の収集・分析手法の提案

• 久井 翔大

  モデル検査における多視点環境モデリング手法に関する研究

博士後期課程卒業生

• Chaiwat Sathawornwichit

  リアルタイムシステム設計のためのモデル生成と パラメトリックモデル検査手法

博士前期課程卒業生

• Chen Jiang

  Conformance Testing for OSEK/VDX Operating System based on Model Checking

博士後期課程卒業生

• Pham Ngoc Hung

  Assume-Guarantee Verification of Evolving Component-Based Software

博士前期課程卒業生

• 吹田 有行

  形式仕様記述言語を用いた要求仕様の形式化と検証仕様の獲得手法に関する研究

• 戸川 博貴

  モデル検査による大規模な計算機環境での検証手法

博士前期課程卒業生

• 加藤 大介

  Java言語への状態付きインターフェースの導入と検証

• 西端 浩和

  モデル検査のための環境モデリング手法に関する研究

• LE Dinh Xuan

  Cell プロセッサ用プログラムの検証法

• NGUYEN, Tam Thi Minh

  モデル検査用記述に基づいたテストケースの生成法

• HANG, Wei

  Refactoring model checking description

博士前期課程卒業生

• 土肥 雅俊

  Spinを用いたバイナリモデル検査

• 山崎 真吾

  OSEK/VDXに基づいたリアルタイムオペレーティングシステムのモ デル化と検証