背景点隠蔽時間に基づいた人の移動軌跡推定手法の検討

崎 貴幸, 廣森 聡仁, 山口 弘純, 東野 輝夫

第81回全国大会講演論文集　Vol. 2019　No. 1　p. 263-264　2019/02/28

高齢者のユーザビリティを考慮したセミデマンドバス向け低コスト予約システムの開発と運用

阿倉 佑樹, 天野 辰也, 山口 弘純, 東野 輝夫, 廣森 聡仁, 内山 彰, 新井 圭太

第81回全国大会講演論文集　Vol. 2019　No. 1　p. 301-302　2019/02/28

人同士の遮蔽による動的オクルージョンの定式化

崎 貴幸, 廣森 聡仁, 山口 弘純, 東野 輝夫

第26回マルチメディア通信と分散処理ワークショップ論文集　p. 207-216　2018/10/31

スマートフォンを活用した歩行者および車両のリアルタイム行動検知に関する検討

秋川 亮太, 内山 彰, 廣森 聡仁, 山口 弘純, 東野 輝夫, 鈴木 理基, 稗圃 泰彦, 北原 武

マルチメディア，分散協調とモバイルシンポジウム2018論文集　No. 2018　p. 1252-1261　2018/06/27

測域センサを利用した路線バス乗降計測システムの開発

山田 遊馬, 廣森 聡仁, 山口 弘純, 東野 輝夫

第80回全国大会講演論文集　Vol. 2018　No. 1　p. 7-8　2018/03/13

異なる基点を持つ二次元点群統合による屋内マップ生成手法の提案 (モバイルネットワークとアプリケーション)

吉貞 洸, 山田 遊馬, 廣森 聡仁, 山口 弘純, 東野 輝夫

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報　Vol. 117　No. 450　p. 39-50　2018/02/26

異なる基点を持つ二次元点群統合による屋内マップ生成手法の提案 (知的環境とセンサネットワーク)

吉貞 洸, 山田 遊馬, 廣森 聡仁, 山口 弘純, 東野 輝夫

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報　Vol. 117　No. 451　p. 39-50　2018/02/26

A holding access-point assignment algorithm for wireless local-area networks

Shigeto Tajima, Nobuo Funabiki, Sumon Kumar Debnath, Teruo Higashino

2017 9th IEEE International Conference on Communication Software and Networks, ICCSN 2017　Vol. 2017-　p. 367-371　2017/12/19

A Study on Fall Detection by Networked Sensors

Vol. 117　No. 308　p. 25-30　2017/11/16

測域センサを利用した高精度な路線バス乗降計測システム

山田 遊馬, 廣森 聡仁, 山口 弘純, 東野 輝夫

第25回マルチメディア通信と分散処理ワークショップ論文集　No. 2017　p. 24-32　2017/10/04

3次元空間における測域センサ群の自己位置推定法

吉貞 洸, 山田 遊馬, 廣森 聡仁, 山口 弘純, 東野 輝夫

マルチメディア，分散協調とモバイルシンポジウム2017論文集　No. 2017　p. 1433-1443　2017/06/21

Proposal of Pedestrian Flow Estimation from Drive Recorders Based on a Head Detection Method by Deep Learning

Vol. 117　No. 71　p. 91-96　2017/06/01

Location Estimation for Binary Motion Sensors in House (モバイルネットワークとアプリケーション)

KITBUTRAWAT NATHAVUTH, YAMAGUCHI HIROZUMI, HIGASHINO TERUO

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報　Vol. 117　No. 71　p. 157-164　2017/06/01

人の温熱快適性に配慮した空調制御の改善に関する検討と実証

三浦 太樹, 濱谷 尚志, 廣森 聡仁, 山口 弘純, 東野 輝夫, 下田 吉之

第79回全国大会講演論文集　Vol. 2017　No. 1　p. 89-90　2017/03/16

基地局通信履歴とGPSトレースを用いた都市レベルの旅行推定手法の提案

山田 遊馬, 内山 彰, 廣森 聡仁, 山口 弘純, 東野 輝夫

第79回全国大会講演論文集　Vol. 2017　No. 1　p. 459-460　2017/03/16

Image-based Crowd Counting with Perspective Geometry Using Smartphone

小島 颯平, 内山 彰, 廣森 聡仁, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 58　No. 1　p. 33-42　2017/01/15

A Channel Assignment Extension of Holding Access-Point Assignment Algorithm for Wireless Local-Area Networks

Vol. 116　No. 382　p. 95-100　2016/12/21

A Study on Indoor Air Temperature Prediction and Demonstration Experiment

Vol. 116　No. 305　p. 31-36　2016/11/17

Proposal of a Travel Estimation Method Using Control Signal Records in Cellular Networks and Geographical Information

山田 遊馬, 内山 彰, 廣森 聡仁, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 57　No. 8　p. 1826-1834　2016/08/15

鉱山用重機間通信による周辺重機検出手法の提案

西村 友佑, 長船 辰昭, 加藤 聖也, 廣森 聡仁, 山口 弘純, 東野 輝夫

マルチメディア，分散協調とモバイルシンポジウム2016論文集　No. 2016　p. 203-211　2016/07/06

スマートフォン画像を用いたクラウドソーシングによる群衆人数推定システム

小島 颯平, 内山 彰, 廣森 聡仁, 山口 弘純, 東野 輝夫

マルチメディア，分散協調とモバイルシンポジウム2016論文集　No. 2016　p. 262-272　2016/07/06

気象状況とプローブカーデータの解析に基づく積雪都市におけるOD旅行時間分布の予測手法

谷村 亮介, 廣森 聡仁, 梅津 高朗, 山口 弘純, 東野 輝夫

マルチメディア，分散協調とモバイルシンポジウム2016論文集　No. 2016　p. 624-630　2016/07/06

基地局遷移パターンの学習に基づく通信履歴からの電車旅客推定法の提案

山田 遊馬, 内山 彰, 廣森 聡仁, 山口 弘純, 東野 輝夫

マルチメディア，分散協調とモバイルシンポジウム2016論文集　No. 2016　p. 743-750　2016/07/06

Proposal of Building Energy Efficiency Index considering Number of Occupants and Quality of Energy Service

Vol. 35　p. 179-182　2016/06/06

Accurate Indoor Positioning Using Laser Range Scanners and Short-range Wireless Communication

樋口 雄大, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 57　No. 5　p. 1489-1498　2016/05/15

A Study of Holding Access-Point Assignment Algorithm for Wireless Local-Area Networks

Vol. 116　No. 8　p. 11-16　2016/04/21

Train Motion Detection Using Accelerometers and Magnetometers in Smartphones

樋口 雄大, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 57　No. 4　p. 1274-1283　2016/04/15

An Algorithm for Estimating the Performance of WLAN Systems with Severe Interference

梶田 宗吾, 山口 弘純, 東野 輝夫, 梅原 茂樹, 齊藤 文哉, 浦山 博史, 山田 雅也, 前野 誉, 金田 茂, 高井 峰生

情報処理学会論文誌　Vol. 57　No. 2　p. 745-755　2016/02/15

Indoor Localization Utilizing Tracking Scanners and Motion Sensors

高藤 巧, 藤田 和久, 樋口 雄大, 廣森 聡仁, 山口 弘純, 東野 輝夫, 下條 真司

情報処理学会論文誌　Vol. 57　No. 1　p. 353-365　2016/01/15

A Study on Cooperative Vehicle Awareness Using Vehicle-to-vehicle Communication

藤田 敦, 梅津 高朗, 山口 弘純, 東野 輝夫, 金田 茂, 高井 峰生

情報処理学会論文誌　Vol. 56　No. 11　p. 2092-2105　2015/11/15

Estimating Core Body Temperature Under Hot Environment Based on Human Thermal Model Using Wearable Sensors

濱谷 尚志, 内山 彰, 東野 輝夫

情報処理学会論文誌　Vol. 56　No. 10　p. 2033-2043　2015/10/15

携帯電話の基地局通信履歴と地理情報を用いたパーソントリップ推定法の提案

山田 遊馬, 内山 彰, 廣森 聡仁, 山口 弘純, 東野 輝夫

マルチマディア通信と分散処理ワークショップ2015論文集　Vol. 2015　No. 5　p. 128-135　2015/10/07

スマートフォンカメラを用いた群集人数推定システム

小島 颯平, 内山 彰, 廣森 聡仁, 山口 弘純, 東野 輝夫

マルチマディア通信と分散処理ワークショップ2015論文集　Vol. 2015　No. 5　p. 211-215　2015/10/07

設置位置の自動推定機能を備えたポータブル人感センサーシステム

志垣 沙衣子, 廣森 聡仁, 山口 弘純, 東野 輝夫

マルチマディア通信と分散処理ワークショップ2015論文集　Vol. 2015　No. 5　p. 222-226　2015/10/07

Smart Life Support System Based on Modeling and Quantification of Common Know-How on Daily Life

中村 笙子, 志垣 沙衣子, 廣森 聡仁, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 56　No. 8　p. 1621-1633　2015/08/15

Performance evaluations for multi-user MIMO using WIMNET simulator

Vol. 115　No. 159　p. 141-146　2015/07/30

ユーザ要求に応じた災害情報集約のための蓄積運搬転送型通信に基づく情報処理基盤の設計

内山 彰, 廣森 聡仁, 梅津 高朗, 山口 弘純, 安本 慶一, 東野 輝夫

第77回全国大会講演論文集　Vol. 2015　No. 1　p. 43-44　2015/03/17

歩行者群の近接関係の時系列データに基づくモバイル端末の移動軌跡同定

樋口 雄大, 山口 弘純, 東野 輝夫

研究報告マルチメディア通信と分散処理（DPS）　Vol. 2015　No. 50　p. 1-8　2015/02/26

商業施設における快適度推定および可視化システムの開発

地口 将雄, 西村 友洋, 山口 弘純, 東野 輝夫, 山口 容平

情報処理学会研究報告. UBI, [ユビキタスコンピューティングシステム]　Vol. 2015　No. 44　p. 1-7　2015/02/23

Mobile Devices as an Infrastructure: A Survey of Opportunistic Sensing Technology

Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino

IPSJ Journal　Vol. 56　No. 2　2015/02/15

Utilizing Crowd Trajectories for Mobile AR Applications

岩橋 宏樹, 樋口 雄大, 山口 弘純, 東野 輝夫

IPSJ Journal　Vol. 56　No. 2　p. 470-482　2015/02/15

A Study on Designing Smart Advisor in Daily Life

NAKAMURA Shoko, SHIGAKI Saeko, HIROMORI Akihito, YAMAGUCHI Hirozumi, HIGASHINO Teruo

IEICE technical report. ASN, Ambient intelligence and sensor networks　Vol. 114　No. 418　p. 25-30　2015/01/26

靴型ウェアラブルセンサによる通行路状況推定手法の提案

佐藤 匠, 廣森 聡仁, 山口 弘純, 東野 輝夫

情報処理学会研究報告. GN, [グループウェアとネットワークサービス]　Vol. 2015　No. 9　p. 1-8　2015/01/19

靴型ウェアラブルセンサによる通行路状況推定手法の提案

佐藤 匠, 廣森 聡仁, 山口 弘純, 東野 輝夫

情報処理学会研究報告. CDS, コンシューマ・デバイス&システム　Vol. 2015　No. 9　p. 1-8　2015/01/19

靴型ウェアラブルセンサによる通行路状況推定手法の提案

佐藤 匠, 廣森 聡仁, 山口 弘純, 東野 輝夫

情報処理学会研究報告. DCC, デジタルコンテンツクリエーション　Vol. 2015　No. 9　p. 1-8　2015/01/19

Low-cost Indoor Crowd Density Sensing with Smartphones

西村 友洋, 樋口 雄大, 山口 弘純, 東野 輝夫

IPSJ Journal　Vol. 55　No. 12　p. 2511-2523　2014/12/15

密に設置されるITS路側機群の運用シナリオに適した無線相互干渉調停アルゴリズム

山口弘純, 廣森聡仁, 東野輝夫, 梅原茂樹, 齊藤文哉, 浦山博史, 山田雅也, 前野誉, 金田茂, 高井峰生

情報処理学会研究報告. MBL, [モバイルコンピューティングとユビキタス通信研究会研究報告]　Vol. 2014　No. 28　p. 1-8　2014/11/13

密に設置されるITS路側機群の運用シナリオに適した無線相互干渉調停アルゴリズム

山口弘純, 廣森聡仁, 東野輝夫, 梅原茂樹, 齊藤文哉, 浦山博史, 山田雅也, 前野誉, 金田茂, 高井峰生

情報処理学会研究報告. ITS, [高度交通システム]　Vol. 2014　No. 28　p. 1-8　2014/11/13

A Consideration of Extended Wireless Internet-Access Mesh Network Simulator for MU-MIMO

TAJIMA Shigeto, FUNABIKI Nobuo, HIGASHINO Teruo

IEICE technical report　Vol. 114　No. 252　p. 7-12　2014/10/16

多数の訪問者が滞留する展示会場における群衆検出システムの設計開発

藤田和久, 樋口雄大, 廣森聡仁, 山口弘純, 東野輝夫, 下條真司

情報処理学会研究報告. MBL, [モバイルコンピューティングとユビキタス通信研究会研究報告]　Vol. 2014　No. 20　p. 1-9　2014/08/20

Environmental Sensing and Data Analysis in Exhibition Space

YAMAGUCHI Hirozumi, HIROMORI Akihito, HIGASHINO Teruo, SHIMOJO Shinji

IEICE technical report. MoNA, Mobile network and applications　Vol. 114　No. 160　p. 81-81　2014/07/22

スマートフォンを活用した屋内混雑センシングの実装と評価

西村友洋, 樋口雄大, 山口弘純, 東野輝夫

研究報告マルチメディア通信と分散処理（DPS）　Vol. 2014　No. 9　p. 1-8　2014/07/17

スマートフォンと靴センサを活用した災害時通行路の状況推定

佐藤匠, 廣森聡仁, 山口弘純, 東野輝夫

マルチメディア、分散協調とモバイルシンポジウム2014論文集　No. 2014　p. 258-265　2014/07/02

都市部における無線LANチャネルの相対的な干渉レベルの推定手法

梶田宗吾, 山口弘純, 廣森聡仁, 東野輝夫, 梅原茂樹, 齊藤文哉, 浦山博史, 山田雅也, 前野誉, 金田茂, 高井峰生

マルチメディア、分散協調とモバイルシンポジウム2014論文集　No. 2014　p. 595-604　2014/07/02

スマートハウス内センシングを活用した生活行動推薦システム

