Yoshiki Kinoshita

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