HOME>組織の紹介>研究閲覧>テクニカルレポート

テクニカルレポート

※テクニカルレポートに関するお問い合わせは、総合お問い合せフォームをご利用頂きますよう、お願いいたします。

テクニカルレポートの閲覧

PS-2012-003

システムのコンポーネント構成に着眼したCDネット販売における障害対応のAssurance Case 作成

(湯浅能史 木下佳樹)

5月

PS2012-003.pdfPDFファイルを開く

PS-2012-002

ディペンダブルシステム ワークショップ & シンポジウム 2011 論文集

(組込みシステム技術連携研究)

1月

PS2012-002.pdfPDFファイルを開く

PS-2012-001

Interpretation of STM by CSP

(Yoriyuki YAMAGATA, Weiqiang KONG, Akira FUKUDA, Noriyuki KATAHIRA, Van Tang NGUYEN, Hitoshi OHSAKI)

1月

PS2012-001.pdfPDFファイルを開く

PS-2011-002

SENS - Specification Language for Embedded Network Systems -toward Automatic Test Generation (Preliminary Version)

(Eun Hye CHOI, Takahiro ANDO, Hideaki NISHIHARA, Masahiro AOKI, Keiichi YOSHISAKA, Takao SONODA, Shouichi HASUIKE, and Osamu MIZUNO)

8月

PS2011-002.pdfPDFファイルを開く

PS-2011-001

形式手法の産業界応用ワークショップ予稿集2011

(組込みシステム技術連携研究体)

4月

PS2011-001.pdfPDFファイルを開く

PS-2010-007

A note on "D-Cases as proofs as programs"

(Makoto Takeyama)

10月

PS2010-007.pdfPDFファイルを開く

PS-2010-006

第8回ディペンダブルシステムワークショップ (DSW 2010)論文集

(組込みシステム技術連携研究体)

9月

PS2010-006.pdfPDFファイルを開く

PS-2010-005

システム検証の事例報告集 2009年度版

(組込みシステム技術連携研究体)

7月

PS2010-005.pdfPDFファイルを開く

PS-2010-004

情報システムディペンダビリティ認証項目について

(木下佳樹 高井利憲)

7月

PS2010-004.pdfPDFファイルを開く

PS-2010-003

オープンシステムディペンダビリティに関する考察〜「視点の動的網」による解決〜

(木下佳樹、高井利憲、田口研治、武山誠)

5月

PS2010-003.pdfPDFファイルを開く

PS-2010-002

2009年度(平成21年度)研究報告集

(システム検証研究センター)

3月

PS2010-002.pdfPDFファイルを開く

PS-2010-001

第6回ディペンダブルシステムシンポジウム (DSS2009) 講演論文集

(システム検証研究センター)

2月

PS2010-001.pdfPDFファイルを開く

PS-2009-010

Assurance Caseへの形式手法的アプローチ(in English)

(Keishi Okamoto, Makoto Takeyama)

12月

PS2009-010.pdfPDFファイルを開く

PS-2009-009

MCBOK2008:ソフトウェア開発のためのモデル検査知識体系

(西原秀明、青木利晃、粂野文洋、篠崎孝一、田口研治、早水公二)

* 組込みシステムシンポジウム2009論文集(ESS 2009) p49-57

8月

PS2009-009.pdfPDFファイルを開く

PS-2009-008

対訳 ディペンダブル・セキュアコンピューティングの基本概念と用語

(木下佳樹、松野裕、高村博紀、武山誠 [訳])

8月

PS2009-008.pdfPDFファイルを開く

PS-2009-007

User Oriented Dependability

(Yoshiki Kinoshita)

7月

PS2009-007.pdfPDFファイルを開く

PS-2009-006

Formalization of System LSI Specification and Automatic Generation of Verification Items

(Tatsuya Abe, Takashi Higuchi, Rintaro Imai, Yoshiki Kinoshita, Satoshi Nakano, Keishi Okamoto, Masaya Saito, and Makoto Takeyama)

7月

PS2009-006.pdfPDFファイルを開く

PS-2009-005

Fieldwork and the 4:6 Principle - introduction to the Research Center for Verification and Semantics, AIST

(Yoshiki Kinoshita)

6月

PS2009-005.pdfPDFファイルを開く

PS-2009-004

システム検証の事例報告集 2008年度版

(システム検証研究センター)

5月

PS2009-004.pdfPDFファイルを開く

PS-2009-003

2008年度(平成20年度)研究報告集

