Yoshiki Kinoshita

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 6

Top Topics

Computational Logic

Top Venues

SAFECOMP Workshops

ISSRE (Supplemental Proceedings)

NII Shonan Meet. Rep.

Publications

Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2. CoRR (2020)
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1. CoRR (2020)
Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama
A Modelling Approach for System Life Cycles Assurance. SAFECOMP Workshops (2019)
Shuji Kinoshita, Yoshiki Kinoshita
A Thought Experiment on Evolution of Assurance Cases - - from a Logical Aspect. SAFECOMP Workshops (2017)
Shuji Kinoshita, Yoshiki Kinoshita
The 6W1H Model as a Basis for Systems Assurance Argument. SAFECOMP Workshops (2016)
Yoshiki Kinoshita, Bengt Nordström
Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2). NII Shonan Meet. Rep. 2015 (2015)
Yoshiki Kinoshita, John Power
Category theoretic structure of setoids. Theor. Comput. Sci. 546 (2014)
Makoto Hirai, Yoshifumi Yuasa, Yoshiki Kinoshita
A chain of accountabilities in open systems based on assured entrustments. ISSRE (Supplemental Proceedings) (2013)
Peter Dybjer, Yoshiki Kinoshita, Shin-Cheng Mu
Agda Implementors Meeting (NII Shonan Meeting 2011-2). NII Shonan Meet. Rep. 2011 (2011)
Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita
A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata. CALCO (2011)
Yoshiki Kinoshita
Fieldwork and the 4: 6 Principle - Introduction to the Research Center for Verification and Semantics, AIST. ISORC (2009)
Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita
Workshop on Dependable Software - Tools and Methods - Workshop Abstract. DSN (2005)
Yoshiki Kinoshita, John Power
Data Refinement and Algebraic Structure. Acta Informatica 36 (9/10) (2000)
Yoshiki Kinoshita, John Power
Data-Refinement for Call-By-Value Programming Languages. CSL (1999)
Yoshiki Kinoshita, John Power
A General Completeness Result in Refinement. WADT (1999)
Yoshiki Kinoshita, John Power, Makoto Takeyama
Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday. MFPS (1997)
Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. TACS (1997)
Yoshiki Kinoshita, A. John Power
A Fibrational Semantics for Logic Programs. ELP (1996)