研究発表
公開件数:34件

No.1
会議種別 口頭発表(一般)
タイトル "自己位置推定を行なうロボット設計の検証に向けて"
会議名 IPSJ/SIGSE SES2017 ワークショップ
開催年月日 2017/08/30
URL
概要

No.2
会議種別 口頭発表(一般)
タイトル "Javaのメソッド等価性判定とその応用"
会議名 電子情報通信学会技術研究報告,SS2016-65, Vol. 116, No. 512, pp. 31-36
開催年月日 2017/03/09
URL
概要

No.3
会議種別 口頭発表(一般)
タイトル Kuromojiと構文解析による要求仕様書から状態遷移系への自動変換の試み
会議名 IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山, pp. 45-46,
開催年月日 2017/01/20
URL
概要

No.4
会議種別 口頭発表(一般)
タイトル ペアワイズ法に基づいた検証項目の生成とモデル検査による組み込みシステムの検証に向けて
会議名 IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山
開催年月日 2017/01/19
URL
概要

No.5
会議種別 ポスター発表
タイトル "移動時間を考慮に入れた自律移動ロボットの確率的な振舞い検証に向けて"
会議名 JSSST 第23回 ソフトウェア工学の基礎ワークショップ (FOSE2016)
開催年月日 2016/12/03
URL
概要

No.6
会議種別 口頭発表(一般)
タイトル "確率時間オートマトンを用いた自律移動ロボットの振舞いのモデル化"
会議名 情報処理学会 第192回SE・第41回EMB合同研究発表会,
情報処理学会研究報告 Vol. 2016-SE-192, No. 14
開催年月日 2016/06/03
URL
概要

No.7
会議種別 口頭発表(一般)
タイトル "一次元系における自己位置推定の振舞い検証に向けて"
会議名 電子情報通信学会技術研究報告,SS2015-100, Vol. 115, No. 508, pp.145-150
開催年月日 2016/03
URL
概要

No.8
会議種別 口頭発表(一般)
タイトル 自然語要求仕様記述の形式検証に向けて
- 話題沸騰ポットのモデル検査 -
会議名 ウィンターワークショップ 2016・イン・逗子
開催年月日 2016/02/05
URL
概要

No.9
会議種別 ポスター発表
タイトル "時間的性質を考慮に入れた自律移動ロボットの誤差検出と振舞い検証に向けて"
会議名 JSSST 第22回 ソフトウェア工学の基礎ワークショップ (FOSE2015)
開催年月日 2015/11/27
URL
概要

No.10
会議種別 口頭発表(一般)
タイトル 自律移動ロボットの誤差検出と振舞い検証に向けて
会議名 ウィンターワークショップ 2015・イン・宜野湾
開催年月日 2015/01/22
URL
概要

No.11
会議種別 ポスター発表
タイトル "組込みシステムの仕様検証とペアワイズ法を用いた検証項目の生成"
会議名 第20回 ソフトウェア工学の基礎ワークショップ (FOSE 2013)
開催年月日 2013/11/29
URL
概要

No.12
会議種別 口頭発表(一般)
タイトル "UPPAAL によるライントレーサの安全性検証のケーススタディ"
会議名 ソフトウェアエンジニアリングシンポジウム2012 (SES2012)
開催年月日 2012/08
URL
概要

No.13
会議種別 口頭発表(一般)
タイトル "ライントレーサの定量的評価および検証に向けて"
会議名 IPSJ ウィンターワークショップ 2012
開催年月日 2012/01
URL
概要

No.14
会議種別 口頭発表(一般)
タイトル "リングバッファ上の系に対する確率的対称性簡約"
会議名 IPSJ ウィンターワークショップ 2012
開催年月日 2012/01
URL
概要

No.15
会議種別 口頭発表(一般)
タイトル "ケーススタディ: Herman の確率的自己安定化アルゴリズムの状態削減と検証"
会議名 ディペンダブルシステムワークショップ& シンポジウム(DSW & DSS 2011)
開催年月日 2011/12
URL
概要

No.16
会議種別 口頭発表(一般)
タイトル "Symmetry Reduction を使ったAIS の確率付きモデル検査"
会議名 電子情報通信学会技術研究報告,SS2009-63, Vol. 109, No. 456, pp.91-96
開催年月日 2010/03
URL
概要