(システム検証研究センター)

5月

PS2009-003.pdfPDFファイルを開く

PS-2009-002

ディペンダビリティ調査報告 2月22日〜3月9日 Newcastle, Edinburgh, York, Bath, London, UK

(木下佳樹、武山誠、松野裕)

5月

PS2009-002.pdfPDFファイルを開く

PS-2009-001

第五回システム検証の科学技術シンポジウム(SSV2008) 講演論文集

(システム検証研究センター)

2月

PS2009-001.pdfPDFファイルを開く

PS-2008-017

Sequential continuity and boundedness of generalized functions in constructive mathematics (Preliminary Version)

(Satoru Yoshida)

12月

PS2008-017.pdfPDFファイルを開く

PS-2008-016

第6回ディペンダブルシステムワークショップ(DSW2008)論文集

(システム検証研究センター)

12月

PS2008-016.pdfPDFファイルを開く

PS-2008-015

モデル検査研修コース中級編

(システム検証研究センター)

11月
PS-2008-014

Agda言語について

(木下佳樹)

* 日本ソフトウェア科学会第25回大会(2008年度)論文集

9月

PS2008-014.pdfPDFファイルを開く

PS-2008-013

Model checking education for software engineers in Japan (Preliminary Version)

(Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno)

8月

PS2008-013.pdfPDFファイルを開く

PS-2008-012

モデル検査の教育プログラム構築に向けて

(青木利晃、粂野文洋、木下佳樹、篠崎孝一、高木理、高村博紀、田口研治、中原早生、西原秀明、早水公二、本位田真一、渡邊宏)

8月

PS2008-012.pdfPDFファイルを開く

PS-2008-011

Powers of positive elements in constructive C *-algebras

(Hiroki Takamura)

8月

PS2008-011.pdfPDFファイルを開く

PS-2008-010

A Decision Procedure for Alternation-free Modal μ-calculi

(Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya)

* Advances in Modal Logic 2008

4月

PS2008-010.pdfPDFファイルを開く

PS-2008-009

Pre- and Post-conditions Expressed in Variants of the Modal μ-calculus

(Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi)

4月

PS2008-009.pdfPDFファイルを開く

PS-2008-008

フォーマルメソッドのフィールドワーク

(木下佳樹、高井利憲)

* 「情報処理」 Vol.49, No.5 p9-15

3月

PS2008-008.pdfPDFファイルを開く

PS-2008-007

再帰的定義を可能にする述語論理の証明支援系上の実装(Preliminary Version)

(矢田部俊介)

3月

PS2008-007.pdfPDFファイルを開く

PS-2008-006

2007年度(平成19年度)研究報告集

(システム検証研究センター)

3月

PS2008-006.pdfPDFファイルを開く

PS2008-006.pdfPDFファイルを開く

PS-2008-005

図示記法表現とLTL論理式

(吉田聡、竹内泉、小池憲史、大崎人士)

第10回プログラミングおよびプログラミング言語ワークショップ論文集 (PPL 2008) p204-215

2月

PS2008-005.pdfPDFファイルを開く

PS2008-005.pdfPDFファイルを開く

PS-2008-004

LTLモデル検査のための図示記法

(小池憲史、吉田聡、大崎人士)

* 第14回ソフトウェア工学の基礎ワークショップ予稿集 (FOSE 2007) p.35-44

2月

PS2008-004.pdfPDFファイルを開く

PS-2008-003

システム検証の事例報告集 2007年度版

(システム検証研究センター)

1月

PS2008-003.pdfPDFファイルを開く

PS-2008-002

第四回システム検証の科学技術シンポジウム講演論文集

(システム検証研究センター)

1月

PS2008-002.pdfPDFファイルを開く

PS-2008-001

モデル検査研修コース中級編(Draft版)

(システム検証研究センター)

1月
PS-2007-010

環境ドライバを用いたモデル検査による検証事例

(高井利憲、古澤隆宏、尾崎弘幸、大崎人士)

10月

PS2007-010.pdfPDFファイルを開く

PS-2007-009

Algebraic Structure for a modal fixed point logic and abstract interpretation

( Koki Nishizawa)

7月

PS2007-009.pdfPDFファイルを開く

PS-2007-008

ソフトウェア更新システムのモデル検査によるセキュリティ

(山形頼之、斎藤正也)

7月

PS2007-008.pdfPDFファイルを開く

PS-2007-007

2006年度(平成18年度)研究報告集

(システム検証研究センター)

7月