中村笙子, 廣森聡仁, 山口弘純, 東野輝夫, 山口容平, 下田吉之

マルチメディア、分散協調とモバイルシンポジウム2014論文集　No. 2014　p. 1557-1566　2014/07/02

車両プローブ情報に基づく信号待ち車列長変動の分析モデル

丹下智之, 廣森聡仁, 梅津高朗, 山口弘純, 東野輝夫

マルチメディア、分散協調とモバイルシンポジウム2014論文集　No. 2014　p. 1751-1759　2014/07/02

トラッキングスキャナとモーションセンサを用いた高精度屋内位置推定手法の提案

高藤巧, 藤田和久, 樋口雄大, 廣森聡仁, 山口弘純, 東野輝夫

マルチメディア、分散協調とモバイルシンポジウム2014論文集　No. 2014　p. 1767-1778　2014/07/02

A Method of Supporting Passengers' Trips Using Public Transportation Systems

前川 勇樹, 内山 彰, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 55　No. 6　p. 1614-1624　2014/06/15

三次元都市モデルとGPS信号のSNRを用いた携帯端末の存在領域判定 (モバイルネットワークとアプリケーション)

上嶋 祐紀, 内山 彰, 山口 弘純, 東野 輝夫

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報　Vol. 113　No. 495　p. 77-84　2014/03/14

空間を共有する人々のためのソーシャルイベント可視化プラットフォーム「ひとなび」の設計開発 (モバイルネットワークとアプリケーション)

藤田 和久, 廣森 聡仁, 山口 弘純, 東野 輝夫, 下條 真司

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報　Vol. 113　No. 495　p. 275-283　2014/03/14

空間を共有する人々のためのソーシャルイベント可視化プラットフォーム「ひとなび」の設計開発

藤田和久, 廣森聡仁, 山口弘純, 東野輝夫, 下條真司

情報処理学会研究報告. MBL, [モバイルコンピューティングとユビキタス通信研究会研究報告]　Vol. 2014　No. 49　p. 1-9　2014/03/07

空間を共有する人々のためのソーシャルイベント可視化プラットフォーム「ひとなび」の設計開発

藤田和久, 廣森聡仁, 山口弘純, 東野輝夫, 下條真司

情報処理学会研究報告. UBI, [ユビキタスコンピューティングシステム]　Vol. 2014　No. 49　p. 1-9　2014/03/07

An Extension of Wireless Internet-Access Mesh Network Simulator for Frame Aggregation

TAJIMA Shigeto, FUNABIKI Nobuo, HIGASHINO Teruo

IEICE technical report. Circuits and systems　Vol. 113　No. 463　p. 103-108　2014/03/06

効率的な車両間情報共有のためのV2Xコンテンツ配送スケジューリング

安達佳明, 梅津高朗, 山口弘純, 東野輝夫

研究報告マルチメディア通信と分散処理（DPS）　Vol. 2014　No. 16　p. 1-8　2014/02/27

効率的な車両間情報共有のためのV2Xコンテンツ配送スケジューリング

安達佳明, 梅津高朗, 山口弘純, 東野輝夫

研究報告コンピュータセキュリティ（CSEC）　Vol. 2014　No. 16　p. 1-8　2014/02/27

STDMA Scheduling for Densely-deployed Wireless Base Stations

山口 弘純, 廣森 聡仁, 東野 輝夫, 梅原 茂樹, 浦山 博史, 山田 雅也, 前野 誉, 金田 茂, 高井 峰生

情報処理学会論文誌　Vol. 55　No. 2　p. 826-837　2014/02/15

A Performance Improvement of Large-scale ITS Wireless System Simulations by Abstract Interference Model

金田 茂, 前野 誉, 高井 峰生, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 55　No. 1　p. 354-365　2014/01/15

Location Accuracy Enhancement Using GPS Line-of-sight Detection in City Sections

内山 彰, 勝田 悦子, 上嶋 祐紀, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 55　No. 1　p. 389-398　2014/01/15

GPS衛星見通し判定を用いた位置推定法の地域特性に基づく精度向上の検討

上嶋祐紀, 内山彰, 山口弘純, 東野輝夫

研究報告モバイルコンピューティングとユビキタス通信（MBL）　Vol. 2013　No. 4　p. 1-6　2013/12/12

Design and Development of Sensing System Simulator with Realistic City Modeling

金谷 拓実, 廣森 聡仁, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 54　No. 11　p. 2371-2382　2013/11/15

A Neighbor Collaboration Mechanism for Energy-Efficient Mobile Sensing

Vol. 2013　2013/09/18

Repairing Floating Car Data Based on Location and Velocity Error Characteristics

No. 2013　2013/09/18

Walkability Estimation using Smartphones in Buildings at the Time of Disaster

No. 2013　2013/09/18

Relative Position Estimation Using Dead Reckoning and Received Signal Strength of Bluetooth

樋口 雄大, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 54　No. 8　p. 2048-2060　2013/08/15

Positioning of Passengers Using Bluetooth

MAEKAWA Yuki, SAKAI Yuki, UCHIYAMA Akira, YAMAGUCHI Hirozumi, HIGASHINO Teruo

IEICE technical report. MoNA, Mobile network and applications　Vol. 113　No. 168　p. 31-36　2013/08/01

A Framework for Sensing, Understanding and Visualizing People in Indoor Space

YAMAGUCHI Hirozumi, HIROMORI Akihito, HIGUCHI Takamasa, UCHIYAMA Akira, UMEDU Takaaki, HIGASHINO Teruo, SUN Weihua, SHIMOJO Shinji, YAMAGUCHI Yohei, SHIMODA Yoshiyuki

IEICE technical report. MoNA, Mobile network and applications　Vol. 113　No. 168　p. 13-18　2013/08/01

A Clustering Algorithm Considering Link Speed for Wireless Mesh Networks

TAJIMA Shigeto, FUNABIKI Nobuo, HIGASHINO Teruo

IEICE technical report　Vol. 113　No. 129　p. 155-160　2013/07/18

世帯におけるエネルギー消費行動の最適化支援システム

中村笙子, 廣森聡仁, 山口弘純, 東野輝夫, 山口容平, 下田吉之

マルチメディア、分散協調とモバイルシンポジウム2013論文集　No. 2013　p. 1995-2007　2013/07/03

ひとがつながるなび - 位置と気持ちと空間の共有 -

上嶋祐紀, 藤田和久, 樋口雄大, 廣森聡仁, 山口弘純, 東野輝夫, 下條真司

マルチメディア、分散協調とモバイルシンポジウム2013論文集　No. 2013　p. 2105-2115　2013/07/03

A Functional Comparison of ONE Simulator and Scenargie for DTN

KANEDA Shigeru, MAENO Taka, TAKAI Mineo, KASHIHARA Shigeru, YAMAGUCHI Hirozumi, HIGASHINO Teruo

IEICE technical report. MoNA, Mobile network and applications　Vol. 113　No. 56　p. 107-111　2013/05/23

レーザレンジスキャナとWi-Fi Fingerprintを併用した歩行者の位置推定手法の提案 (モバイルマルチメディア通信)

和田 悠佑, 山口 弘純, 東野 輝夫

電子情報通信学会技術研究報告 : 信学技報　Vol. 112　No. 493　p. 159-165　2013/03/14

レーザレンジスキャナとWi-Fi Fingerprintを併用した歩行者の位置推定手法の提案 (アドホックネットワーク)

和田 悠佑, 山口 弘純, 東野 輝夫

電子情報通信学会技術研究報告 : 信学技報　Vol. 112　No. 494　p. 165-171　2013/03/14

スマートホームにおける電力コストと生活満足度を考慮した行動スケジューリング手法の提案 (モバイルマルチメディア通信)

中村 笙子, 廣森 聡仁, 山口 弘純, 東野 輝夫, 山口 容平, 下田 吉之

電子情報通信学会技術研究報告 : 信学技報　Vol. 112　No. 493　p. 41-49　2013/03/14

Sensor Placement Optimization Method for Crowd of People Tracking

KANAYA Takumi, HIROMORI Akihito, YAMAGUCHI Hirozumi, HIGASHINO Teruo

IEICE technical report　Vol. 112　No. 493　p. 323-328　2013/03/14

スマートホームにおける電力コストと生活満足度を考慮した行動スケジューリング手法の提案 (アドホックネットワーク)

中村 笙子, 廣森 聡仁, 山口 弘純, 東野 輝夫, 山口 容平, 下田 吉之

電子情報通信学会技術研究報告 : 信学技報　Vol. 112　No. 494　p. 41-49　2013/03/14

レーザレンジスキャナとWi-Fi Fingerprintを併用した歩行者の位置推定手法の提案

和田悠佑, 山口弘純, 東野輝夫

研究報告モバイルコンピューティングとユビキタス通信（MBL）　Vol. 2013　No. 26　p. 1-7　2013/03/07

レーザレンジスキャナとWi-Fi Fingerprintを併用した歩行者の位置推定手法の提案

和田悠佑, 山口弘純, 東野輝夫

研究報告ユビキタスコンピューティングシステム（UBI）　Vol. 2013　No. 26　p. 1-7　2013/03/07

スマートホームにおける電力コストと生活満足度を考慮した行動スケジューリング手法の提案

中村笙子, 廣森聡仁, 山口弘純, 東野輝夫, 山口容平, 下田吉之

研究報告モバイルコンピューティングとユビキタス通信（MBL）　Vol. 2013　No. 7　p. 1-8　2013/03/07

スマートホームにおける電力コストと生活満足度を考慮した行動スケジューリング手法の提案

中村笙子, 廣森聡仁, 山口弘純, 東野輝夫, 山口容平, 下田吉之

研究報告ユビキタスコンピューティングシステム（UBI）　Vol. 2013　No. 7　p. 1-8　2013/03/07

スマートフォンカメラビューと歩行軌跡のマッチングによる周辺人物の認識

岩橋宏樹, 樋口雄大, 山口弘純, 東野輝夫

全国大会講演論文集　Vol. 2013　No. 1　p. 281-283　2013/03/06

Self-Estimation of Neighborhood Distribution for Mobile Wireless Nodes

Yuki Sakai, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino

Vol. 54　No. 2　2013/02/15

Design and Development of Service Execution Platform for Overlay Networks

境 裕樹, 廣森聡仁, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 53　No. 11　p. 2612-2623　2012/11/15

Identifying Pedestrians Using Range Scanner: An Experimental Study

Vol. 2012　No. 14　p. 1-8　2012/11/08

A Method for Estimating Intersection Characteristics Using Floating Car Data

Vol. 2012　No. 4　p. 1-8　2012/11/08

A Performance Study on Link Volume Estimation using Floating Car Data

Vol. 2012　No. 20　p. 1-8　2012/11/08

A Method for Estimating Intersection Characteristics Using Floating Car Data

Vol. 2012　No. 4　p. 1-8　2012/11/08

A Performance Study on Link Volume Estimation using Floating Car Data

Vol. 2012　No. 20　p. 1-8　2012/11/08

密な基地局群の無線相互干渉調停のための空間分割スケジューリング技術

山口弘純, 廣森聡仁, 東野輝夫, 梅原茂樹, 浦山博史, 山田雅也, 前野誉, 高井峰生

マルチメディア通信と分散処理ワークショップ論文集　Vol. 2012　No. 4　p. 169-177　2012/10/10

An Extension of Wireless Internet-Access Mesh Network Simulator for Smart Antenna Use and Evaluations Using Simple Topologies

TAJIMA Shigeto, FUNABIKI Nobuo, HIGASHINO Teruo

IEICE technical report　Vol. 112　No. 231　p. 125-130　2012/10/04

様々なセンサを利用する位置行動検出システムの設計支援環境

金谷拓実, 廣森聡仁, 山口弘純, 東野輝夫

平成24年度 情報処理学会関西支部 支部大会 講演論文集　No. 2012　2012/09/14

Supporting Rescue Operations in Disaster by Ubiquitous Sensor Networks

HIGASHINO Teruo, UCHIYAMA Akira

The Journal of the Institute of Electronics, Information, and Communication Engineers　Vol. 95　No. 9　p. 803-808　2012/09/01

Outdoor Map Estimation by Using Laser Range Scanners and Moblie Terminals

井ノ口 真樹, 藤井 彩恵, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 53　No. 7　p. 1757-1767　2012/07/15

A Generalization of WDS Clustering Algorithm Extension to Smart-Antenna in Wireless Mesh Networks

TAJIMA Shigeto, FUNABIKI Nobuo, TOMISATO Shigeru, HATA Masaharu, HIGASHINO Teruo

IEICE technical report　Vol. 112　No. 8　p. 37-42　2012/04/12

Demographic Estimation of Twitter Users for Marketing Analysis

池田 和史, 服部 元, 松本 一則, 小野 智弘, 東野 輝夫

情報処理学会論文誌コンシューマ・デバイス＆システム（CDS）　Vol. 2　No. 1　p. 82-93　2012/03/21

People-centric Neighbor Recognition by Context-based Grouping

HIGUCHI TAKAMASA, YAMAGUCHI HIROZUMI, HIGASHINO TERUO

IEICE technical report　Vol. 111　No. 476　p. 189-196　2012/03/05

Navigation Enhancement Using GPS Line-of-sight Detection in City Sections

KATSUDA ETSUKO, UCHIYAMA AKIRA, YAMAGUCHI HIROZUMI, HIGASHINO TERUO

IEICE technical report　Vol. 111　No. 476　p. 61-67　2012/03/05

Performance Evaluation of Mobility-Based Energy-Saving to Control Air-conditioning and Lighting Equipments

NAKAHAMA Koji, KANAYA Takumi, HIROMORI Akihito, YAMAGUCHI Hirozumi, HIGASHINO Teruo, YAMAGUCHI Yohei, MURAI Ayaka, SHIMODA Yoshiyuki

IEICE technical report　Vol. 111　No. 476　p. 117-122　2012/03/05

A Waypoint Mobility Model with Various Node Distributions

上野 瑛次郎, 廣森聡仁, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 53　No. 1　p. 232-242　2012/01/15

An extension of clustering algorithm for smart-antenna use in wireless mesh networks

Shigeto Tajima, Nobuo Funabiki, Shigeru Tomisato, Masaharu Hata, Teruo Higashino

The 1st IEEE Global Conference on Consumer Electronics (GCCE2012)　p. 647-651　2012

A Clustering Algorithm for WDS Clusters with Two Access-Points Using Smart Antenna in Wireless Mesh Networks

TAJIMA Shigeto, FUNABIKI Nobuo, TOMISATO Shigeru, HATA Masaharu, HIGASHINO Teruo