No.17
会議種別 口頭発表(一般)
タイトル "シナリオに基づくモデル検査導入手法の策定- はじめての現場マニュアル-"
会議名 第6回ディペンダブルシステムシンポジウム(DSS2009)
開催年月日 2009/12
URL
概要

No.18
会議種別 口頭発表(一般)
タイトル "様相論理を使ったDeutsch-Schorr-Waite マーキングアルゴリズムの検証"
会議名 第五回システム検証の科学技術シンポジウム(SSV 2008),
開催年月日 2008/11
URL
概要

No.19
会議種別 口頭発表(一般)
タイトル "A Case Study: Analyzing the One Dimensional Ising Model by Probabilistic Model Checking"
会議名 5th VERITE (JAIST/TRUST-AIST/CVS joint workshop on VERIfication TEchnology)
開催年月日 2008/03
URL
概要

No.20
会議種別 口頭発表(一般)
タイトル "Agda-MLAT 連携によるSchorr-Waite マーキングアルゴリズムの検証"
会議名 日本ソフトウェア科学会第24回大会
開催年月日 2007/09
URL
概要

No.21
会議種別 口頭発表(一般)
タイトル "様相μ計算を利用したポインタを扱うプログラムの検証に向けて"
会議名 第9 回プログラミングおよびプログラミング言語ワークショップ(PPL 2007)
開催年月日 2007/03
URL
概要

No.22
会議種別 口頭発表(一般)
タイトル "自動証明系と定理証明支援系の連携によるポインタ操作プログラムの検証について"
会議名 Theorem Proving and Provers (TPP) Meeting
開催年月日 2006/11
URL
概要

No.23
会議種別 口頭発表(一般)
タイトル "抽象化ツールMLAT について"
会議名 第三回システム検証の科学技術シンポジウム
開催年月日 2006/10
URL
概要

No.24
会議種別 口頭発表(一般)
タイトル "自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について"
会議名 日本ソフトウェア科学会第23回大会
開催年月日 2006/09
URL
概要

No.25
会議種別 口頭発表(一般)
タイトル "様相論理を使用したヒープ検証方式"
会議名 第3回ディペンダブルソフトウェアワークショップ (DSW06)
開催年月日 2006/01
URL
概要

No.26
会議種別 ポスター発表
タイトル "抽象化ツールTLATの構築に向けて"
会議名 第2回システム検証の科学技術シンポジウム
開催年月日 2005/10
URL
概要

No.27
会議種別 口頭発表(一般)
タイトル "一次元セルオートマトンの有限近似解析"
会議名 日本ソフトウェア科学会第22回大会
開催年月日 2005/09
URL
概要

No.28
会議種別 口頭発表(一般)
タイトル "Abstraction of Programs in PML (Pointer Manipulating Language)"
会議名 JAIST/TRUST - AIST/CVS joint workshop on verification technology (VERITE)
開催年月日 2005/09
URL
概要

No.29
会議種別 口頭発表(一般)
タイトル "時相論理による自動抽象化のための充足可能性判定手続き"
会議名 日本ソフトウェア科学会第22回大会
開催年月日 2005/09
URL
概要

No.30
会議種別 ポスター発表
タイトル "ポインタシステムのための自動抽象化手法"
会議名 JST, CREST 情報社会を支える新しい高性能情報処理技術第1 回公開シンポジウム
開催年月日 2004/12
URL
概要

No.31
会議種別 口頭発表(一般)
タイトル "分散オブジェクト技術HORB"
会議名 COMDEX Las Vegas 2003
開催年月日 2003/11
URL
概要

No.32
会議種別 口頭発表(一般)
タイトル 高移動度シリコン2 次元電子系での金属・絶縁体転移と磁気抵抗
会議名 日本物理学会講演概要集, vol. 53, no.1-3(19980310), p.536
開催年月日 1998/03
URL
概要

No.33
会議種別 口頭発表(一般)
タイトル "Si-MOS 2次元電子系における強局在領域での磁気抵抗"
会議名 日本物理学会講演概要集, vol.52, no.1-2(19970317), p.148
開催年月日 1997/03
URL
概要

No.34
会議種別 口頭発表(一般)
タイトル "Si-MOSFETの巨大磁気抵抗の角度依存性"
会議名 日本物理学会講演概要集, vol.51, no..2(19960315)
開催年月日 1996/03
URL
概要