PS2007-007.pdfPDFファイルを開く

PS-2007-006

ソフトウェア更新システムプロトコルの BAN Logic による安全性検証(Preliminary Version)

(吉田聡、山形頼之)

6月

PS2007-006.pdfPDFファイルを開く

PS-2007-005

Simulations of Multi-Valued Models for Modal μ-Calculus

(Koki Nishizawa, Yukiyoshi Kameyama, and Yoshiki Kinoshita)

4月

PS2007-005.pdfPDFファイルを開く

PS-2007-004

MLAT: Modal Logic Abstraction Tool

(Toshifusa Sekizawa, Yoshinori Tanabe, Yoshifumi Yuasa, and Koichi Takahashi)

2月

PS2007-004.pdfPDFファイルを開く

PS-2007-003

A Method to Generate Formulae for Temporal Logic Satisfiability Checkers

(Toshifusa Sekizawa, Toshinori Takai, Yoshinori Tanabe, and Koichi Takahashi)

2月

PS2007-003.pdfPDFファイルを開く

PS-2007-002

Semisimplicity, EDPC and discriminator varieties of modal FLew-algebras (Preliminary Version)

(高村博紀)

2月

PS2007-002.pdfPDFファイルを開く

PS-2007-001

A note on the weak topology for the constructive completion of the space D(R)

(Satoru Yoshida)

2月

PS2007-001.pdfPDFファイルを開く

PS-2006-013

Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems

(Eun-Hye CHOI, Tatsuhiro TSUCHIYA & Tohru KIKUNO)

11月

PS2006-013.pdfPDFファイルを開く

PS-2006-012

(第三回システム検証の科学技術シンポジウム予稿集 10月30日〜11月1日)

於:千里ライフサイエンスセンター

10月

PS2006-012.pdfPDFファイルを開く

PS-2006-011

Agate -an Agda-to-Haskell compiler

(Hiroyuki Ozaki, Makoto Takeyama, Yoshiki Kinoshita)

PS2006-011.pdfPDFファイルを開く

PS-2006-010

Formalising Coffman Conditions in First Order Modal μ Calculus (Extended Version)

(Yoshiki Kinoshita, Koki Nishizawa, Keishi Okamoto)

10月

PS2006-010.pdfPDFファイルを開く

PS-2006-009

Generic Forward and Backward Simulations

(Ichiro Hasuo)

10月

PS2006-009.pdfPDFファイルを開く

PS-2006-008

A sequent calculus for Limit Computable Mathematics (Technical Report)

(Stefano Berardi,山形頼之)

8月

PS2006-008.pdfPDFファイルを開く

PS-2006-007

Formal Modeling and Verification of Management on a Group of Network Security Appliances

(Moonzoo Kim and Eun-Hye Choi)

7月

PS2006-007.pdfPDFファイルを開く

PS-2006-006

2005年度(平成17年度)研究報告集

(システム検証研究センター)

7月

PS2006-006.pdfPDFファイルを開く

PS-2006-005

Monodic tree Kleene algebra (Preliminary Version)

(Toshinori Takai and Hitoshi Furusawa)

5月

PS2006-005.pdfPDFファイルを開く

PS-2006-004

The variety of modal FLew-algebras is generated by its finite simple members

(Hiroki Takamura)

5月

PS2006-004.pdfPDFファイルを開く

PS-2006-003

A First-Order Extension of Modal μ-calculus

(Keishi Okamoto)

4月

PS2006-003.pdfPDFファイルを開く

PS-2006-002

A Coalgebraic Representation of Reduction by Cone of Influence

(渡邊宏、西澤弘毅、高木理)

2月

PS2006-002.pdfPDFファイルを開く

PS-2006-001

Model Checking Active Database Rules

(Eun-Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno)

2月

PS2006-001.pdfPDFファイルを開く

PS-2005-018

Efficiency Analysis of Model-based Review in Actual Software Design

(Hitoshi Furusawa, Eun-Hye Choi, Hiroshi Watanabe)

12月

PS2005-018.pdfPDFファイルを開く

PS-2005-017

第二回システム検証の科学技術シンポジウム予稿集

20日・21日 於:千里ライフサイエンスセンター

10月

PS2005-017.pdfPDFファイルを開く

PS-2005-016

Algebraic Structures for Cocomplete Fibrations and Fibred CCCs

(Koki Nishizawa)

9月

PS2005-016.pdfPDFファイルを開く

PS-2005-015

時相論理の充足可能性判定器のためのベンチマーク用論理式生成法(Preliminary Version)