Technical report of IEICE. RCS　Vol. 111　No. 345　p. 81-86　2011/12/08

オーバレイネットワーク上でアプリケーションサービスを実行するプラットフォームの設計と実装

境裕樹, 廣森聡仁, 山口弘純, 東野輝夫

マルチメディア、分散協調とモバイルシンポジウム2011論文集　No. 2011　p. 757-770　2011/06/30

モバイルワイヤレスネットワークに影響を与えるノード移動制約特定手法の提案

廣森聡仁, 山口弘純, 東野輝夫

マルチメディア、分散協調とモバイルシンポジウム2011論文集　No. 2011　p. 1367-1375　2011/06/30

障害物の存在する空間におけるレンジスキャナを用いた人流モデル化手法の提案

和田悠佑, 中村嘉隆, 東野輝夫

マルチメディア、分散協調とモバイルシンポジウム2011論文集　Vol. 2011　p. 1183-1192　2011/06/30

Evaluation of Localization Algorithms Based on Accuracy of Relative Positions

木山 昇, 内山 彰, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 52　No. 1　p. 209-219　2011/01/15

Efficient Localization for Intermittently Moving Nodes

樋口 雄大, 藤井 彩恵, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 52　No. 1　p. 197-208　2011/01/15

A throughput evaluation of wireless Internet-access mesh network using MIMO and adaptive array antenna

Shigeto Tajima, Nobuo Funabiki, Shigeru Tomisato, Masaharu Hata, Teruo Higashino

The 2011 International Workshop on Smart Info-Media System in Asia (SISA 2011)　p. 79-84　2011

A proposal of fixed backoff-time switching method by link activation rate for wireless mesh networks

Shigeto Tajima, Nobuo Funabiki, Teruo Higashino

Proceedings of the International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2011　p. 647-652　2011

Estimating Disaster Situation Using Mobile Nodes' Position and Wireless Link Information

南本 真一, 藤井 彩恵, 山口 弘純, 東野 輝夫

情報処理学会論文誌　Vol. 51　No. 12　p. 2169-2183　2010/12/15

Map estimation using GPS-equipped mobile wireless nodes

Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino

PERVASIVE AND MOBILE COMPUTING　Vol. 6　No. 6　p. 623-641　2010/12

Map estimation using GPS-equipped mobile wireless nodes

Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino

PERVASIVE AND MOBILE COMPUTING　Vol. 6　No. 6　p. 623-641　2010/12

IT Keys:ITリスク軽減のための情報セキュリティ技術者・管理者育成

猪俣敦夫, 松浦知史, 門林雄基, 藤川和利, 歌代和正, 山口英, 砂原秀樹, 東野輝夫, 中野博隆, 岡村真吾, 浜辺崇, 岡部寿男, 上原哲太郎, 大平健司, 篠田陽一, 宮地充子, 面和成

コンピュータセキュリティシンポジウム2010論文集　p. 411-416　2010/10　Research paper, summary (national, other academic conference)

様々な無線通信インフラを用いた協調移動支援システム評価のための行動シミュレータ

中濱浩二, 廣森聡仁, 梅津高朗, 山口弘純, 東野輝夫

平成22年度情報処理学会関西支部支部大会講演論文集　No. 2010　2010/09/22

An Advanced Electronic Triage System for Rescue Operations in Disasters

KIYAMA N.

情報処理学会論文誌　Vol. 51　No. 9　p. 1916-1929　2010/09/15

A Method for Automated Generation of Distributed Cooperative Programs for Wireless Sensor Nodes

MORI SHUNSUKE, INAGAKI AKIHIRO, UMEDU TAKAAKI, HIROMORI AKIHITO, YAMAGUCHI HIROZUMI, HIGASHINO TERUO

Vol. 54　p. R1-R8　2010/05/20

A Method for Automated Generation of Distributed Cooperative Programs for Wireless Sensor Nodes

MORI SHUNSUKE, INAGAKI AKIHIRO, UMEDU TAKAAKI, HIROMORI AKIHITO, YAMAGUCHI HIROZUMI, HIGASHINO TERUO

Vol. 143　p. R1-R8　2010/05/20

A WDS Clustering Algorithm for Wireless Mesh Networks

Shigeto Tajima, Nobuo Funabiki, Teruo Higashino

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　Vol. E93D　No. 4　p. 800-810　2010/04

Fast Simulation Method for Wireless Network using Stochastic Event-driven Mode of CSMA/CA Protocols

MURANAKA SHINJI, HIROMORI AKIHITO, YAMAGUCHI HIROZUMI, HIGASHINO TERUO

Vol. 16　p. u1-u8　2010/03/26

Fast Simulation Method for Wireless Network using Stochastic Event-driven Mode of CSMA/CA Protocols

MURANAKA SHINJI, HIROMORI AKIHITO, YAMAGUCHI HIROZUMI, HIGASHINO TERUO

Vol. 53　p. u1-u8　2010/03/26

Fast Simulation Method for Wireless Network using Stochastic Event-driven Mode of CSMA/CA Protocols

MURANAKA SHINJI, HIROMORI AKIHITO, YAMAGUCHI HIROZUMI, HIGASHINO TERUO

Vol. 144　p. u1-u8　2010/03/26

Fast Simulation Method for Wireless Network using Stochastic Event-driven Mode of CSMA/CA Protocols

MURANAKA SHINJI, HIROMORI AKIHITO, YAMAGUCHI HIROZUMI, HIGASHINO TERUO

Vol. 25　p. u1-u8　2010/03/26

Automated Generation of Wireless Sensor Nodes' Programs for Monitoring Applications

MORI Shunsuke, UMEDU Takaaki, HIROMORI Akihito, YAMAGUCHI Hirozumi, HIGASHINO Teruo

Vol. 72　No. 0　p. 231-232　2010/03/08

A Proposal of Mobility Model with Designated Node Density Distribution and Fairness of Waypoint Selection

UENO Eijiro, HIROMORI Akihito, YAMAGUCHI Hirozumi, HIGASHINO Teruo

IEICE technical report　Vol. 109　No. 441　p. 7-12　2010/02/24

An Intervehicular-Communication Protocol for Distributed Detection of Dangerous Vehicles

Takaaki Umedu, Kumiko Isu, Teruo Higashino, C. K. Toh

IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY　Vol. 59　No. 2　p. 627-637　2010/02

An Intervehicular-Communication Protocol for Distributed Detection of Dangerous Vehicles

Takaaki Umedu, Kumiko Isu, Teruo Higashino, C. K. Toh

IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY　Vol. 59　No. 2　p. 627-637　2010/02

An Electronic Triage System for Patient Monitoring

UCHIYAMA Akira, KIYAMA Noboru, KUSUDA Junko, HIROMORI Akihito, UMEDU Takaaki, YAMAGUCHI Hirozumi, HIGASHINO Teruo

IEICE technical report　Vol. 109　No. 380　p. 35-36　2010/01/14

An Electronic Triage System for Patient Monitoring

UCHIYAMA Akira, KIYAMA Noboru, KUSUDA Junko, HIROMORI Akihito, UMEDU Takaaki, YAMAGUCHI Hirozumi, HIGASHINO Teruo

IEICE technical report　Vol. 109　No. 382　p. 35-36　2010/01/14

A proposal of secure session provider service over NGN

Tadashi Kaji, Takahiro Fujishiro, Seiichi Susaki, Eri Kawai, Kazuyoshi Hoshino, Teruo Higashino

IEEJ Transactions on Electronics, Information and Systems　Vol. 130　No. 8　p. 21-1463　2010

Local Map Generation using Position and Communication History of Mobile Nodes

Proceedings of the 8th Annual IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom 2010)　Vol. pp.2-10　2010

Geographic routing on vehicular ad hoc networks

Hirozumi Yamaguchi, Weihua Sun, Teruo Higashino

Advances in Vehicular Ad-Hoc Networks: Developments and Challenges　p. 171-199　2010

負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価

情報処理学会研究報告　Vol. Vol. 2010-EMB-16, No. 5, pp. 1-8,　2010

Local Map Generation using Position and Communication History of Mobile Nodes

Proceedings of the 8th Annual IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom 2010)　Vol. pp.2-10　2010

Geographic routing on vehicular ad hoc networks

Hirozumi Yamaguchi, Weihua Sun, Teruo Higashino

Advances in Vehicular Ad-Hoc Networks: Developments and Challenges　p. 171-199　2010

Evaluation of Electronic Triage Tag to observe injured person's condition in Real Time

IPSJ SIG Technical Report　Vol. Vol. 2010-EMB-16, No. 5, pp. 1-8,　2010

A WDS clustering algorithm for wireless mesh networks

Shigeto Tajima, Nobuo Funabiki, Teruo Higashino

IEICE Transactions on Information and Systems　Vol. E93-D　No. 4　p. 800-810　2010

アドホック通信を用いた移動ノードの密度推定法(アドホックネットワーク1)

濱田淳司, 内山彰, 山口弘純, 楠本真二, 東野輝夫

情報処理学会研究報告. MBL, [モバイルコンピューティングとユビキタス通信研究会研究報告]　Vol. 2009　No. 8　p. 17-24　2009/12/20

通信履歴と地理情報を併用した無線端末の移動軌跡推定(モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)

藤井彩恵, 内山彰, 梅津高朗, 山口弘純, 東野輝夫

電子情報通信学会技術研究報告. MoMuC, モバイルマルチメディア通信　Vol. 108　No. 398　p. 77-82　2009/11

リクエスト振り分け機能を持つサーバ群による分散協調サービスの実現手法の検討

境裕樹, 廣森聡仁, 山口弘純, 東野輝夫

平成21年度情報処理学会関西支部支部大会講演論文集　No. 2009　2009/09/29

Triage Device Slightly Injured Person in Disaster Medical Assistant Network

SAKANUSHI Keishi, HIROMORI Akihito, IMAMURA Taichiro, OKAMOTO Junya, HIEDA Takuji, TAKEUCHI Yoshinori, IMAI Masaharu, KITAMICHI Junji, HIGASHINO Teruo

IEICE technical report　Vol. 109　No. 201　p. 45-50　2009/09/17

無線センサーネットワークを利用した電子トリアージシステムの実現(学生特別セッション,モバイル/放送融合アプリケーション,モバイルコンテンツ,モバイル映像配信,一般)

楠田純子, 木山昇, 内山彰, 廣森聡仁, 梅津高朗, 山口弘純, 東野輝夫

電子情報通信学会技術研究報告. MoMuC, モバイルマルチメディア通信　Vol. 109　No. 204　p. 33-38　2009/09/17

B-15-19 Realizing Cooperative Monitoring for Wireless Sensor Networks

Mori Shunsuke, Umedu Takaaki, Hiromori Akihito, Yamaguchi Hirozumi, Higashino Teruo

Proceedings of the Society Conference of IEICE　Vol. 2009　No. 1　p. 509-509　2009/09/01

Wireless network simulation using communication models with different abstract levels

MURANAKA Shinji, HIROMORI Akihito, YAMAGUCHI Hirozumi, HIGASHINO Teruo

IEICE technical report　Vol. 109　No. 122　p. 7-12　2009/07/02

BP-7-5 An Overlay Agent Platform PIAX and Its Applications

Proceedings of the IEICE General Conference　Vol. 2009　No. 2　p. "SS-24"-"SS-25"　2009/03/04

Design and Development of Electronic Triage System Using Wireless Sensor Networks

KUSUDA Junko, KIYAMA Noboru, UTIYAMA Akira, HIROMORI Akihito, UMEDU Takaaki, YAMAGUCHI Hirozumi, HIGASHINO Teruo

ITE Technical Report　Vol. 33　No. 0　p. 33-38　2009

Adaptive Location Based TDM Protocol for Inter-Vehicle Communication

Proceedings of IEEE Vehicular Networking Conference 2009 (VNC 2009)　Vol. pp. 1-8　2009

Self-Estimation of Neighborhood Density for Mobile Wireless Nodes

Proceedings of the 6th International Conference on Ubiquitous Intelligence and Computing　2009

Optimal Assignment of Periodic Real-time Systems into Dynamically Reconfigurable Processors

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2009)　2009

An Algorithm for Assigning Real-time Tasks with Timing Constraints into Dynamically Reconfigurable Processor

Proceedings of the 3rd International Workshop on Infomatics (IWIN 2009)　2009

Real-time Trajectory Estimation in Mobile Ad Hoc Networks

Proceedings of the 12th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems　2009

ワイヤレスセンサネットワークの設計開発支援環境D-sense

情報処理学会論文誌　Vol. Vol.50, No. 10　2009

Urban pedestrian mobility for mobile wireless network simulation

Kumiko Maeda, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino

AD HOC NETWORKS　Vol. 7　No. 1　p. 153-170　2009/01

Adaptive Location Based TDM Protocol for Inter-Vehicle Communication

Proceedings of IEEE Vehicular Networking Conference 2009 (VNC 2009)　Vol. pp. 1-8　2009

Self-estimation of neighborhood density for mobile wireless nodes

Junji Hamada, Akira Uchiyama, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 5585　p. 178-192　2009

Optimal Assignment of Periodic Real-time Systems into Dynamically Reconfigurable Processors

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2009)　2009

An Algorithm for Assigning Real-time Tasks with Timing Constraints into Dynamically Reconfigurable Processor

Proceedings of the 3rd International Workshop on Infomatics (IWIN 2009)　2009

A Design Support Environment for Wireless Sensor Networks

IPSJ Transactions　Vol. Vol.50, No. 10　2009

Real-time Trajectory Estimation in Mobile Ad Hoc Networks

Proceedings of the 12th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems　2009

Urban pedestrian mobility for mobile wireless network simulation

Kumiko Maeda, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino

AD HOC NETWORKS　Vol. 7　No. 1　p. 153-170　2009/01

Distributed Task Execution with Minimum Execution Time over Collaborative Peers

Vol. 2008　No. 14　p. 219-224　2008/12/03

A Supporting Tool for Performance Test and Analysis of Mobile Wireless Networks

Vol. 2008　No. 14　p. 239-240　2008/12/03

Hybrid Testbed enabling Run-time Operations for Wireless Applications

Kumiko Maeda, Keisuke Nakata, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumotot, Teruo Higashino

PADS 2008: 22ND INTERNATIONAL WORKSHOP ON PRINCIPLES OF ADVANCED AND DISTRIBUTED SIMULATION, PROCEEDINGS　p. 135-+　2008

A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks

情報処理学会論文誌　Vol. 49(6), pp.2169-2179　2008

