Makoto Takeyama
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2004–2019
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SAFECOMP | A Modelling Approach for System Life Cycles Assurance. | Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama |
| 2013 | ISSRE | A new method of consensus building for open systems dependability. | Yukiko Yanagisawa, Takashi Ito, Makoto Takeyama, Yasuhiko Yokote |
| 2011 | ICFP | Programming assurance cases in Agda. | Makoto Takeyama |
| 2010 | PRDC | Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. | Takashi Kitamura, Keishi Okamoto, Makoto Takeyama |
| 2010 | PRDC | Towards a Language for Communication among Stakeholders. | Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, Yutaka Ishikawa |
| 2004 | ICTAC | Random Generators for Dependent Types. | Peter Dybjer, Qiao Haiyan, Makoto Takeyama |