Makoto Takeyama

Proceedings of the Computer Safety, Reliability, and Security, 2019

2013

A new method of consensus building for open systems dependability.

[BibT_eX]

[DOI]

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

2011

Programming assurance cases in Agda.

[BibT_eX]

[DOI]

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

2010

Towards a Language for Communication among Stakeholders.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Takashi Kitamura

Keishi Okamoto

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

2005

A Logical Framework with Dependently Typed Records.

[BibT_eX]

[DOI]

Thierry Coquand

Randy Pollack

Fundam. Informaticae, 2005

2004

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

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2004

Random Generators for Dependent Types.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Combining Testing and Proving in Dependent Type Theory.

[BibT_eX]

[DOI]

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

Verifying Haskell Programs by Combining Testing and Proving.

[BibT_eX]

[DOI]

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

2000

An Implementation of Type: Type.

[BibT_eX]

[DOI]

Thierry Coquand

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

1999

Bireflectivity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

1997

Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday.

[BibT_eX]

[DOI]

Yoshiki Kinoshita

John Power

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.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1995

Universal structure and a categorical framework for type theory.

[BibT_eX]

[DOI]