A Study on Efficient Performance Tests of Wireless Networks by Finding Dominant Factors

マルチメディア，分散，協調とモバイル(DICOMO2008)シンポジウム論文集　Vol. 1121-1134　2008

P2Pオーバレイネットワーク上での協調サービス実行を支援する統合システムの設計と実装

マルチメディア，分散，協調とモバイル(DICOMO2008)シンポジウム論文集　Vol. 149-160　2008

ワイヤレスセンサネットワークの設計開発支援環境D-sense

マルチメディア，分散，協調とモバイル(DICOMO2008)シンポジウム論文集　Vol. 127-136　2008

Neighbor selection algorithm for ad hoc networks with highly dynamic urban mobility

Akira Uchiyama, Sae Fujii, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino

IWCMC 2008 - International Wireless Communications and Mobile Computing Conference　p. 165-170　2008

D-sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks

Proc. of IFIP/IEEE MMNS 2008 (Proceedings of the 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services)　2008

アドホック無線通信を用いた位置推定法の現実環境を想定した性能評価

情報処理学会論文誌　Vol. 49(10), pp.3612-3621　2008

無線端末の遭遇履歴情報を用いた移動軌跡推定手法の提案

情報処理学会論文誌　Vol. 49(10), pp.3601-3611　2008

時刻により変化する都市歩行流を再現するモビリティモデルの提案と評価

情報処理学会論文誌　Vol. 49(10), pp.3622-3630　2008

Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts -Research Challenges toward Future Affluent Ambient Society-

Software-Intensive Systems and New Computing Paradigms - Challenges and Visions, Lecture Notes in Computer Science　Vol. Vol.5380　2008

Certification of Secure Encounter History Among Low Power Mobile Sensors

2008

メッセージフェリーと車車間通信を併用した渋滞情報収集システムの情報伝播効率の改善

情報処理学会論文誌　Vol. Vol.49, No.1, pp.189-198　2008

車車間通信を用いた危険車両の検出手法の提案

情報処理学会論文誌　2008

都市部における無線端末の移動特性を利用した情報共有方式

情報処理学会論文誌　2008

An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication

2008

Realistic Mobility Aware Information Gathering in Disaster Areas

Proceedings of IEEE Wireless Communications & Networking Conference（WCNC2008）　2008

Realistic Mobility Aware Information Gathering in Disaster Areas

2008

Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context

2008

Efficient VANET-based Traffic Information Sharing using Buses on Regular Routes

2008

Hybrid Testbed enabling Run-time Operations for Wireless Applications

Kumiko Maeda, Keisuke Nakata, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumotot, Teruo Higashino

PADS 2008: 22ND INTERNATIONAL WORKSHOP ON PRINCIPLES OF ADVANCED AND DISTRIBUTED SIMULATION, PROCEEDINGS　p. 135-+　2008

A Study on Efficient Performance Tests of Wireless Networks by Finding Dominant Factors

Vol. 1121-1134　2008

A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks

IPSJ Transactions　Vol. 49(6), pp.2169-2179　2008

Neighbor selection algorithm for ad hoc networks with highly dynamic urban mobility

Akira Uchiyama, Sae Fujii, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino

IWCMC 2008 - International Wireless Communications and Mobile Computing Conference　p. 165-170　2008

D-sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks

Proc. of IFIP/IEEE MMNS 2008 (Proceedings of the 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services)　2008

Evaluation of an Ad-hoc Based Positioning Technique in Realistic Environment

IPSJ Transactions　Vol. 49(10), pp.3612-3621　2008

Estimating Movement of Wireless Terminals Using Ad hoc Communication History

IPSJ Transactions　Vol. 49(10), pp.3601-3611　2008

Representing Temporal Density Variation in Urban Pedestrian Flows

IPSJ Transactions　Vol. 49(10), pp.3622-3630　2008

Design and deployment of large-scale software-intensive systems in Urban districts: Research challenges toward future affluent ambient society

Teruo Higashino

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 5380　p. 116-131　2008

Detecting Dangerous Vehicles Using Inter-vehicle Communication

2008

Mobility-aware Data Management on Mobile Terminals in Urban Areas

2008

Certification of Secure Encounter History Among Low Power Mobile Sensors

2008

A Traffic Information Sharing System Using Inter-vehicle Communication together with Message Ferrying Technique

Vol. Vol.49, No.1, pp.189-198　2008

An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication

2008

Realistic Mobility Aware Information Gathering in Disaster Areas

Proceedings of IEEE Wireless Communications & Networking Conference（WCNC2008）　2008

Realistic Mobility Aware Information Gathering in Disaster Areas

2008

Efficient VANET-based Traffic Information Sharing using Buses on Regular Routes

2008

Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context

2008

MANETにおける位置推定法UPLを用いたデータ転送プロトコルの検討(セッション1:モバイル通信プロトコル)

内山彰, 藤井彩恵, 梅津高朗, 山口弘純, 東野輝夫

情報処理学会研究報告. MBL, [モバイルコンピューティングとユビキタス通信研究会研究報告]　Vol. 2007　No. 98　p. 25-32　2007/09/27

Design and evaluation of intervehicle dissemination protocol for propagation of preceding traffic information

Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS　Vol. 8　No. 3　p. 379-390　2007/09

Design and evaluation of intervehicle dissemination protocol for propagation of preceding traffic information

Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS　Vol. 8　No. 3　p. 379-390　2007/09

現実的モビリティを考慮した災害時における情報収集法(セッション3)

浦部弘章, 内山彰, 梅津高朗, 東野輝夫, 田坂和之

情報処理学会研究報告. ITS, [高度交通システム]　Vol. 2007　No. 28　p. 47-54　2007/03/16

Design of a Sensor-based Certification Technique for Anonymous Encountering Information

SAKAI Takurou, UCHIYAMA Akira, NAKAMURA Yoshitaka, HIGASHINO Teruo

IPSJ SIG Notes　Vol. 2007　No. 16　p. 83-88　2007/03/01

Deriving protocol specifications from service specifications written as Predicate/Transition-nets

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor v. Bochmann, Teruo Higashino

COMPUTER NETWORKS　Vol. 51　No. 1　p. 258-284　2007/01

Mobility-aware Data Management on Mobile Wireless Networks

2007

Efficient VANET-based Traffic Information Sharing using Buses on Regular Routes

2007

Ad-hoc Localization in Urban District

Proceedings of the 26th Annual IEEE Conference on Computer Communications (Infocom2007) Minisymposium　2007

Efficient Parallel Simulation of Mobile Wireless Networks by Run-time Prediction of Multi-hop Propagation Delay

2007

A Middleware for Implementation and Evaluation of Application Layer Multicast Protocols in Real Environments

2007

A WDS Clustering Algorithm for Wireless Mesh Networks

2007

ネットワークシミュレータMobiREALを用いたモバイルアドホックネットワークシステムの開発環境

情報処理学会論文誌　Vol. Vol.48, No.7, pp.2238-224　2007

Efficient acquisition of local traffic information using inter-vehicle communication with queries

2007

Performance Evaluation of Mobile Wireless Communication and Services with Modelling of Real Environment

International Journal of Ad Hoc and Ubiquitous Computing　Vol. Vol.2, No. 4, pp.239-249　2007

Efficient acquisition of local traffic information using inter-vehicle communication with queries

2007

Automated Technology for Verification and Analysis

Springer　2007

大規模都市空間における人や車の行動モデルとリアルタイム予測・可視化技術

日本バーチャルリアリティ学会 サイバースペースと仮想都市研究会 第１０回シンポジウム 「仮想都市を生きる」論文集　2007

少数の基準位置情報を移動無線端末間で補完する位置推定手法の提案と評価

情報処理学会論文誌　Vol. Vol.48, No.12, pp.3977-3986　2007

Synthesizing Realistic Vehicular Mobility for Precise Simulation of Inter-vehicle Communication

2007

Deriving Protocol Specifications from Service Specifications Written as Predicate/Transition-Nets

Computer Networks　Vol. Vol. 51, pp.258-284　2007

安全な多重帰属制御を実現する VPN 分散管理プロトコルの提案

情報処理学会論文誌　Vol. Vol.48, No.2, pp.412-421　2007

Deriving protocol specifications from service specifications written as Predicate/Transition-nets

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor v. Bochmann, Teruo Higashino

COMPUTER NETWORKS　Vol. 51　No. 1　p. 258-284　2007/01

Mobility-aware data management on mobile wireless networks

Akiko Yamasaki, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino

IEEE Vehicular Technology Conference　p. 679-683　2007

Ad-hoc Localization in Urban District

Proceedings of the 26th Annual IEEE Conference on Computer Communications (Infocom2007) Minisymposium　2007

Efficient VANET-based Traffic Information Sharing using Buses on Regular Routes

2007

Efficient Parallel Simulation of Mobile Wireless Networks by Run-time Prediction of Multi-hop Propagation Delay

2007

A Middleware for Implementation and Evaluation of Application Layer Multicast Protocols in Real Environments

2007

A WDS Clustering Algorithm for Wireless Mesh Networks

2007

Development Environment for Mobile Ad-hoc Network Systems Using Network Simulator MobiREAL

Vol. Vol.48, No.7, pp.2238-224　2007

Performance evaluation of mobile wireless communication and services with modelling of real environment

Akira Uchiyama, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino

International Journal of Ad Hoc and Ubiquitous Computing　Vol. 2　No. 4　p. 239-249　2007

Efficient acquisition of local traffic information using inter-vehicle communication with queries

Takeshi Fujiki, Masayuki Kirimura, Takaaki Umedu, Teruo Higashino

IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC　p. 241-246　2007

Efficient acquisition of local traffic information using inter-vehicle communication with queries

Takeshi Fujiki, Masayuki Kirimura, Takaaki Umedu, Teruo Higashino

IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC　p. 241-246　2007

Automated Technology for Verification and Analysis

Springer　2007

Proposal and Evaluation of Localization Algorithm for Mobile Nodes and Sparsely Deployed Landmarks

Vol. Vol.48, No.12, pp.3977-3986　2007

Synthesizing Realistic Vehicular Mobility for Precise Simulation of Inter-vehicle Communication

2007

Deriving protocol specifications from service specifications written as Predicate/Transition-nets

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor v. Bochmann, Teruo Higashino

COMPUTER NETWORKS　Vol. 51　No. 1　p. 258-284　2007/01

Design of Incentive Mechanism for Constructing Minimum Delay Multicast among Selfish End Users

Shimizu Yoshinori, Nakamura Yoshitaka, Yamaguchi Hirozumi, Higashino Teruo

IPSJ SIG Notes　Vol. 2006　No. 96　p. 55-60　2006/09/15

車車間通信を用いた渋滞情報収集システムにおける情報伝播方法の改善

SHINKAWA TAKASHI, TERAUCHI TAKASHI, KITANI TOMOYA, SHIBATA NAOKI, YASUMOTO KEIICHI, HIGASHINO TERUO, ITO MINORU

情報処理学会シンポジウム論文集　Vol. 2006　No. 6-1　p. 225-228　2006/07/05

MANET上での情報検索のための需要に基づいた情報複製配置方式

ENOMOTO MAKOTO, SHIBATA NAOKI, YASUMOTO KEIICHI, ITO MINORU, HIGASHINO TERUO

情報処理学会シンポジウム論文集　Vol. 2006　No. 6-1　p. 137-140　2006/07/05

Petri net-based protocol synthesis with minimum communication costs

Khaled El-Fakih, Hirozumi Yamaguchi, Gregor v. Bochmann, Teruo Higashino

JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS　Vol. 343　No. 4-5　p. 501-520　2006/07

Petri net-based protocol synthesis with minimum communication costs

Khaled El-Fakih, Hirozumi Yamaguchi, Gregor v. Bochmann, Teruo Higashino

JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS　Vol. 343　No. 4-5　p. 501-520　2006/07

遭遇端末の位置情報と地理情報を併用した高精度な位置推定手法の提案と評価(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)

内山彰, 山口弘純, 梅津高朗, 東野輝夫

情報処理学会研究報告. MBL, [モバイルコンピューティングとユビキタス通信研究会研究報告]　Vol. 2006　No. 50　p. 13-18　2006/05/18

遭遇端末の位置情報と地理情報を併用した高精度な位置推定手法の提案と評価(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)

内山彰, 山口弘純, 梅津高朗, 東野輝夫

電子情報通信学会技術研究報告. MoMuC, モバイルマルチメディア通信　Vol. 106　No. 44　p. 13-18　2006/05/11

An optimal access-point allocation for wireless infrastrcuture mesh netwroks

Nobuo Funabiki, Toru Nakanishi, Yohei Nomura, Tamer Farag, Shigeto Tajima, Teruo Higashino

Proc. of 16th International Conference on Computer Theory and Applications　2006

トポロジの多重化によりトラヒック分散を実現した階層型論理トポロジの構成法とそのルーティングアルゴリズム

木谷友哉, 舩曵信生, 東野輝夫

電子情報通信学会技術研究報告　2006

無線メッシュネットワークにおけるゲートウエイ用アクセスポイント選択問題

田島滋人, 舩曵信生, 東野輝夫

第3回アドホックネットワークワークショップ　2006

MANETにおける複数共謀ノードによるパケットドロップ攻撃の検出手法の提案(MBL6: Ad Hoc Network2)

内山彰, 梅津高朗, 安本慶一, 東野輝夫

情報処理学会研究報告. UBI, [ユビキタスコンピューティングシステム]　Vol. 2006　No. 14　p. 257-262　2006

現実的なシミュレーションシナリオが記述可能な無線ネットワークシミュレータMobiREAL

情報処理学会論文誌　Vol. Vol.47, No.2, pp.405-414　2006

広域ネットワークにおける自律的なグループ形成機構を用いた分散ネットワークモニタ方式の提案

情報処理学会論文誌　Vol. Vol.47, No.2, pp.446-454　2006

A MANET Protocol for Information Gathering from Disaster Victims

Proceedings of the 2nd IEEE PerCom Workshop on Pervasive Wireless Networking (PWN 2006)　Vol. pp.447-451　2006

A MANET Protocol for Information Gathering from Disaster Victims

Proceedings of the 2nd IEEE PerCom Workshop on Pervasive Wireless Networking (PWN2006)　Vol. pp.447-451　2006

シミュレーションによるバス通信構造の設計改善を容易化するバスシステム設計支援ツールの提案

情報処理学会論文誌　Vol. Vol.47, No.3, pp.884-896　2006

An Internet Gateway Access-Point Selection Problem for Wireless Infrastructure Mesh Networks

Proceedings of 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06)　Vol. CD-ROM　2006

