Travelled to:
1 × France
1 × Germany
1 × Japan
Collaborated with:
M.Toyota R.Kawahara Y.Sakamoto T.Nakada N.Fukuoka T.Tateishi H.Miyashita S.Saito
Talks about:
perform (2) method (2) execut (2) trace (2) model (2) evalu (2) abstract (1) system (1) elimin (1) verif (1)
Person: Kouichi Ono
DBLP: Ono:Kouichi
Contributed to:
Wrote 3 papers:
- DATE-2010-OnoTKSNF #evaluation #execution #modelling #performance
- A modeling method by eliminating execution traces for performance evaluation (KO, MT, RK, YS, TN, NF), pp. 1337–1340.
- ECMFA-2010-OnoTKSNF #abstraction #embedded #execution #modelling #performance
- A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces (KO, MT, RK, YS, TN, NF), pp. 233–244.
- ASE-2006-TateishiMOS #automation #verification
- Automated Verification Tool for DHTML (TT, HM, KO, SS), pp. 363–364.