| Academic papers |
| No. | Ｔitle URL, Journal, Vol( No), Start Page- End Page, Publication date, DOI
|
| 1 | A Method to Visualize Activities in Classes Based on Operations of PCs , , 36( 2), 107- 117, Jan. 7, 2019,
|
| 2 | Modeling and Solving Open Shop Cooperative Task Scheduling Problems Based on Satisfiability Modulo Theories , Scientiae Mathematicae Japonicae, 81( 2), 183- 193, Jan. 2018, https://doi.org/10.32219/isms.81.2_183 |
| 3 | Coverage-Driven Design Verification Using a Diverse SAT Solver , IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E100-A( 7), 1481- 1487, Jul. 1, 2017, https://doi.org/10.1587/transfun.E100.A.1481 |
| 4 | Constraint Analysis of System Requirement in SysML with Formal Methods , IEEJ Transactions on Electronics, Information and Systems, 137( 6), 809- 814, Jun. 1, 2017, https://doi.org/10.1541/ieejeiss.137.809 |
| 5 |
|
| 6 | Path Optimization for Electrically Inspecting Printed Circuit Boards with Alignment Marks , , 32( 3), 341- 351, Mar. 2016,
|
| 7 |
|
| 8 | A Monitor Generation Method for Formal Monitor-based Verification Considering Input Constraints , Electronics and Communications in Japan (Part III Fundamental Electronic Science), 90( 12), 19- 26, Dec. 2007, https://doi.org/10.1002/ecjc.20360 |
| 9 | A Monitor Generation Method for Formal Monitor-Based Verification Considering Input Constraints , IEICE transactions on information and systems (Japanese), J89-D( 4), 674- 682, Apr. 2006,
|
