According to our database1, Yoshiki Kinoshita
Legend:Book In proceedings Article PhD thesis Other
A Thought Experiment on Evolution of Assurance Cases - - from a Logical Aspect.
Proceedings of the Computer Safety, Reliability, and Security, 2017
The 6W1H Model as a Basis for Systems Assurance Argument.
Proceedings of the Computer Safety, Reliability, and Security, 2016
Category theoretic structure of setoids.
Theor. Comput. Sci., 2014
A chain of accountabilities in open systems based on assured entrustments.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
Fieldwork and the 4: 6 Principle - Introduction to the Research Center for Verification and Semantics, AIST.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009
Workshop on Dependable Software - Tools and Methods - Workshop Abstract.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005
Data Refinement and Algebraic Structure.
Acta Inf., 2000
A General Completeness Result in Refinement.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Data-Refinement for Call-By-Value Programming Languages.
Proceedings of the Computer Science Logic, 13th International Workshop, 1999
Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday.
Electr. Notes Theor. Comput. Sci., 1997
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
A Fibrational Semantics for Logic Programs.
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996