Teruo Higashino

2014 - 2019 Large-Scale, Tempo-Spatial Information Gathering Mechanism over DTN-enabled Distributed Micro-modules

2016 - 2018 Performance Analysis and Design Verification for IoT based Systems

2014 - 2016 Collection and Application of Floating Car Data for Traffic Information Services Considering Privacy Protection

2014 - 2015 安全・安心な都市交通基盤構築を目指した次世代ITS通信網の開発

2012 - 2014 Development of Inter-vehicular communication protocol using LED communication

2011 - 2014 Development of Network Emulation Technology through Collaboration of Cyberspace and Real Space

2010 - 2011 Real-time Position Estimation of Moving Vehicles using Measuring Devices and GPS

2009 - 2010 都市空間上での大規模モバイルワイヤレスネットワークにおける効率的な情報共有方式

2008 - 2010 Real-time network simulation for large-scale ubiquitous network

2007 - 2008 都市空間上での大規模モバイルワイヤレスネットワークにおける効率的な情報共有方式

2007 - 2008 少数の基準位置情報をモバイルセンサー間で補完する位置推定技法に関する研究

2006 - 2007 Design and DevelopmentofUbiquitous Network Systems using Dynamically Reconfigurable Processor

2004 - 2007 Astudy of peerto-peer multicast communications with multiple Internet interfaces

2006 - 2006 都市空間上での大規模モバイルワイヤレスネットワークにおける効率的な情報共有方式

2004 - 2006 モバイルネットワークシミュレーションに関する研究

2004 - 2006 MOBILE NETWORK SIMULATION

2004 - 2005 有線・無線混在型ネットワーク上での分散協調アプリケーションの設計開発に関する研究

2004 - 2005 車々間での自律的アドホック通信に基づく行き先経路の道路情報取得プロトコルの開発

2003 - 2005 Research on HW/SW Co-design of Network Systems with Timing Constraints

2002 - 2005 サイバーソサイエティを実現する仮想網技術

2001 - 2004 Higher Level Design and Verification Support Systems for Hardware

2001 - 2004 高信頼性実時間並行システムの設計と検証に関する研究

2003 - 2003 有線・無線混在型ネットワーク上での分散協調アプリケーションの設計開発に関する研究

2001 - 2002 Hardware Synthesis of High-speed Network Monitors

2001 - 2002 顔面3次元形状計測データからの特徴点全自動抽出法の検討

1999 - 2000 Hardware Synthesis of Communication Protocols in Real-Time LOTOS Language

1999 - 2000 "A Study on design and verification of parallel sequential machines"

1998 - 2000 "Implementation of LOTOS specifications on distributed environments"

1997 - 1999 Study of the implementation method for Newral Network Argoritm with a Multi-Context Dynamically Reconfigurable FPGA

1997 - 1998 Development of compiler for real-time LOTOS programs with real-time multi-redezvous

1997 - 1998 Hardware syntesis from formal descriptions of communication prorocols

1995 - 1997 Development of a Scattered Processing Consultation System with Multimedia on the Network for Oral and Maxillofacial Surgery

1996 - 1996 マルチランデブを含むLOTOSプログラムの分散実行系の構築

1995 - 1995 リアルタイム分散協調システム設計のためのプロトコル合成に関する研究

1995 - 1995 複数の制御部をもつ同期式順序回路の機能検証に関する研究

1994 - 1994 通信プロトコルの相互接続試験における試験系列の自動生成に関する研究

1994 - 1994 ペトリネット型実行制御部をもつ代数的仕様記述の検証と分散実行系

1993 - 1994 Development of ASIC Design Support System

1993 - 1993 代数的手法を用いたプログラムの階層的設計と開発環境に関する研究

1993 - 1993 時間制約を考慮した通信プロトコルの等価性検証アルゴリズムの開発に関する研究

1991 - 1991 通信システムの適合性試験における試験系列の自動生成に関する研究

1990 - 1990 ハ-ドウェアの仕様記述とマイクロプログラムを用いた実現への段階的詳細化及び検証

1989 - 1989 計算機ネットワーク全体の要求仕様から通信プログラムを自動生成する方法に関する研究

1989 - 1989 代数的手法によるプログラムの正しさ証明システムの作成に関する研究

1988 - 1988 計算機ネットワークにおける通信制御装置の適合性検証法に関する研究

1988 - 1988 OSIセション層の代数的仕様記述から

1988 - 1988 代数的手法を用いたハードウェアの仕様記述と実現に関する研究

1987 - 1987 通信プロトコルにおけるエラーリカバリ法の記述と検証に関する研究

1985 - 1986 Software Measurements and Data Collection Tools

時間制約を含むソフトウェア・ハードウェアの設計・検証

有線・無線混在型ネットワークミドルウェアの設計・開発

ハードウェアソフトウェアコデザインに関する研究

ネットワークモニタに関する研究

実時間システムの設計や検証に関する研究

アプリケーション層マルチキャストに関する研究

車車間通信プロトコルに関する研究

有線・無線混在型分散協調アプリケーションの設計・開発

実時間LOTOSコンパイラの設計・開発

分散システムの要求仕様から動作仕様の自動生成

通信プロトコルのテスト系列の自動生成

HARDWARE SOFTWARE CO-DESIGN

NETWORK MONITOR

REAL-TIME SYSTEM DESIGN

APPLICATION LAYER MULTICAST

INTER-VEHICLE AD-HOC COMMUNICATION PROTOCOL

Development of Real Time LOTOS compiler

Synthesis of Protocol Specifications from Service Specifications

Automatic Test Case Derivation for Communication Protocols