高橋 孝一 | 産業技術総合研究所
スポンサーリンク
概要
関連著者
-
高橋 孝一
産業技術総合研究所
-
萩谷 昌己
東京大学大学院情報理工学系研究科
-
萩谷 昌己
東京大学
-
高橋 孝一
産業技術総合研究所システム検証研究センター
-
木下 佳樹
産業技術総合研究所
-
木下 佳樹
(独)産業技術総合研究所 組込みシステム技術連携研究体
-
高橋 孝一
(独)産業技術総合研究所
-
高橋 孝一
電子技術総合研究所
-
萩谷 昌己
京都大学数理解析研究所
-
木下 佳樹
独立行政法人産業技術総合研究所情報処理研究部門情報科学連携研究体
-
木下 佳樹
産業技術総合研究所システム検証研究センター
-
古原 和邦
産業技術総合研究所情報セキュリティ研究センター
-
西崎 真也
京工業大学大学院情報理工学研究科
-
戸田 賢二
産総研情報技術研究部門
-
戸田 賢二
(独)産業技術総合研究所
-
山本 光晴
千葉大学理学部
-
瀬河 浩司
産業技術総合研究所グリッド研究センター
-
戸田 賢二
電子技術総合研究所所
-
西崎 真也
東京工業大学
-
森川 治
(独)産業技術総合研究所
-
瀬河 浩司
(独)産業技術総合研究所
-
海老原 一郎
(独)産業技術総合研究所
-
古原 和邦
(独)産業技術総合研究所
-
高井 利憲
産業技術総合研究所
-
坂井 公
筑波大学数学系
-
中田 秀基
電子技術総合研究所
-
田辺 良則
(独)科学技術振興機構CREST
-
萩谷 昌己
東京大学大学院理学系研究科
-
齋藤 孝道
明治大学
-
萩谷 昌己
東京大学理学部情報科学科萩谷研究室
-
中田 秀基
電総研
-
木下 佳樹
電子技術総合研究所
-
玉井 哲雄
東京大学総合文化研究科
-
田辺 良則
(独)科学技術振興機構crest:(独)産業技術総合研究所
-
齋藤 孝道
東京工科大学
-
西崎 真也
東京工業大学大学院情報理工学研究科
-
佐藤 貴洋
東京大学大学院情報理工学系研究科
-
竹村 亮
東京大学大学院情報理工学系研究科
-
藤田 博征
筑波大学博士課程数学研究科
-
高橋 孝一
電子総合研究所
-
高井 利憲
産業技術総合研究所システム検証研究センター
-
戸沢 昌彦
東京大学大学院理学系研究科
-
高橋 孝一
電子技術綜合研究所
-
戸沢 昌彦
日本ibm東京基礎研究所
-
萩谷 昌己
東京大学情報理工学系研究科
-
高橋 孝一
経済産業省産業技術総合研究所
著作論文
- モデル検査によるシステム検証(「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
- 並列ごみ集めの抽象モデル検査の形式的証明
- BDDを用いた同期アルゴリズムの探索
- モデル検査系を用いたプログラム発見(「定理証明, 推論関係の新技術」)
- 正則表現を用いた並列ごみ集めの抽象モデル検査
- 証明支援系の図式によるインターフェイス ( インタラクティブソフトウェア)
- BDDを用いた2方向CTL論理式充足可能性決定手続きの実装(サイバー増大ページ論文概要,サイバー増大号)
- 束縛関係に基づく認証プロトコルの検証(セキュアコンピューティング)
- 標数2のある体上の代数方程式の求解
- グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)
- Javaのクラスローダ制約の定式化
- システム検証における数理的手法の紹介 : 組込みシステムへの適用事例(組込みシステム特集号)
- 特集「システム検証の科学技術」の編集にあたって(システム検証の科学技術)
- 作譜科学の現状と将来--心配のないソフトウェア開発に向けて
- 制御システムセキュリティのためのセキュリティバリアデバイスの提案
- 制御システムセキュリティのためのセキュリティバリアデバイスの提案