Kozo Okano

According to our database1, Kozo Okano authored at least 34 papers between 1993 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification.
Proceedings of the Knowledge-Based Software Engineering: 2020, 2020

2019
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench.
IEICE Trans. Inf. Syst., 2019

Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Approach to Testing Many State Machine Models in Education.
Proceedings of the 11th International Conference on Computer Supported Education, 2019

2018
Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model.
Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

Analysis of Specification in Japanese Using Natural Language Processing.
Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

Support Tool for Refining Conceptual Model in Collaborative Learning.
Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

2017
Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability.
Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

SMart-Learning: State Machine Simulators for Developing Thinking Skills.
Proceedings of the 17th IEEE International Conference on Advanced Learning Technologies, 2017

Towards Verification of Robot Design for Self-localization.
Proceedings of the Hardware and Software: Verification and Testing, 2017

Traceability Link Mining - Focusing on Usability.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
Toward improving ability to repair bugs automatically: a patch candidate location mechanism using code similarity.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Framework for Relative Web Usability Evaluation on Usability Features in MDD.
Proceedings of the Human-Centered and Error-Resilient Systems Development, 2016

2015
Foreword.
IEICE Trans. Inf. Syst., 2015

Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014
Safety Verification of Multiple Autonomous Systems by Formal Approach.
Proceedings of the Computer Safety, Reliability, and Security, 2014

2013
Bidirectional Translation between OCL and JML for Round-Trip Engineering.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Verification of Spatio-Temporal Role Based Access Control using Timed Automata.
Proceedings of the 3rd IEEE International Conference on Networked Embedded Systems for Every Application, 2012

Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

2011
QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation.
IEICE Trans. Inf. Syst., 2011

Improvement of a Visualization Technique for the Passage Rate of Unit Testing and Static Checking and Its Evaluation.
Proceedings of the 2011 Joint Conf of 21st Int'l Workshop on Software Measurement and the 6th Int'l Conference on Software Process and Product Measurement, 2011

Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton.
Proceedings of the Second International Conference on Networking and Computing, 2011

2010
An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop.
IEICE Trans. Inf. Syst., 2010

2006
Symbolic model checking of extended finite state machines with linear constraints over integer variables.
Systems and Computers in Japan, 2006

2005
An Evaluation Mechanism for QoS Management in Wireless Systems.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

2004
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach.
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003
Verification of Timeliness QoS Properties in Multimedia Systems.
Proceedings of the Formal Methods and Software Engineering, 2003

2001
Formal Verification of CPU in Laboratory Work.
Proceedings of the 2001 International Conference on Microelectronics Systems Education, 2001

1999
Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.
Proceedings of the 1999 International Conference on Parallel Processing Workshops, 1999

1997
Protocol Synthesis from Time Petri Net Based Service Specification.
Proceedings of the 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 1997

1996
Proof method for correctness of refinements of algebraic specification in abstract sequential machine style.
Systems and Computers in Japan, 1996

1995
Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

1993
Deriving Protocol Specifications from Service Specifications in Extended FSM Models.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993


  Loading...