A Technique for Information Sharing Using Inter-Vehicle Communication with Message Ferrying

Proceedings of 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06)　Vol. CD-ROM　2006

Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation

Vol. CD-ROM　2006

先行道路情報取得プロトコルRMDPの設計と評価

Vol. Vol.47, No. 4, PP.1248-1257　2006

Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks

Proceedings of 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06)　Vol. CD-ROM　2006

A Demand-Oriented Information Retrieval Method on MANET

Proceedings of 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06)　Vol. CD-ROM　2006

Execution Time Analysis for Binary Code Executed on a Pipelined Processor Using Parametric Model Checking

情報処理学会研究報告　Vol. PRO-2006-1-(5), pp.1-12　2006

P2Pアプリケーションの開発と性能評価のための統合開発環境の提案”, 情報処理学会論文誌

Vol. Vol. 47, No. 7, pp. 2194-2201　2006

A Method for Sharing Traffic Jam Information using Inter-Vehicle Communication

Proceedings of the 2nd International Workshop on Vehicle-to-Vehicle Communications 2006 (V2VCOM 2006)　Vol. CD-ROM　2006

A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios

Proc. of the 43rd ACM/IEEE Annual Design Automation Conference (DAC 2006)　2006

A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata

International Journal of Foundations of Computer Science,　Vol. Vol.17, No.4, pp.833-850　2006

豊かで高信頼なアンビエントネットワークの構築をめざして

2006

Detecting Dangerous Vehicles on Intelligent Transportation Systems

Proceedings of 1st IEEE Workshop on Automotive Networking and Applications (AutoNet 2006)　Vol. CD-ROM, no2.pdf　2006

現実的なシミュレーションシナリオが記述可能な無線ネットワークシミュレータMobiREAL

情報処理学会論文誌　Vol. Vol.47, No.2, pp.405-414/,　2006

広域ネットワークにおける自律的なグループ形成機構を用いた分散ネットワークモニタ方式の提案

情報処理学会論文誌　Vol. Vol.47, No.2, pp.446-454/,　2006

A MANET Protocol for Information Gathering from Disaster Victims

Proceedings of the 2nd IEEE PerCom Workshop on Pervasive Wireless Networking (PWN 2006)　Vol. pp.447-451　2006

シミュレーションによるバス通信構造の設計改善を容易化するバスシステム設計支援ツールの提案

情報処理学会論文誌　Vol. Vol.47, No.3, pp.884-896/,　2006

MobiREAL Simulator Achieving Realistic Performance Evaluation of MANET

Vol. Vol.47, No.2, pp.405-414　2006

A MANET Protocol for Information Gathering from Disaster Victims

Proceedings of the 2nd IEEE PerCom Workshop on Pervasive Wireless Networking (PWN 2006)　Vol. pp.447-451　2006

A MANET Protocol for Information Gathering from Disaster Victims

Vol. pp.447-451　2006

A CAD Tool for Modeling and Simulation of Bus Systems to Facilitate Refinement of Bus Communication Structure

IPSJ Journal　Vol. Vol.47, No.3, pp.884-896　2006

An Internet Gateway Access-Point Selection Problem for Wireless Infrastructure Mesh Networks

Proceedings of 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06)　Vol. CD-ROM　2006

Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation

Vol. CD-ROM　2006

A Technique for Information Sharing Using Inter-Vehicle Communication with Message Ferrying

Proceedings of 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06)　Vol. CD-ROM　2006

Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks

Proceedings of 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06)　Vol. CD-ROM　2006

A Demand-Oriented Information Retrieval Method on MANET

Proceedings of 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06)　Vol. CD-ROM　2006

A Method for Sharing Traffic Jam Information using Inter-Vehicle Communication

Proceedings of the 2nd International Workshop on Vehicle-to-Vehicle Communications 2006 (V2VCOM 2006)　Vol. CD-ROM　2006

A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios

Proc. of the 43rd ACM/IEEE Annual Design Automation Conference (DAC 2006)　2006

A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata

International Journal of Foundations of Computer Science,　Vol. Vol.17, No.4, pp.833-850　2006

Detecting Dangerous Vehicles on Intelligent Transportation Systems

Vol. CD-ROM, no2.pdf　2006

MobiREAL Simulator Achieving Realistic Performance Evaluation of MANET

Vol. Vol.47, No.2, pp.405-414/,　2006

A MANET Protocol for Information Gathering from Disaster Victims

Proceedings of the 2nd IEEE PerCom Workshop on Pervasive Wireless Networking (PWN 2006)　Vol. pp.447-451　2006

A CAD Tool for Modeling and Simulation of Bus Systems to Facilitate Refinement of Bus Communication Structure

IPSJ Journal　Vol. Vol.47, No.3, pp.884-896/,　2006

Double depth first search based parametric analysis for parametric time-interval automata

T Tanimoto, A Nakata, H Hashimoto, T Higashino

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　Vol. E88A　No. 11　p. 3007-3021　2005/11

Double depth first search based parametric analysis for parametric time-interval automata

T Tanimoto, A Nakata, H Hashimoto, T Higashino

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　Vol. E88A　No. 11　p. 3007-3021　2005/11

Double depth first search based parametric analysis for parametric time-interval automata

T Tanimoto, A Nakata, H Hashimoto, T Higashino

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　Vol. E88A　No. 11　p. 3007-3021　2005/11

Double depth first search based parametric analysis for parametric time-interval automata

T Tanimoto, A Nakata, H Hashimoto, T Higashino

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　Vol. E88A　No. 11　p. 3007-3021　2005/11

A propagation method of congestion information using inter-vehicle communication for alleviation of traffic jam

TERAUCHI Takashi, SHIBATA Naoki, YASUMOTO Keiichi, HIGASHINO Teruo, ITO Minoru

Vol. 2005　No. 89　p. 71-76　2005/09/05

Proposal of Service Design Technique to Achieve Service by Component Cooperation on Overlay Network

Nakamura Yoshitaka, Yamaguchi Hirozumi, Hiromori Akihito, Higashino Teruo

IPSJ SIG Notes　Vol. 2005　No. 33　p. 321-326　2005/03/22

Proposal of a Navigation System for Dissolving Traffic Congestion with Inter-Vehicle Communication

Terauchi Takashi, Shibata Naoki, Yasumoto Keiichi, Higashino Teruo, Ito Minoru

IPSJ SIG Notes　Vol. 2005　No. 33　p. 7-12　2005/03/22

Implementation of Group Navigation System for Mobile Terminals

NAKAMURA Masatoshi, REN Gui-Quan, NAKAMURA Yoshitaka, UMEDU Takaaki, HIGASHINO Teruo

情報処理学会研究報告高度交通システム（ITS）　Vol. 2005　No. 21　p. 83-88　2005/03/11

階層型コーダルリングネットワークにおけるコンパクトルーティングアルゴリズム

木谷友哉, 舩曵信生, 東野輝夫

電子情報通信学会技術研究報告, NS2005-145　2005

マルチホップ WDM ネットワークにおけるトラヒック分散のための静的トポロジ構成法の改善

木谷友哉, 舩曵信生, 東野輝夫

電子情報通信学会技術研究報告, NS2005-76　2005

無線LANのWDSにおけるAP間通信へのリンクスケジューリングアルゴリズムの適用

田島滋人, 舩曵信生, 東野輝夫

電子情報通信学会技術研究報告, NS2005-74　2005

Evaluation of inter-vehicle ad-hoc communication protocol

Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino

Proceedings - International Conference on Advanced Information Networking and Applications, AINA　Vol. 1　p. 78-83　2005

Automatic Decomposition of Java Program for Implementation on Mobile Terminals

Proceedings of 19th IEEE International Conference on Advanced Information Networking and Applications (AINA2005)　Vol. p.544-549　2005

Optical-drop wavelength assignment problem for wavelength reuse in WDM ring metropolitan area networks

Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA2005)　Vol. pp. 999-1004　2005

Personally Customizable Group Navigation System using Cellular Phones and Wireless Ad-hoc Communication

Proceedings of the 2005 IEEE International Conference on Multimedia & Expo(ICME2005)　Vol. CD-ROM, cr1738.pdf　2005

An Efficient Overlay Multicast Protocol for Heterogeneous Users

情報処理学会論文誌　Vol. Vol.46, No.11, pp.2614-2622　2005

先行経路上の道路情報取得用アドホック通信プロトコルの開発

情報処理学会論文誌　Vol. Vol.46, No.11, pp.2695-2703　2005

Future of Mobile and Ubiquitous Computing

Proceedings of the First International Workshop on Network Architecture and Service Models (NASM 2005)　2005

リアルタイム組込みシステムの動的再構成可能プロセッサへの一実装方法の提案

電子情報通信学会技術研究報告 105 450(RECONF2005-53~58) pp.31-36　Vol. RECONF2005-53~58, pp.31-36　2005

帯域制約のもとで遅延最小のオーバレイマルチキャスト木を構築する分散アルゴリズム

電子情報通信学会論文誌D-I　Vol. Vol.J88-D-I, No.11, pp.1648-1658　2005

シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法

情報処理学会研究報告 2005 121(2005-SLDM-122) pp.157-162　Vol. 2005-SLDM-122, pp.157-162　2005

A proposal of a node configuration algorithm for WDM ring networks

Proceedings of International Conference on Optical Communications and Networks (ICOCN-2005)　2005

リアルタイム組込みシステムを対象とした高信頼性ハードウェア設計のための一 手法

電子情報通信学会論文誌A　Vol. Vol.J88-A, No.12, pp.1487-1496　2005

Optical-drop wavelength assignment problem for wavelength reuse in WDM ring metropolitan area networks

Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA2005)　Vol. pp. 999-1004　2005

An Efficient Overlay Multicast Protocol for Heterogeneous Users

情報処理学会論文誌　Vol. Vol.46, No.11, pp.2614-2622/,　2005

先行経路上の道路情報取得用アドホック通信プロトコルの開発

情報処理学会論文誌　Vol. Vol.46, No.11, pp.2695-2703/,　2005

Future of Mobile and Ubiquitous Computing

Proceedings of the First International Workshop on Network Architecture and Service Models (NASM 2005)　2005

帯域制約のもとで遅延最小のオーバレイマルチキャスト木を構築する分散アルゴリズム

電子情報通信学会論文誌D-I　Vol. Vol.J88-D-I, No.11, pp.1648-1658/,　2005

A proposal of a node configuration algorithm for WDM ring networks

Proceedings of International Conference on Optical Communications and Networks (ICOCN-2005)　2005

リアルタイム組込みシステムを対象とした高信頼性ハードウェア設計のための一 手法

電子情報通信学会論文誌A　Vol. Vol.J88-A, No.12, pp.1487-1496/,　2005

オーバレイネットワーク上で遅延最小木を動的に構築する分散型プロトコルMODEの提案と評価

情報処理学会論文誌　Vol. Vol.46,No.2,pp.482-492/,　2005

Evaluation of Inter-Vehicle Ad-hoc Communication Protocol

Vol. pp.78-83　2005

Automatic Decomposition of Java Program based on Simulation and its Implementation on Mobile Terminals

2005

Toward Future Innovation of Mobile Communication Systems - Current Requirements for Research -

Proceedings of the 2nd International Conference on Mobile Computing and Ubiquitous Networking (ICMU2005)　Vol. pp. 2-7　2005

Toward Future Innovation of Mobile Communication Systems - Current Requirements for Research -

2005

MODE for Mobile - An Efficient Overlay Multicast Protocol for Heterogeneous Users

Proceedings of the 2nd International Conference on Mobile Computing and Ubiquitous Networking (ICMU2005)　Vol. pp. 96-101　2005

FLEXA: Distributed and Flexible Network Monitoring with Autonomous Group Formation

2005

A Formal Approach to Design Optimized Multimedia Service Overlay

Proceedings of the ACM 15th International Workshop on Network and Operating Systems Support for Digital Audio and Video　Vol. pp.57-62　2005

Framework and Rule-based Language for Facilitating Context-aware Computing using Information Appliances

2005

Design and Implemetation of Overlay Multicast Protocol for Multimedia Streaming

Vol. pp.41-48　2005

Personally Customizable Group Navigation System using Cellular Phones and Wireless Ad-hoc Communication

2005

Automatic Decomposition of Java Program for Implementation on Mobile Terminals

Vol. p.544-549　2005

Evaluation of Inter-Vehicle Ad-hoc Communication Protocol

Vol. p. 78-83　2005

Personally Customizable Group Navigation System using Cellular Phones and Wireless Ad-hoc Communication

Vol. CD-ROM, cr1738.pdf　2005

Future of Mobile and Ubiquitous Computing

Proceedings of the First International Workshop on Network Architecture and Service Models (NASM 2005)　2005

A proposal of a node configuration algorithm for WDM ring networks

Proceedings of International Conference on Optical Communications and Networks (ICOCN-2005)　2005

Future of Mobile and Ubiquitous Computing

Proceedings of the First International Workshop on Network Architecture and Service Models (NASM 2005)　2005

A proposal of a node configuration algorithm for WDM ring networks

Proceedings of International Conference on Optical Communications and Networks (ICOCN-2005)　2005

A Decentralized Protocol MODE for Minimum Delay Spanning Trees on Overlay Networks

IPSJ Transactions　Vol. Vol.46,No.2,pp.482-492/,　2005

Toward Future Innovation of Mobile Communication Systems - Current Requirements for Research -

Proceedings of the 2nd International Conference on Mobile Computing and Ubiquitous Networking (ICMU2005)　Vol. pp. 2-7　2005

MODE for Mobile - An Efficient Overlay Multicast Protocol for Heterogeneous Users

Proceedings of the 2nd International Conference on Mobile Computing and Ubiquitous Networking (ICMU2005)　Vol. pp. 96-101　2005

A Formal Approach to Design Optimized Multimedia Service Overlay

Proceedings of the ACM 15th International Workshop on Network and Operating Systems Support for Digital Audio and Video　Vol. pp.57-62　2005

Design and Implemetation of Overlay Multicast Protocol for Multimedia Streaming

Vol. pp.41-48　2005

A Study on a Realistic Network Simulator for MANET Applications

Konishi Kazuki, Uchiyama Akira, Hiromori Akihito, Yamaguchi Hirozumi, Yasumoto Keiichi, Higashino Teruo, Taniguchi Kenichi

Vol. 2004　No. 114　p. 55-62　2004/11/11

携帯端末の現実的な移動モデルを表現可能なネットワークシミュレータの設計と実装(マルチメディアアプリケーション)

