Makoto Takeyama

According to our database, Makoto Takeyama authored at least 20 papers between 1995 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

2013

A new method of consensus building for open systems dependability.

Yukiko Yanagisawa, Takashi Ito, Makoto Takeyama, Yasuhiko Yokote

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

2011

Programming assurance cases in Agda.

Makoto Takeyama

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Towards a Language for Communication among Stakeholders.

Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, Yutaka Ishikawa

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications.

Takashi Kitamura, Keishi Okamoto, Makoto Takeyama

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

2006

Verification of Transition System Reduction via PVS.

Osamu Takaki, Makoto Takeyama, Hiroshi Watanabe

Inf. Media Technol., 2006

2005

A Logical Framework with Dependently Typed Records.

Thierry Coquand, Randy Pollack, Makoto Takeyama

Fundam. Informaticae, 2005

2004

Verifying Haskell programs by combining testing, model checking and interactive theorem proving.

Peter Dybjer, Qiao Haiyan, Makoto Takeyama

Inf. Softw. Technol., 2004

Random Generators for Dependent Types.

Peter Dybjer, Qiao Haiyan, Makoto Takeyama

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Combining Testing and Proving in Dependent Type Theory.

Peter Dybjer, Qiao Haiyan, Makoto Takeyama

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Verifying Haskell Programs by Combining Testing and Proving.

Peter Dybjer, Qiao Haiyan, Makoto Takeyama

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

2000

An Implementation of Type: Type.

Thierry Coquand, Makoto Takeyama

Proceedings of the Types for Proofs and Programs, International Workshop, 2000

1999

Syntactic Control of Interference Revisited.

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

Theor. Comput. Sci., 1999

Bireflectivity.

Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent

Theor. Comput. Sci., 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

1995

Universal structure and a categorical framework for type theory.

Makoto Takeyama

PhD thesis, 1995

Bireflectivity.

Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995