| 2019 | FM | ViennaDoc: An Animatable and Testable Specification Documentation Tool. | Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen |
| 2016 | ICFEM | Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract). | Keijiro Araki, Taro Kurita |
| 2015 | FM | Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware. | Taro Kurita, Fuyuki Ishikawa, Keijiro Araki |
| 2015 | FM | Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods. | Shigeru Kusakabe, Yoichi Omori, Keijiro Araki |
| 2015 | ICSE | VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. | Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen |
| 2014 | ICSE | Generating supportive hypotheses in introducing formal methods using a software processes improvement model. | Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki |
| 2009 | CSEDU | Large Scale Business-academia Collaboration in Master Education Course. | Noriaki Sakamoto, Mitsuaki Fukase, Tsunenori Mine, Shigeru Kusakabe, Tsuneo Nakanishi, Yoichi Omori, Mohammad Mesbah Uddin, Keijiro Araki, Akira Fukuda, Hiroto Yasuura, Teruaki Kitasuka |
| 2009 | ICSoft | Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud. | Shigeru Kusakabe, Yoichi Omori, Keijiro Araki |
| 2007 | SMC | Enforcing the optimal set of controls for state feedback with non-redundant controllers. | Eleazar Jimnez Serrano, Keijiro Araki, Shigeru Kusakabe |
| 2004 | APSEC | Reusable Formal Specification for Embedded Systems. | Yuji Arichika, Keijiro Araki |
| 1999 | APSEC | VRML Program Slicing. | Hiroshi Maruyama, Keijiro Araki |
| 1998 | ICFEM | A Calculus Based on the Agent-Place Model. | Kenji Taguchi, Keijiro Araki |
| 1998 | KES | Explorations of fitness landscapes of a Hopfield associative memory with random and evolutionary walks. | Akira Imada, Keijiro Araki |
| 1997 | ICFEM | The State-Based CCS Semantics for Concurrent Z Specification. | Kenji Taguchi, Keijiro Araki |
| 1997 | ICONIP | Evolution of Random Synaptic Weights of the Hopfield Associative Memory: How Chaotic Trajectories Turn into Fixed Point Attractors? | Akira Imada, Keijiro Araki |
| 1997 | IWANN | Random Perturbations to Hebbian Synapses of Associative Memory Using a Genetic Algorithm. | Akira Imada, Keijiro Araki |
| 1996 | COMPSAC | Consistency Checking between Data and Process Diagrams Based on Formal Methods. | Syouri Kouno, Han-Myung Chang, Keijiro Araki |
| 1996 | COMPSAC | Extending Z with State Transition Constraints. | Kenji Taguchi, Keijiro Araki |
| 1996 | ICEC | Lamarckian Evolution of Associative Memory. | Akira Imada, Keijiro Araki |
| 1996 | ICPP | Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies. | Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda |
| 1995 | APSEC | Are Formal Methods Relevant? | Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart |
| 1995 | ICPP | The CDP | Tsuneo Nakanishi, Kazuki Joe, Hideki Saito, Akira Fukuda, Keijiro Araki |
| 1993 | COMPSAC | Specification slicing in formal methods of software development. | Tomohiro Oda, Keijiro Araki |
| 1992 | COMPSAC | Support tool and strategy for type error correction with polymorphic types. | Hiroshi Maruyama, Masaki Matsuyama, Keijiro Araki |
| 1992 | COMPSAC | Application of a neural network to human tasting. | Akira Suganuma, Masato Kataoka, Keijiro Araki |