Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

15 results for Kohichi Ono

Verifying the consistency of security policies by abstracting into security types
- - Kouichi Ono
  - Yuichi Nakamura
  - et al.
- 2007
- ICWS 2007
Adding authentication to model driven security
- - Fumiko Satoh
  - Yuichi Nakamura
  - et al.
- 2006
- ICWS 2006
A survey of software quality for machine learning applications
- - Satoshi Masuda
  - Kohichi Ono
  - et al.
- 2018
- ICSTW 2018
Coarse-grained simulation method for performance evaluation a of shared memory system
- - Ryo Kawahara
  - Kenta Nakamura
  - et al.
- 2011
- ASP-DAC 2011
Verification of embedded system's specification using collaborative simulation of SysML and simulink models
- - Ryo Kawahara
  - Hiroaki Nakamura
  - et al.
- 2009
- MBSE 2009
Methodology and tools for end-to-end SOA security configurations
- - Fumiko Satoh
  - Michiaki Tatsubori
  - et al.
- 2008
- SERVICES 2008
Model-driven security based on a web services security architecture
- - Yuichi Nakamura
  - Michiaki Tatsubori
  - et al.
- 2005
- SCC 2005
XSLT stylesheet generation by example with WYSIWYG editing
- - K. Ono
  - T. Koyanagi
  - et al.
- 2002
- SAINT 2002
A modeling method for performance evaluation of embedded software by eliminating execution traces
- - Kouichi Ono
  - Ryo Kawahara
  - et al.
- 2011
- Computer Software
A dynamic verification method of executable UML/SysML models with timed-functional constraints
- - Kouichi Ono
  - Hiroaki Nakamura
  - et al.
- 2010
- Computer Software