前田久美子, 佐藤和基, 小西一樹, 内山彰, 廣森聡仁, 山口弘純, 安本慶一, 東野輝夫

情報処理学会研究報告. マルチメディア通信と分散処理研究会報告　Vol. 2004　No. 89　p. 21-27　2004/09/02

Reducing the Size of Routing Tables for Large-scale Network Simulation

HIROMORI AKIHITO, YAMAGUCHI HIROZUMI, YASUMOTO KEIICHI, HIGASHINO TERUO, TANIGUCHI KENICHI

IPSJ journal　Vol. 45　No. 4　p. 1134-1143　2004/04/15

An application level multicast protocol for multi-party visual communication systems

YAMAGUCHI Hirozumi, NAKAMURA Yoshitaka, HIROMORI Akihito, YASUMOTO Keiichi, HIGASHINO Teruo, TANIGUCHI Kenichi, Hirozumi Yamaguchi, Yoshitaka Nakamura, Akihito Hiromori, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi, Graduate School of Information Science and Technology Osaka University・, Graduate School of Information Science and Technology Osaka University・, Graduate School of Information Science and Technology Osaka University・, Graduate School of Information Science Nara Institute of Science and Technology, Graduate School of Information Science and Technology Osaka University・, Graduate School of Information Science and Technology Osaka University・

Computer Software　Vol. 21　No. 2　p. 83-93　2004/03/25

Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications

Proceedings of 2004 IEEE International Conference on Mobile Data Management　Vol. p.170　2004

無線ネットワークのリンクスケジューリング問題に対するヒューリスティック解法の提案

情報処理学会論文誌　2004

Middleware Providing Group Communication Facility Based on Muliti-way Synchronization for Cellular Phone Applications

Proceedings of the 4th International Workshop on Smart Appliances and Wearable Computing　2004

外部入力のみを保持できる整数変数を持つFSMに対する記号モデル検査法

電子情報通信学会論文誌D-I　Vol. Vol.J87-D1, No.4, pp.462-470　2004

Compact tree plus algorithms for application-level multicast communications in multihome networks

Proceedings of the IEEE International Conference on Networks 2004 (ICON 2004)　Vol. pp. 139-144　2004

A Minimum Dead Space Algorithm for Wavelength Reuse Problems in WDM Ring Metropolitan Area Networks

Proceedings of International Conference on Optical Communications and Networks (ICOCN-2004)　Vol. pp. 371-374　2004

Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications

Proceedings of 2004 IEEE International Conference on Mobile Data Management　Vol. p.170　2004

無線ネットワークのリンクスケジューリング問題に対するヒューリスティック解法の提案

情報処理学会論文誌　2004

Middleware Providing Group Communication Facility Based on Muliti-way Synchronization for Cellular Phone Applications

Proceedings of the 4th International Workshop on Smart Appliances and Wearable Computing　2004

外部入力のみを保持できる整数変数を持つFSMに対する記号モデル検査法

電子情報通信学会論文誌D-I　Vol. Vol.J87-D1, No.4, pp.462-470/,　2004

Compact tree plus algorithms for application-level multicast communications in multihome networks

Proceedings of the IEEE International Conference on Networks 2004 (ICON 2004)　Vol. pp. 139-144　2004

A Minimum Dead Space Algorithm for Wavelength Reuse Problems in WDM Ring Metropolitan Area Networks

Proceedings of International Conference on Optical Communications and Networks (ICOCN-2004)　Vol. pp. 371-374　2004

An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS2004)　2004

バスアクセス方式およびバス調停方式の最適化を支援するバスシステム設計支援ツールの提案

第17回 回路とシステム軽井沢ワークショップ 論文集　2004

A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing

STUDIA INFORMATICA UNIVERSALIS　2004

P2PMM router: a Two-Stage Heuristic Algorithm to Peer-to-Peer Multicast Routing Problems in Multihome Networks

2004

アサーションベース設計原著2版「監訳」

丸善株式会社　2004

A Minumum Dead Space Algorithm for Generalized Isochronous Channel Reuse Problem in DQDB Networks

IEICE Transactions on Communications　2004

外部入力値のみを保持できる整数変数を持つFSMに対する記号モデル検査法

電子情報通信学会論文誌, Vol.J87-DI, No.4, pp.462-470　Vol. Vol.J87-DI, No.4, pp.462-470/,　2004

Inter-vehicle Ad-hoc Communication Protocol for Acquiring Local Traffic Information

Proceedings of 11th World Congress on ITS　2004

A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata

Proceedings of 2nd International Symposium on Automated Technology for Verification and Analysis, Lecture Notes in Computer Science, Vol. 3299　Vol. Vol. 3299　2004

A Proposal of Hierarchical Chordal Ring Network Topology for WDM Networks

2004

コンテキストに基づいたグループ形成とグループ通信機能を提供する携帯電話向けミドルウェア

情報処理学会論文誌　Vol. Vol.45, No. 12, pp.2666-2677/,　2004

マルチランデブに基づくグループ通信機能を提供するJavaミドルウェアの提案

情報処理学会論文誌　2004

A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems

2004

エンドホストの動画像フィルタリングによるアプリケーション層でのQoSマルチキャストの実現

情報処理学会論文誌，Vol.45，No.2　Vol. Vol.45,No.2/,　2004

大規模シミュレーション向けのルーティングテーブル容量の削減

情報処理学会論文誌，Vol.45，No.4　Vol. Vol.45,No.4/,　2004

A Heuristic Algorithm for Link Scheduling Problems in Packet Radio Networks

2004

Middleware Providing Group Communication Facility Based on Muliti-way Synchronization for Cellular Phone Applications

Proceedings of the 4th International Workshop on Smart Appliances and Wearable Computing　2004

Compact tree plus algorithms for application-level multicast communications in multihome networks

Proceedings of the IEEE International Conference on Networks 2004 (ICON 2004)　Vol. pp. 139-144　2004

A Minimum Dead Space Algorithm for Wavelength Reuse Problems in WDM Ring Metropolitan Area Networks

Proceedings of International Conference on Optical Communications and Networks (ICOCN-2004)　Vol. pp. 371-374　2004

A Heuristic Algorithm for Link Scheduling Problems in Packet Radio Networks

2004

Middleware Providing Group Communication Facility Based on Muliti-way Synchronization for Cellular Phone Applications

Proceedings of the 4th International Workshop on Smart Appliances and Wearable Computing　2004

Compact tree plus algorithms for application-level multicast communications in multihome networks

Proceedings of the IEEE International Conference on Networks 2004 (ICON 2004)　Vol. pp. 139-144　2004

A Minimum Dead Space Algorithm for Wavelength Reuse Problems in WDM Ring Metropolitan Area Networks

Proceedings of International Conference on Optical Communications and Networks (ICOCN-2004)　Vol. pp. 371-374　2004

An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS2004)　2004

A CAD Tool for Modeling and Simulation of Bus Systems to Optimize Bus Access and Bus Arbitration

2004

A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing

STUDIA INFORMATICA UNIVERSALIS　2004

P2PMM router: a Two-Stage Heuristic Algorithm to Peer-to-Peer Multicast Routing Problems in Multihome Networks

2004

Assertion-Based Design Second Edition (Japanese Translated)

Maruzen (Japanese Edition) , Kluwer Academic Publishers (Original)　2004

A Minumum Dead Space Algorithm for Generalized Isochronous Channel Reuse Problem in DQDB Networks

IEICE Transactions on Communications　2004

Symbolic Model Checking of Extended Finite State Machines with Linear Constraints over Integer Variables

Vol. Vol.J87-DI, No.4, pp.462-470/,　2004

Inter-vehicle Ad-hoc Communication Protocol for Acquiring Local Traffic Information

Proceedings of 11th World Congress on ITS　2004

A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata

Proceedings of 2nd International Symposium on Automated Technology for Verification and Analysis, Lecture Notes in Computer Science, Vol. 3299　Vol. Vol. 3299　2004

A proposal of hierarchical chordal ring network topology for WDM networks

Tomoya Kitani, Nobuo Funabiki, Teruo Higashino

Proceedings - IEEE International Conference on Networks, ICON　Vol. 2　p. 605-609　2004

A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems

2004

自律的なグループ形成機構を用いた分散型ネットワークモニタの実装とその評価(セッション5:分散処理)

内山彰, 梅津高朗, 安本慶一, 東野輝夫

情報処理学会研究報告. マルチメディア通信と分散処理研究会報告　Vol. 2003　No. 113　p. 51-56　2003/11/30

An Adaptive Routing Table Reconstruction Method for Mobile Ad-Hoc Network Simulation

HIROMORI AKIHITO, YAMAGUCHI HIROZUMI, YASUMOTO KEIICHI, HIGASHINO TERUO, TANIGUCHI KENICHI

IPSJ SIG technical reports　No. 27　p. 137-143　2003/11/13

An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree

MALINDA Thilmee, HIROMORI Akihito, YAMAGUCHI Hirozumi, HIGASHINO Teruo

IPSJ SIG Notes　Vol. 115　p. 33-38　2003/11/13

An Adaptive Routing Table Reconstruction Method for Mobile Ad-Hoc Network Simulation

HIROMORI AKIHITO, YAMAGUCHI HIROZUMI, YASUMOTO KEIICHI, HIGASHINO TERUO, TANIGUCHI KENICHI

Vol. 2003　No. 114　p. 137-143　2003/11/13

大規模ネットワークシミュレーション向けのルーティングテーブルの容量削減法の提案と実装

廣 森聡仁, 山口 弘純, 安本 慶一, 東野 輝夫, 谷口 健一

第65回全国大会講演論文集　Vol. 2003　No. 1　p. 277-278　2003/03/25

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets

H Yamaguchi, K El-Fakih, G von Bochmann, T Higashino

DISTRIBUTED COMPUTING　Vol. 16　No. 1　p. 21-35　2003/02

Deformable-Templateマッチング法による眼の輪郭線抽出に関する研究

小田政志, 舩曵信生, 東野輝夫

電子情報通信学会技術研究報告, PRMU2003-140　2003

A proposal of a two-stage heuristic algorithm for peer-to-peer multicast routing problems in multihome networks

Nobuo Funabiki, Jun Kawashima, Akihito Kubo, Kiyohiko Okayama, Teruo Higashino

Proc. of The Fifth Metaheuristics International Conference (MIC-2003)　2003

On Designing End-user Multicast for Multiple Video Sources

Proceedings of the 2003 IEEE International Conference on Multimedia & Expo (ICME2003)　2003

Deformable Templateマッチング法による唇輪郭抽出法の改良と歯科医療応用を目的とした評価

電子情報通信学会論文誌D-II, Vol.J86-D-II, No.8, pp.1177-1185 (Aug. 2003).　Vol. Vol.J86-D-II, No.8, pp.1177-1185 (Aug. 2003)　2003

Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems

Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE2003)　2003

Emma Middleware: Application-level Multicast Infrastructure for Multi-party Video Communication

Proceedings of the 15th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS2003)　2003

Deformable Templateマッチング法による唇輪郭抽出法の改良と歯科医療応用を目的とした評価

電子情報通信学会論文誌(D-II)　Vol. J86-D-II(8), 1177-1185　2003

On Designing End-user Multicast for Multiple Video Sources

Proceedings of the 2003 IEEE International Conference on Multimedia & Expo (ICME2003)　2003

Deformable Templateマッチング法による唇輪郭抽出法の改良と歯科医療応用を目的とした評価

電子情報通信学会論文誌D-II, Vol.J86-D-II, No.8, pp.1177-1185 (Aug. 2003).　Vol. Vol.J86-D-II, No.8, pp.1177-1185 (Aug. 2003)/,　2003

Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems

Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE2003)　2003

Emma Middleware: Application-level Multicast Infrastructure for Multi-party Video Communication

Proceedings of the 15th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS2003)　2003

Deformable Templateマッチング法による唇輪郭抽出法の改良と歯科医療応用を目的とした評価

電子情報通信学会論文誌(D-II)　Vol. J86-D-II(8), 1177-1185/,　2003

高速ネットワーク向けネットワークモニタ回路の設計と実装

情報処理学会論文誌　Vol. 44　No. 6　p. 1593-1603　2003

双方向マンハッタンストリートネットワークのノード配置問題に対する階層型近似アルゴリズムの提案

電子情報通信学会論文誌　Vol. J86-D-I　No. 2　p. 99-107　2003

並行周期EFSMに対するパラメトリックモデル検査手法

電子情報通信学会論文誌　Vol. J86-D-I　No. 2　p. 75-87　2003

On Designing End-user Multicast for Multiple Video Sources

Proceedings of the 2003 IEEE International Conference on Multimedia & Expo (ICME2003)　2003

Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems

2003

Emma Middleware: Application-level Multicast Infrastructure for Multi-party Video Communication

Proceedings of the 15th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS2003)　2003

On Designing End-user Multicast for Multiple Video Sources

Proceedings of the 2003 IEEE International Conference on Multimedia & Expo (ICME2003)　2003

Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems

2003

Emma Middleware: Application-level Multicast Infrastructure for Multi-party Video Communication

Proceedings of the 15th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS2003)　2003

Emma Middleware: An Application-level Multicast Infrastructure for Multi-party Video Communication

Proc. of PDCS2003　2003

Design of Media Synchronization Protocols using Parametric Model Checking and Functional Testing

Proc. of WTRTES 2003　p. 51-62　2003

A Two-stage Hierarchical Algorithm for Wavelength Assignment in WDM-based Bidirectional Manhattan Street Networks

Proc. of ICON2003　p. 417-424　2003

Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems

Proc of IFIP FORTE2003　p. 399-414　2003

QoS Functional Testing for Multi-media Systems

Proc. of IFIP FORTE2003　p. 319-334　2003

Design and Implementation of Priority Queuing Mechanism on FPGA using Concurrent Periodic EFSMs and Parametric Model Checking

Proc. of FPL2003　p. 1145-1148　2003

On Designing End-user Multicast for Multiple Video Sources

Proc. of IEEE ICME2003　Vol. III　p. 497-500　2003

Reducing the Size of Routing Tables for Large-scale Network Simulation

Proc. of IEEE PADS'03 (selected as one of three best papers)　p. 115-122　2003

A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications

Proc. of MNSA2003　p. 531-536　2003

A Proposal of a Minimal-state Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks

Proc. of AINA2003　p. 229-232　2003

A proposal of a minimal-state processing search algorithm for link scheduling problems in packet radio networks

Proc. of SAINT 2003　p. 128-135　2003

Improving Robustness of Application Layer Multicast Protocol Emma

