Travelled to:1 × Canada
1 × Denmark
1 × Italy
1 × USA
Collaborated with:T.Higashino K.Yasumoto A.Nakata A.R.Cavalli H.Katagiri A.Kitajima G.v.Bochmann X.Li T.Umedu Y.Terashima
Talks about:synchron (2) multi (2) model (2) test (2) loto (2) way (2) implement (1) establish (1) automaton (1) wireless (1)
Person: Kenichi Taniguchi
DBLP: Taniguchi:Kenichi
Contributed to:
2002
2000
1999
19941992Wrote 5 papers:
- 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.
- 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.