Yoshiki Kinoshita
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1999–2019
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SAFECOMP | A Modelling Approach for System Life Cycles Assurance. | Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama |
| 2017 | SAFECOMP | A Thought Experiment on Evolution of Assurance Cases - - from a Logical Aspect. | Shuji Kinoshita, Yoshiki Kinoshita |
| 2016 | SAFECOMP | The 6W1H Model as a Basis for Systems Assurance Argument. | Shuji Kinoshita, Yoshiki Kinoshita |
| 2013 | ISSRE | A chain of accountabilities in open systems based on assured entrustments. | Makoto Hirai, Yoshifumi Yuasa, Yoshiki Kinoshita |
| 2011 | CALCO | A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata. | Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita |
| 2009 | ISORC | Fieldwork and the 4: 6 Principle - Introduction to the Research Center for Verification and Semantics, AIST. | Yoshiki Kinoshita |
| 2005 | DSN | Workshop on Dependable Software - Tools and Methods - Workshop Abstract. | Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita |
| 1999 | CSL | Data-Refinement for Call-By-Value Programming Languages. | Yoshiki Kinoshita, John Power |