(関澤俊弦、高井利憲、田辺良則、高橋孝一)

9月

PS2005-015.pdfPDFファイルを開く

PS-2005-014

一次元セルオートマトンの有限近似解析(Preliminary Version)

(高橋孝一、田辺良則、関澤俊弦)

8月

PS2005-014.pdfPDFファイルを開く

PS-2005-013

Sufficient Completeness Checking with Propositional Tree Automata

(Joe Hendrix, Hitoshi Ohsaki, and Jose Meseguer)

8月

PS2005-013.pdfPDFファイルを開く

PS-2005-012

Algebraic Structure for a Fixed Point Logic and Abstract Interpretation

(Koki Nishizawa, Makoto Takeyama)

6月

PS2005-012.pdfPDFファイルを開く

PS-2005-011

A Decision Procedure for Alternation-free Two-way Modal mu-calculus

(Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya)

6月

PS2005-011.pdfPDFファイルを開く

PS-2005-010

Kleene category as a model of calculation (Preliminary Version)

(Takeuti Izumi)

6月

PS2005-010.pdfPDFファイルを開く

PS-2005-009

PVSの紹介

(高木理、渡邊宏、武山誠)

4月

PS2005-009.pdfPDFファイルを開く

PS-2005-008

Monotone AC-Tree Automata

(Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos)

3月

PS2005-008.pdfPDFファイルを開く

PS-2005-007

Preconditions of properties described in CTL for statements manipulating pointers (Preliminary Version)

(Yoshinori Tanabe, Toshinori Takai, Toshifusa Sekizawa, Koichi Takahashi)

3月

PS2005-007.pdfPDFファイルを開く

PS-2005-006

Verification of Transition System Reduction via PVS

(O. Takaki, M. Takeyama, H. Watanabe)

2月

PS2005-006.pdfPDFファイルを開く

PS-2005-005

Lawvere Theories Enriched over a General Base

(Koki Nishizawa and John Power)

2月

PS2005-005.pdfPDFファイルを開く

PS-2005-004

Implementing Efficient Resource Management for Linear Logic Programming (Preliminary Version)

(Pablo LOpez and Jeff Polakow)

1月

PS2005-004.pdfPDFファイルを開く

PS-2005-003

Webアプリケーションのクラス設計仕様に対するモデル化と検証

(崔銀惠、渡邊宏)

1月

PS2005-003.pdfPDFファイルを開く

PS-2005-002

画面遷移仕様のモデル検査

(崔銀惠、河本貴則、渡邊宏)

1月

PS2005-002.pdfPDFファイルを開く

PS-2005-001

組み込みソフトウェア開発におけるモデル検査の適用事例

(水口大知、渡邊宏)

1月

PS2005-001.pdfPDFファイルを開く

PS-2004-010

A framework for Kleene algebra with an embedded structure (Preliminary Version)

(Hitoshi Furusawa)

12月

PS2004-010.pdfPDFファイルを開く

PS-2004-009

Table Algebras: Algebraic Structures for Tabular Notation, Including Nested Header (Preliminary Version)

(Hitoshi Furusawa, Wolfram Kahl)

12月

PS2004-009.pdfPDFファイルを開く

PS-2004-008

Reasoning about Term Rewriting in Kleene Categories with Converse

(Toshinori Takai, Hitoshi Furusawa, Wolfram Kahl)

12月

PS2004-008.pdfPDFファイルを開く

PS-2004-007

ACTAS: A System Design for Associative and Commutative Tree Automata Theory

(Hitoshi Ohsaki, Toshinori Takai)

7月

PS2004-007.pdfPDFファイルを開く

PS-2004-006

ACTAS: Associative and Commutative Tree Automata Simulator

(Toshinori Takai, Hitoshi Ohsaki)

3月

PS2004-006.pdfPDFファイルを開く

PS-2004-005

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

(Toshinori Takai)

3月

PS2004-005.pdfPDFファイルを開く

PS-2004-004

A free construction of Kleene algebras with tests

(Hitoshi Furusawa)

3月

PS2004-004.pdfPDFファイルを開く

PS-2004-003

Modal Logics for Coalgebras ‐ A Survey

(Ichiro Hasuo)

2月

PS2004-003.pdfPDFファイルを開く

PS-2004-002

シンポジウム「システム検証の科学技術」予稿集

4〜6日 於: 大阪梅田スカイビル

2月

PS2004-002.pdfPDFファイルを開く

PS-2004-001