NAKAMURA Yoshitaka, HIROMORI Akihito, YAMAGUCHI Hirozumi, YASUMOTO Keiichi, HIGASHINO Teruo

IPSJ SIG Notes　Vol. 110　No. 108　p. 7-12　2002/11/21

A quasi-solution state evolution algorithm for channel assignment problems in cellular networks

N Funabiki, T Nakanishi, T Yokohira, S Tajima, T Higashino

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　Vol. E85A　No. 5　p. 977-987　2002/05

ユーザの移動情報を利用したモバイル・マルチキャストルーティング問題の一解法

常村和史, 田島滋人, 中田明夫, 舩曵信生, 東野輝夫

マルチメディア，分散，協調とモバイルシンポジウム(DICOMO 2002)講演集　2002

ネットワークのリンクスケジューリングにおけるタイムスロット数下限値算出法の改善

田島滋人, 舩曵信生, 東野輝夫

マルチメディア，分散，協調とモバイルシンポジウム(DICOMO 2002)講演集　2002

通信プロトコルの試験系列生成問題に対するSATアルゴリズム適用法の提案

電子情報通信学会論文誌　Vol. J85-D-I　No. 11　p. 1038-1046　2002

静的およびモバイル・マルチキャストルーティング問題に対する最適パス選択解法の提案

電子情報通信学会論文誌 A　Vol. J85-A　No. 3　p. 358-369　2002

マルチランデブチャネルの動的確立機構を持つモバイルアプリケーション記述言語の提案

コンピュータソフトウェア（ソフトウェア科学会論文誌）　Vol. 19　No. 2　p. 35-46　2002

IPマルチキャスト環境における複製動画像サーバ選択アルゴリズム

情報処理学会論文誌　Vol. 43　No. 2　p. 408-417　2002

Middleware for Synchronous Group Communication in Wireless Ad Hoc Networks

Proc. of CCN2002　p. 48-53　2002

Design and Implementation of FPGA Circuits for High Speed Network Monitors

Proc. of FPL2002　p. 393-403　2002

A Server Selection Algorithm for Replicated Video Multicast Based on Packet Monitoring

Proc. of ICPP2002　p. 556-563　2002

A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels

Proc. of FME2002　p. 607-624　2002

Protocol Animation based on Event-driven Visualization Scenarios in Real-time LOTOS

Computer Networks　Vol. 40　No. 5　p. 639-663　2002

A Constraint-Oriented Design Method for Distributed Cooperative Systems and Efficient Verification Using Symmetries

International Journal of Computer and Information Science　Vol. 3　No. 2　p. 125-136　2002

A Method for Functional Testing of Media Synchronization Protocols

Proc. of ICOIN16　2002

An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems

Proc. of ICOIN16　2002

A Proposal of a Quasi-solution State Evolution Algorithm for Channel Assignment Problems

Proc of IEEE 16th International Conference on Information Networking (ICOIN-16)　2002

A Protocol for Application Layer Multicast Based on Users' Preference

YAMAGUCHI Hirozumi, NAKAMURA Yoshitaka, HIROMORI Akihito, YASUMOTO Keiichi, HIGASHINO Teruo, TANIGUCHI Kenichi

IPSJ SIG Notes　Vol. 107　No. 32　p. 43-48　2001/10/19

A compiler to implement LOTOS specifications in distributed environments

K Yasumoto, T Higashino, K Taniguchi

COMPUTER NETWORKS　Vol. 36　No. 2-3　p. 291-310　2001/07

Improving Scalability in Monitoring-based Multicast Server Selection

HIROMORI Akihito, YAMAGUCHI Hirozumi, YASUMOTO Keiichi, HIGASHINO Teruo, TANIGUCHI Kenichi

IPSJ SIG Notes　Vol. 105　p. 31-36　2001/05/26

複数のマルチキャストストリーム配送における品質満足度を考慮した中継サーバ選択方式の提案

廣 森聡仁, 山口 弘純, 東野 輝夫, 谷口 健一, 安本 慶一

第62回全国大会講演論文集　Vol. 2001　No. 1　p. 419-420　2001/03/13

ネットワークのリンクスケジューリングへのグラフ彩色アプローチ

田島滋人, 舩曵信生, 東野輝夫, 横平徳美, 中西透

電子情報通信学会技術研究報告, COMP2001-71　2001

Deformable-Templateマッチング法による唇輪郭抽出法の改良としきい値自動調整アルゴリズムの提案

横川勇仁, 船曵信生, 東野輝夫, 森悦秀

電子情報通信学会技術研究報告, MI2001-434　2001

モバイル・マルチキャストルーティング問題に対する最適パス選択解法の提案

常村和史, 田島滋人, 藤井雅和, 中田明夫, 横平徳美, 舩曵信生, 東野輝夫

マルチメディア通信と分散処理ワークショップ講演集　2001

タイマシステムコールを用いるDFSMプロトコルに対する試験系列生成手法

情報処理学会論文誌　Vol. 42-12,3072-3081/,　2001

観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信 プロトコルの適合性試験法

情報処理学会論文誌　Vol. 42　No. 12　p. 3063-3071　2001

制約指向モデルで記述された対称性を持つ並行システムの形式的検証

情報処理学会論文誌　Vol. 42　No. 12　p. 3054-3062　2001

環境適応型のQoS制御を行うネットワーク資源管理システム

コンピュータソフトウェア　Vol. 18　No. 3　p. 243-249　2001

同期通信可能な周期EFSM群のハードウェア構成法

情報処理学会論文誌　Vol. 42　No. 3　p. 542-551　2001

関数合成による唇輪郭抽出法の提案

電子情報通信学会英論文誌(D-(]G0002[))　Vol. J84-D-(]G0002[)　No. 3　p. 459-470　2001

SMILへのQoS保証文の導入とその柔軟な実装法

情報処理学会論文誌　Vol. 42　No. 2　p. 116-125　2001

A minimal-state processing serch algorithm for satisfiability problems

Proc. of ICSMC　p. 2769-2774　2001

Relaxation of coefficient sensitiveness to performance forneural networks using neuron filter through total coloring problems neural networks using neuron filter through total coloring problems

IEICE Transactions on Fundamentals　Vol. E84-A　No. 9　p. 2367-2370　2001

Perspectives in Developing Distributed Cooperative Systems

Proc. of SNPD'01 (Invited Paper, Keynote Speech)　2001

Quality Requirement Coordination in Rate Adaptation of Multiple Layered Video

Proc. of SNPD'01　p. 540-547　2001

Constraint-Oriented Model for Describing Distributed Cooperative Systems and Efficient Deadlock Detection Using Symmetries

Proc. of SNPD'01　p. 584-591　2001

Formal Verification of CPU in Laboratory Work

Proc. of ICMSE2001　p. 32-35　2001

Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment

Proc. of ICOIN-15　p. 163-170　2001

A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs

Proc. of ICOIN-15　p. 155-162　2001

An Adaptive Bandwidth Management System for Guaranteeing QoS Requirements

Computer Software　Vol. 18　No. 3　p. 243-249　2001

Hardware Implementation of Concurrent Periodic EFSMs with Multi-way Synchronization

Trans. of IPSJ　Vol. 42　No. 3　p. 542-551　2001

A proposal of Lip Contour Approximation Method Using the Function Synthesis

Trans. of IEICE　Vol. J84-D-(]G0002[)　No. 3　p. 459-470　2001

Integration of QoS Requirements into SMIL and Its Flexible Implementation

Trans. of IPSJ　Vol. 42　No. 2　p. 116-125　2001

静的マルチキャストルーティング問題に対する２段階解法の提案

藤井雅和, 船曵信生, 東野輝夫

第13回回路とシステム(軽井沢)ワークショップ講演集　2000

既存のプログラムコードを容易に流用できるマルチスレッドプログラミング方式

情報処理学会論文誌　Vol. 41　No. 9　p. 2063-2613　2000

データ付時間オートマトンの双模倣等価性の記号的検証法

情報処理学会論文誌　Vol. 41　No. 9　p. 2487-2497　2000

FPGAの論理ブロックの端子割当問題の定式化と2段階離散最適化法の提案

電子情報通信学会論文誌　Vol. J83-A　No. 8　p. 976-988　2000

遺伝的プログラミングを用いた関数合成アルゴリズムの改良法の提案

電子情報通信学会論文誌　Vol. J83-D-(]G0001[)　No. 4　p. 407-417　2000

時間拡張LOTOSコンパイラの作成とマルチメディアアプリケーションへの応用

情報処理学会論文誌　Vol. 41　No. 2　p. 424-434　2000

Fast and Optimal Multicast-Server Selection Based on Receivers' Preference

Proc. of 7th IDMS　Vol. LNCS 1905　p. 40-52　2000

Extension of SMIL with QoS Control and its Implementation

Proc. of 2000 IEEE ICME　2000

A greedy digital neural-network algorithm for subgraph isomorphism problems

Proc. World Conf. on Sys. Cyb. and Info.　p. 546-551　2000

A greedy-neural combined discrete optimization algorithm for triangle and Kn-subgraph partition problem

Proc. World Conf. on Sys. Cyb. and Info.　p. 557-562　2000

Hardware Implementation of Concurrent Periodic EFSMs

Proc. IFIP FORTE/PSTV2000　p. 280-300　2000

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources

Proc. IEEE ASE' 2000　p. 305-308　2000

Protocol Re-synthesis Based on Extended Petri Nets

Proc. SEPN-2000　p. 173-188　2000

Extension of SMIL with QoS Control and its Implementation

Proc. IEEE ICME2000　Vol. CD　2000

Hardware Implementation of Communication Protocols modeled by Concurrent EFSMs with Multi-way Synchronization

Proc. 37th ACM/IEEE DAC　p. 726-767　2000

Integration of QoS Guarantees into SMIL and its Flexible Implementation

Proc. 8th IWQoS　p. 164-166　2000

A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources

Proc. SNPD' 00　p. 19-26　2000

A Method to Execute Existing Program Codes in Multi-Threaded Environments and Its Implementation

Trans. of IPSJ　Vol. 41　No. 9　p. 2063-2613　2000

A Proposal of Neuron Filter a Constraint Resolution Scheme of Neural networks for Combinatorial Optimization Problems

Trans. of IEICE　Vol. E83-A　No. 9　p. 1815-1823　2000

A Minimal State Processing Search Algorithm for Graph Coloring Problems

Trans. of IEICE　Vol. E83-A　No. 7　p. 1420-1430　2000

A Proposal of an Improved Function Synthesis Algorithm Using Genetic Programming

Trans. of IEICE　Vol. J83-D-(]G0001[)　No. 4　p. 407-417　2000

Development of Realtime LOTOS Compiler and Its Application to Multimedia Systems

Trans. of IPSJ　Vol. 41　No. 2　p. 424-434　2000

A Study of Relation between Quality and Bandwidth Requirements on Dynamic Bandwidth Control Method

Vol. 59　No. 0　p. 535-536　1999/09/28

A proposal of a two-stage discrete optimization method for the maximum clique problem

Nobuo Funabiki, Teruo Higashino

Proc. of International Symposium on Nonlinear Theory and Its Applications　1999

A gradual neural network approach for broadcast scheduling in packet radio networks

Nobuo Funabiki, Yoichi Takenaka, Teruo Higashino

Proc. of IEEE International Joint Conference on Neural Networks　1999

設計検証技術-知らないと損する検証技術-

p. 237-260　1999

冠頭標準形有理数プレスブルガー文の真偽判定アルゴリズムの提案

電子情報通信学会論文誌　Vol. J82-D-1　No. 6　p. 691-700　1999

分散環境でのLOTOS仕様の実現とその評価

情報処理学会論文誌　Vol. 40　No. 1　p. 333-342　1999

多人数参加型アプリケーションにおける品質要求を考慮した帯域制御の一方式

情報処理学会論文誌　Vol. 40　No. 1　p. 132-141　1999

あるクラスの時間オートマトンに対する適合性試験系列生成の一手法

情報処理学会論文誌　Vol. 40　No. 1　p. 85-94　1999

Receiver-Cooperative Bandwidth Management for Layered Multicast

Proc. 1999 IEEE ICNP-99　p. 43-50　1999

Design Verification Methodology-Key design methoddogy to be covered! -

Proc. 7th FPGA/PLD Design Conference　p. 237-260　1999

Specification of Real-time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-deadlock Freeness

Proc. of 1999 MMNS'99　p. 576-581　1999

Generating test cases for a timedI/O automaton model

Proc. IFIP IWTCS'99　p. 197-214　1999

A decision algorithm for prenex normal form rational Presburger sentences by means of combinatorial geometry

Proc. of DMT CS'99+CATS'99　p. 344-359　1999

Formal design verification for correctness of pipelined microprocessors with out-of-order instruction execution

T Takenaka, J Kitamichi, T Higashino, K Taniguchi

PROCEEDINGS OF ASP-DAC '99　p. 177-180　1999

A Decision Algorithm for Prenex Normal Form Rational Presburger Sentences

Trans. of IEICE　Vol. J82-D-1　No. 6　p. 691-700　1999

Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS

Trans. of IEICE　Vol. E82-A　No. 4　p. 487-494　1999

Implementation of LOTOS Specifications on Distribuled Environments and its Execution

Trans. of IPSJ　Vol. 40　No. 1　p. 333-342　1999

Bandwidth Allocation for Quality of Service Guarantees in Multi-Party Multimedia Application

Trans. of IPSJ　Vol. 40　No. 1　p. 132-141　1999

Generation of Test Cases with Timing Constraints from TimedI/O Automata

Trans. of IPSJ　Vol. 40　No. 1　p. 85-94　1999

A Technique for Redusing Computation Time of Projection in a Decision Procedure for Rational Presburger Sentences

Shibata Naoki, Okano Kozo, Higashino Teruo, Taniguchi Kenichi

Vol. 57　No. 1　p. 127-128　1998/10/05

有理数プレスブルガー文の真偽判定 アルゴリズムの提案とその高速化手法

柴田 直樹, 岡野 浩三, 東野 輝夫, 谷口 健一

電子情報通信学会情報基礎論ワークショップLAシン ポジウム報告　p. 4.1-4.6　1998　Research paper, summary (national, other academic conference)

FDTって何?

情報処理　Vol. 39　No. 9　p. 926-930　1998

形式的手法による分散システムへの取り組み-プログラム生成とテスト-

日本ソフトウエア科学会,講習会資料シリーズ　Vol. 15　p. 57-82　1998

入力が競合する有限状態機械群からなる通信ソフトウェアの適合性試験の一手法

情報処理学会論文誌　Vol. 39　No. 8　p. 2519-2527　1998

