BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Italy
1 × Spain
2 × Denmark
2 × USA
Collaborated with:
K.Taniguchi K.Yasumoto A.Nakata H.Yamaguchi G.v.Bochmann T.Umedu T.Hamatani A.Uchiyama A.Hiromori T.Tanimoto S.Yamaguchi K.El-Fakih A.R.Cavalli H.Katagiri A.Kitajima X.Li Y.Terashima
Talks about:
model (3) test (3) base (3) use (3) distribut (2) synchron (2) protocol (2) system (2) multi (2) time (2)

Person: Teruo Higashino

DBLP DBLP: Higashino:Teruo

Facilitated 1 volumes:

TestCom/FATES 2008Ed

Contributed to:

SAC 20152015
ICTSS 20122012
DAC 20062006
FME 20022002
ASE 20002000
DAC 20002000
IWTCS 19991999
ICSE 19941994
IWPTS 19921992

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.