Automated Testing of COBOL to Java Transformation
- Sandeep Hans
- Atul Kumar
- et al.
- 2025
- FSE 2025
Publications
17 results for Kohichi Ono
Automated Validation of COBOL to Java Transformation
- Atul Kumar
- Diptikalyan Saha
- et al.
- 2024
- ASE 2024
A survey of software quality for machine learning applications
- Satoshi Masuda
- Kohichi Ono
- et al.
- 2018
- ICSTW 2018
A modeling method for performance evaluation of embedded software by eliminating execution traces
- Kouichi Ono
- Ryo Kawahara
- et al.
- 2011
- Computer Software
Coarse-grained simulation method for performance evaluation a of shared memory system
- Ryo Kawahara
- Kenta Nakamura
- et al.
- 2011
- ASP-DAC 2011
A dynamic verification method of executable UML/SysML models with timed-functional constraints
- Kouichi Ono
- Hiroaki Nakamura
- et al.
- 2010
- Computer Software
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
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