Makoto Takeyama

Publication Activity (10 Years)

Years Active: 1995-2020
Publications (10 Years): 3

Top Venues

CoRR

SAFECOMP Workshops

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

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

Makoto Takeyama.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Makoto Takeyama