Yoshiki Kinoshita

According to our database, Yoshiki Kinoshita authored at least 18 papers between 1996 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2.

Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake

CoRR, 2020

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1.

Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake

CoRR, 2020

2019

A Modelling Approach for System Life Cycles Assurance.

Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama

Proceedings of the Computer Safety, Reliability, and Security, 2019

2017

A Thought Experiment on Evolution of Assurance Cases - - from a Logical Aspect.

Shuji Kinoshita, Yoshiki Kinoshita

Proceedings of the Computer Safety, Reliability, and Security, 2017

2016

The 6W1H Model as a Basis for Systems Assurance Argument.

Shuji Kinoshita, Yoshiki Kinoshita

Proceedings of the Computer Safety, Reliability, and Security, 2016

2015

Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2).

Yoshiki Kinoshita, Bengt Nordström

NII Shonan Meet. Rep., 2015

2014

Category theoretic structure of setoids.

Yoshiki Kinoshita, John Power

Theor. Comput. Sci., 2014

2013

A chain of accountabilities in open systems based on assured entrustments.

Makoto Hirai, Yoshifumi Yuasa, Yoshiki Kinoshita

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2011

Agda Implementors Meeting (NII Shonan Meeting 2011-2).

Peter Dybjer, Yoshiki Kinoshita, Shin-Cheng Mu

NII Shonan Meet. Rep., 2011

A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata.

Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2009

Fieldwork and the 4: 6 Principle - Introduction to the Research Center for Verification and Semantics, AIST.

Yoshiki Kinoshita

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

2005

Workshop on Dependable Software - Tools and Methods - Workshop Abstract.

Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2000

Data Refinement and Algebraic Structure.

Yoshiki Kinoshita, John Power

Acta Informatica, 2000

1999

A General Completeness Result in Refinement.

Yoshiki Kinoshita, John Power

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Data-Refinement for Call-By-Value Programming Languages.

Yoshiki Kinoshita, John Power

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1997

Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday.

Yoshiki Kinoshita, John Power, Makoto Takeyama

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement.

Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996

A Fibrational Semantics for Logic Programs.

Yoshiki Kinoshita, A. John Power

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996