組込みソフトウェア開発のイン-デザインモデル検査

(篠崎孝一、水口大知、石井健志)

1月

PS2004-001.pdfPDFファイルを開く

PS-2003-007

抽象化を用いた検証ツールの調査

(田辺良則、高井利憲、高橋孝一)

12月

PS2003-007.pdfPDFファイルを開く

PS-2003-006

The Categories of Kleene Algebras, Action Algebras and Action Lattices are Related by Adjunctions

(Hitoshi Furusawa)

6月
PS-2003-005

モデル検査器を用いた自動検針システムの仕様検証

(早水公二、篠崎孝一、高橋孝一、渡邊宏)

6月

PS2003-005.pdfPDFファイルを開く

PS2003-005.pdfPDFファイルを開く

PS2003-005.pdfPDFファイルを開く

PS2003-005.pdfPDFファイルを開く

PS-2003-004

第二種基礎研究の方法

(木下佳樹)

3月

PS2003-004.pdfPDFファイルを開く

PS-2003-003

科学技術振興調整費流動促進研究制度 暗号通信手順の安全性自動検証技術に関する研究成果報告書

(大崎人士、木下佳樹、、高井利憲、高橋孝一)

3月
PS-2003-002

情報産業とシステム検証

(木下佳樹)

2月

PS2003-002.pdfPDFファイルを開く

PS-2003-001

Recognizable A-Tree Languages are Boolean Closed

(Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai)

1月

PS2003-001.pdfPDFファイルを開く

PS-2002-010

Layered Transducing Term Rewriting System and Its Recognizability Preserving Property

(Toshinori Takai, Hideyuki Seki, Youhei Fujinaka, Yuichi Kaji)

12月

PS2002-010.pdfPDFファイルを開く

PS-2002-009

Right-Linear Finite Path Overlapping Rewrite Systems Effectively Preserve Recognizability

(Toshinori Takai, Hiroyuki Seki, Yuichi Kaji)

12月

PS2002-009.pdfPDFファイルを開く

PS-2002-008

Essentially Algebraic Structure for Kleene Algebra with Tests and Its Application

(Hitoshi Furusawa, Yoshiki Kinoshita)

9月

PS2002-008.pdfPDFファイルを開く

PS-2002-007

テスト付きクリーニ代数の準代数構造

(木下佳樹、古澤仁)

8月

PS2002-007.pdfPDFファイルを開く

PS-2002-006

A Tree Automata Theory for Unification Modulo Equational Rewriting

(Hitoshi Ohsaki, Toshinori Takai)

7月

PS2002-006.pdfPDFファイルを開く

PS-2002-005

不動点をめぐる代数構造たち

(木下佳樹)

5月

PS2002-005.pdfPDFファイルを開く

PS-2002-004

Decidability and Closure Properties of Equational Tree Languages

(Hitoshi Ohsaki, Toshinori Takai)

5月

PS2002-004.pdfPDFファイルを開く

PS-2002-003

Abstraction and Search in Verification by State Exploration

(Koichi Takahashi)

5月

PS2002-003.pdfPDFファイルを開く

PS-2002-002

Formal Proof of Abstract Model Checking of Concurrent Garbage Collection

(Koichi Takahashi, Masami Hagiya)

5月

PS2002-002.pdfPDFファイルを開く

PS-2002-001

Decidability and Closure Properties for Computation on Equational Tree Languages

(Hitoshi Ohsaki, Toshinori Takai)

3月

PS2002-001.pdfPDFファイルを開く

PS-2001-005

Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable

(Toshinori Takai, Yuichi Kaji, Hiroyuki Seki)

11月

PS2001-005.pdfPDFファイルを開く

PS-2001-004

リアクティブシステムの検証法

(大崎人士、木下佳樹、高井利憲、高橋孝一、古澤仁)

10月

PS2001-004.pdfPDFファイルを開く

PS-2001-003

Searching for Mutual Exclusion Algorithms using BDDs (Preliminary Version)

(Koichi Takahashi, Masami Hagiya)

4月

PS2001-003.pdfPDFファイルを開く

PS-2001-002

Beyond regularity: Equational Tree Automata for Associative and Commutative Theories

(Hitoshi Ohsaki)

4月

PS2001-002.pdfPDFファイルを開く

PS-2001-001

Proceedings of the Workshop on Refinement and Abstraction (Preliminary Version)

(Masami Hagiya, Yoshiki Kinoshita, A.John Power)

4月

▲ページ先頭へ