Makoto Takeyama

22 papers A 1B 3C 3Journal 7Unranked 7

Year	Rank	Type	Title / 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
2013	—	`conf`	A new method of consensus building for open systems dependability. ISSRE (Supplemental Proceedings) Yukiko Yanagisawa, Takashi Ito, Makoto Takeyama, Yasuhiko Yokote
2011	A	`conf`	Programming assurance cases in Agda. ICFP Makoto Takeyama
2010	C	`conf`	Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. PRDC Takashi Kitamura, Keishi Okamoto, Makoto Takeyama
2010	C	`conf`	Towards a Language for Communication among Stakeholders. PRDC Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, Yutaka Ishikawa
2006	J	`jnl`	Verification of Transition System Reduction via PVS. Inf. Media Technol. Osamu Takaki, Makoto Takeyama, Hiroshi Watanabe
2005	J	`jnl`	A Logical Framework with Dependently Typed Records. Fundam. Informaticae Thierry Coquand, Randy Pollack, Makoto Takeyama
2004	C	`conf`	Random Generators for Dependent Types. ICTAC Peter Dybjer, Qiao Haiyan, Makoto Takeyama
2004	J	`jnl`	Verifying Haskell programs by combining testing, model checking and interactive theorem proving. Inf. Softw. Technol. Peter Dybjer, Qiao Haiyan, Makoto Takeyama
2003	—	`conf`	A Logical Framework with Dependently Typed Records. TLCA Thierry Coquand, Randy Pollack, Makoto Takeyama
2003	—	`conf`	Combining Testing and Proving in Dependent Type Theory. TPHOLs Peter Dybjer, Qiao Haiyan, Makoto Takeyama
2003	—	`conf`	Verifying Haskell Programs by Combining Testing and Proving. QSIC Peter Dybjer, Qiao Haiyan, Makoto Takeyama
2000	—	`conf`	An Implementation of Type: Type. TYPES Thierry Coquand, Makoto Takeyama
1999	J	`jnl`	Bireflectivity. Theor. Comput. Sci. Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent
1999	J	`jnl`	Syntactic Control of Interference Revisited. Theor. Comput. Sci. Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
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
1995	B	`conf`	Bireflectivity. MFPS Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
1995	B	`conf`	Syntactic control of interference revisited. MFPS Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
1995	—	`—`	Universal structure and a categorical framework for type theory. Makoto Takeyama