代数的手法を用いたin-order実行パイプラインCPUの自動設計検証

情報処理学会論文誌　Vol. 39　No. 6　p. 1999-2008　1998

時間ペトリネットの拡張モデルを用いたプロトコル合成

情報処理学会論文誌　Vol. 39　No. 3　p. 769-778　1998

遷移の選択が状態訪問回数で決まる有限状態機械対からなる通信系に対する生存性の検証

情報処理学会論文誌　Vol. 39　No. 3　p. 750-759　1998

マルチスレッド化された目的コードを生成するLOTOSコンパイラの実現

情報処理学会論文誌　Vol. 39　No. 2　p. 283-292　1998

共有メモリ型並列計算機上での正則な項書換え系の一実装法

電子情報通信学会論文誌　Vol. J81-D-I　No. 1　p. 28-37　1998

FDTs in Computer and Communication Areas

Vol. 39　No. 9　p. 926-930　1998

Tutorial : Formal Methods for Designing Distributed Systems

Vol. 15　p. 57-82　1998

Hardware synthesis form protocol specifications in LOTOS

Proc. IFIP FORTE/PSTV'98　p. 405-420　1998

Design and Implementation of an efficient I/O Method for a Real-time User Level Thread Library

Proc. IEEE RTCSA'98　p. 117-120　1998

Protocol Synthesis from Context-Free Processes using Event Structures

Proc. IEEE RTCSA'98　p. 173-180　1998

Resource Management for Quality of Service Guarantees in Multi-party Multimedia Application

Proc. 1998 IEEE ICNP-98　p. 189-196　1998

A Conformance Testing for Communication Protocols Modeled as a Set of DFSMs

Trans. of IPSJ　Vol. 39　No. 8　p. 2519-2527　1998

Automatic Correctness Proof of Pipelined CPUs with In-order Execution

Trans. of IPSJ　Vol. 39　No. 6　p. 1999-2008　1998

Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit

Trans. of IEICE　Vol. E81-A　No. 4　p. 566-575　1998

Protocol Synthesis in a Time Petri Net Model with Registers

Trans. of IPSJ　Vol. 39　No. 3　p. 769-778　1998

Verification of Liveness Property for C-FSM's with Transitions depending on State Visiting Numbers

Trans. of IPSJ　Vol. 39　No. 3　p. 750-759　1998

Design and Implementation of a LOTOS Compiler Generating Multi-threaded Object Codes

Trans. of IPSJ　Vol. 39　No. 2　p. 283-292　1998

An Implementation of Orhogonal TRS on Multi-Processor Machine with Shared Memory

Trans. of IEICE　Vol. J81-D-I　No. 1　p. 28-37　1998

すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法

情報処理学会論文誌　Vol. 38　No. 12　p. 2419-2426　1997

レジスタ付きペトリネットを用いた全体動作仕様から分散動作仕様の自動合成とその応用

電子情報通信学会論文誌　Vol. J80-A　No. 7　p. 1064-1072　1997

Protocol Synthesis from Time Petri Net Based Service Specifications

Prof. 1997 IEEE ICPADS'97　p. 236-243　1997

Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks

Proc. IFIP FORTE/PSTV'97　p. 161-176　1997

A Conformance Testing for Communication Protocols Modeled as A Set of DFSMs with Common Inputs

Proc. IFIP IWTCS'97　p. 239-254　1997

Techniques to Reduce Computation Time in Decision Procedure for Prenex Normal Form Presburger Sentences Bounded only by Existential Quantifiers

Trans. of IPSJ　Vol. 38　No. 12　p. 2419-2426　1997

Protocol Synthesis in a Petri Net Model with Register and Its Application

Trans. IEICE　Vol. J80-A　No. 7　p. 1064-1072　1997

Time Action Altemating Model for Timed Processes and its Symbolic Verification of Bisimulation Equivalence

Trans. IEICE　Vol. E80-A　No. 2　p. 400-406　1997

Automatic Verification of Arithmetic Circuits using a Decision Procedure for Presburger Arithmetic

MORIOKA Sumio, SHIBATA Naoki, HIGASHINO Teruo, TANIGUCHI Kenichi

Technical report of IEICE. VLD　Vol. 96　No. 299　p. 49-56　1996/10/18

Deriving protocol specifications from service specifications written in LOTOS

C Kant, T Higashino, G vonBochmann

DISTRIBUTED COMPUTING　Vol. 10　No. 1　p. 29-47　1996/07

プレスブルガー文真偽判定手続きに おける多元連立1次合同式の求解処理の高速化

柴田 直樹, 森岡 澄夫, 東野 輝夫, 谷口 健一

第53回情報処理学会全国大会予稿集　1996　Research paper, summary (national, other academic conference)

代表的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明

電子情報通信学会論文誌　Vol. J79-D-I　No. 12　p. 1017-1029　1996

時間制約の記述されたLOTOS仕様からのプロトコル合成

情報処理学会論文誌　Vol. 37　No. 5/　p. 672-686　1996

マルチランデブを用いたLOTOS仕様の可視化

情報処理学会論文誌　Vol. 37　No. 5/　p. 687-697　1996

拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法

電子情報通信学会論文誌　Vol. J79-B-1　No. 4/　p. 137-147　1996

Time-Action Altemating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence

Proc. IFIP FORTE/PSTV '96　p. 279-294　1996

Automatic Correctness Proof of Step-by-Step Design of a CPU KUE-CHIP2 based on Algebraic Methods

Trans.IEICE　Vol. J79-D-I　No. 12　p. 1017-1029　1996

Deriving Protocol Specifications from Timed Service Specifications Written in LOTOS

Trans. IPSJ　Vol. 37　No. 5/　p. 672-686　1996

Visualizing Dynamic Behaviors of LOTOS Specifications Using Multi-rendezvous Mechanism

Trans. IPSJ　Vol. 37　No. 5/　p. 687-697　1996

An Automatic Test Case Derivation for Communication Protocols in An Extended FSM Model

Trans. IEICE　Vol. J79-B-1　No. 4/　p. 137-147　1996

隣接しない動作間の時間制約を記述するためのLOTOS言語の拡張とその等価性の検証

コンピュータソフトウェア　Vol. 12　No. 6/　p. 521-534　1995

代数的言語で記述した抽象的順序機械型プログラムの設計検証の自動化

情報処理学会論文誌　Vol. 36　No. 10/　p. 2409-2421　1995

あるスタイルに基づく順序機械型記述における詳細化の正しさの証明方法

電子情報通信学会論文誌　Vol. J78-D-1　p. 622-633　1995

グループワークを考慮した協調計算システムにおける動作プログラム群の生成と分散実行

情報処理学会論文誌　Vol. 36　No. 6/　p. 1367-1378　1995

関係データベースを用いた在庫管理プログラムの記述とその詳細化の正しさの証明

情報処理学会論文誌　Vol. 36　No. 5　p. 1091-1103　1995

リンクの故障を考慮に入れた分散システムの動作仕様の自動導出

情報処理学会論文誌　Vol. 36　No. 1　p. 70-83　1995

LOTOSによるソフトウェアプロセスの記述とその実行

コンピュータソフトウェア　Vol. 12　No. 1　p. 16-30　1995

An Extension of LOTOS for Specifying Time Constraints among Nonadjacent Actions and Verification of equivalence

Computer Software　Vol. 12　No. 6/　p. 521-534　1995

Protocol Visualization using LOTOS Multi-Rendezvous Mechanism

Proc. IEEE ICNP-95　p. 118-125　1995

Protocol Synthesis from Timed and Structured Specifications

Proc. IEEE ICNP-95　p. 74-81　1995

A LOTOS Compiler Generating Multi-threaded Object Codes

Proc. IFIP FORTE'95　p. 271-286　1995

Verification of Liveness Property for Communicating FSM's with Conditional Transitions depending on State Visiting Numbers

Proc. IFIP FORTE'95　p. 431-438　1995

Automatic Verification of Abstract Sequential Machine Style Program Written in Algebraic Language

Trans. IPSJ　Vol. 36　No. 10/　p. 2409-2421　1995

Handling Redundant and Additional States in Protocol Testing

Proc. IFIP 8th IWPTS　p. 307-322　1995

Proof Method for Correctness of Refinements of Algebraic Specification in Abstract Sequential Machine Style

Trans. IEICE　Vol. J78-D-1　p. 622-633　1995

Derivation of Protocol Entities' Specifications of Distributed system for Groupwork and Their Parallel Execution

Trans. IPSJ　Vol. 36　No. 6/　p. 1367-1378　1995

Synthesis of Protocol Entities' Specifications from service Specifications in a Petri Net Model with Registers

Proc. of IEEE ICDCS-15　p. 510-517　1995

Hierarchical Design of Stock Management Program using Relational Algebra and Its Correctness Proof

Trans. IPSJ　Vol. 36　No. 5　p. 1091-1103　1995

Synthesis of Protocol Specifications from Service Specifications in Distributed Systems with Communication Link Errors

Trans. IPSJ　Vol. 36　No. 1　p. 70-83　1995

Software Process Description in LOTOS And Its Enaction

Computer Software　Vol. 12　No. 1　p. 16-30　1995

代数的手法を用いた同期式順序回路の段階的設計法

電子情報通信学会論文誌　Vol. J77-A　No. 3　p. 420-429　1994

Automatic Generation of Extended UIO Sequences for Communication Protocols in an EFSM Model

Proc. IFIP 7th IWPTS　p. 225-240　1994

Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in A Marked Graph Model

Trans. IEICE　Vol. E77-A　No. 10　p. 1623-1633　1994

Automatic Correctness Proof of Implementation of Synchronous Sequential Circuits Using Algebraic Approach

Proc. TPCD'94, LNCS 901　p. 165-184　1994

Hardware Synthesis from a Restricted Class of LOTOS Expressions

Proc. IFIP 14th PSTV　p. 379-386　1994

Software Process Description using LOTOS and Its Enaction

Proc. 16th IEEE Int. Conf. on Soft. Eng.　p. 169-178　1994

Top-Down Design Method for Synchronous Sequential Logic Circuits Based on Algebraic Technique

Trans. IEICE　Vol. J77-A　No. 3　p. 420-429　1994

Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters

IEEE Trans. on Soft. Eng.　Vol. 20　No. 1　p. 29-42　1994

抽象的順序機械型プログラムの階層的設計と在庫管理プログラムへの応用

電子情報通信学会論文誌　Vol. J76-D-I　No. 7　p. 354-363　1993

拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出

情報処理学会論文誌　Vol. 34　No. 6　p. 1290-1301　1993

LOTOS Enhancement to Specify Time Constraints among Non-adjacent Actions using 1st order Logic

Proc. IFIP FORTE '93　Vol. 453-468　1993

Deriving Protocol Specifications from Service Specifications in Extended FSM Models

Proc. of IEEE ICDCS-13　Vol. 141-148　1993

Deriving Protocol Specifications from Service Specifications Written in LOTOS

Proc. of 12th IEEE Phoenix Conf. (IPCCC-93)　Vol. 310-318　1993

Hierarchical Design of Abstract Sequential Machine Style Program and Its Application to Development of Stock Management

Trans. IEIEC of Japan　Vol. J76-D-I　No. 7　p. 354-363　1993

Synthesis of Protocol Entities' Specification from Service Specification of Distributed System in Extended Finite State Machine Model

Trans. IPSJ　Vol. 34　No. 6　p. 1290-1301　1993

PROSPEX - A GRAPHICAL LOTOS SIMULATOR FOR PROTOCOL SPECIFICATIONS WITH N-NODES

K YASUMOTO, T HIGASHINO, T MATSUURA, K TANIGUCHI

IEICE TRANSACTIONS ON COMMUNICATIONS　Vol. E75B　No. 10　p. 1015-1023　1992/10

SERVICE SPECIFICATION AND ITS PROTOCOL SPECIFICATIONS IN LOTOS - A SURVEY FOR SYNTHESIS AND EXECUTION

T HIGASHINO

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　Vol. E75A　No. 3　p. 330-338　1992/03

データを含むLOTOS記述に対するテスト系列の自動生成の一手法

電子情報通信学会論文誌　Vol. J75-B-I　No. 11　1992

整数上の線形制約の処理と応用

コンピュータソフトウェア　Vol. 9　No. 6　1992

An Automatic Derivation of test Cases for LOTOS Expressions with Data Parameters

Trans. IEICE　Vol. J75-B-I　No. 11　1992

Presburger Arithmetic and its Application to Program Developments

Computer Software　Vol. 9　No. 6　1992

A Test System for a Restricted Class of LOTOS expressions with data Parameters

Proc. IFIP 5th Protocol Test Systems　1992

VTM - A GRAPH EDITOR FOR LARGE TREES

T MATSUURA, T NAKAMURA, T HIGASHINO, K TANIGUCHI, S MASUDA

ALGORITHMS, SOFTWARE, ARCHITECTURE : INFORMATION PROCESSING 92, VOL 1　Vol. 12　p. 210-216　1992

A System for the Refinements of Algebraic Specifications and their Efficient Executions

Proc. 24th HICSS　Vol. 2　1991

通信プロトコルにおけるエラーリカバリ性の自動検証の一方式

電子情報通信学会論文誌　Vol. J73-D-I　No. 5　1990

Mechanical Verification of Error Recoverability for Communication Protocols

Trans IEICE　Vol. J73-D-I　No. 5　1990

AUTOMATED VERIFICATION OF EQUIVALENCE OF PROTOCOL MACHINES

T HIGASHINO, K NINOMIYA, T KIMOTO, K TANIGUCHI, M MORI

PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION, IX　p. 235-246　1990

プロトコルマシンの等価性証明の一方法

電子通信学会論文誌　Vol. J71-D　No. 12　p. 2630-2639　1988

トークンリング方式LANの代数的手法による「安全性」と「相互排他性」の検証

電子通信学会論文誌　Vol. J71-D　No. 3　p. 577-586　1988

代数的に記述された通信プロトコルの動的性質の検証

電子通信学会論文誌　Vol. J69-D　No. 10　p. 1471-1480　1986

代数的仕様検証支援系及びそれを用いた検証例

電子通信学会論文誌　Vol. J67-D　No. 4　p. 472-479　1984

An Algebraic Specification of HDLC Procedures and Its Verification

IEEE Transactions on Software Engineering　Vol. SE-10　No. 6　p. 825-837　1984

代数的に記述されたHDLCプロトコルの検証

電子通信学会論文誌　Vol. J66-D　No. 7　p. 773-780　1983

HDLC手順の代数的記述

電子通信学会論文誌　Vol. J64-D　No. 2　p. 124-131　1981