Person: Teruo Higashino

DBLP: Higashino:Teruo

Facilitated 1 volumes:

Ed

Contributed to:

2015

2012

2006

2002

2000

2000

1999

1994

1992

Wrote 9 papers:

SAC-2015-HamataniUH #smarttech #using

Estimating core body temperature based on human thermal model using wearable sensors (TH, AU, TH), pp. 521–526.

ICTSS-2012-HiromoriUYH #evaluation #performance #protocol #testing

Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution (AH, TU, HY, TH), pp. 231–246.

DAC-2006-TanimotoYNH #realtime #using

A real time budgeting method for module-level-pipelined bus based system using bus scenarios (TT, SY, AN, TH), pp. 37–42.

FME-2002-UmeduTYNHT #mobile #multi

A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels (TU, YT, KY, AN, TH, KT), pp. 607–624.

ASE-2000-El-FakihYBH #automation #distributed #petri net #specification

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources (KEF, HY, GvB, TH), pp. 305–308.

DAC-2000-KatagiriYKHT #communication #concurrent #hardware #implementation #multi #protocol

Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization (HK, KY, AK, TH, KT), pp. 762–767.

IWTCS-1999-HigashinoNTC #automaton #generative #testing

Generating Test Cases for a Timed I/O Automaton Model (TH, AN, KT, ARC), pp. 197–214.

ICSE-1994-YasumotoHT #process #using

Software Process Description Using LOTOS and Its Enaction (KY, TH, KT), pp. 169–178.

IWPTS-1992-HigashinoBLYT #parametricity #strict

Test System for a Restricted Class of LOTOS Expressions with Data Parameters (TH, GvB, XL, KY, KT), pp. 205–216.