Akira Mori

According to our database, Akira Mori authored at least 30 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Phylogenetic Analysis of Reticulate Software Evolution.

Akira Mori, Masatomo Hashimoto

Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

2022

Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors.

Jun Inoue, Hideaki Nishihara, Akira Mori

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2019

Tracking Method-Level Clones and a Case Study.

Kyohei Uemura, Akira Mori, Eunjong Choi, Hajimu Iida

Proceedings of the 13th IEEE International Workshop on Software Clones, 2019

2018

Automated patch extraction via syntax- and semantics-aware Delta debugging on source code changes.

Masatomo Hashimoto, Akira Mori, Tomonori Izumida

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Counter Attacks for Bus-off Attacks.

Daisuke Souma, Akira Mori, Hideki Yamamoto, Yoichi Hata

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

Detecting Errors in a Humanoid Robot.

Jun Inoue, Fumio Kanehiro, Mitsuharu Morisawa, Akira Mori

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code.

Tomonori Izumida, Akira Mori, Masatomo Hashimoto

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, 2018

2017

Detecting and analyzing code clones in HDL.

Kyohei Uemura, Akira Mori, Kenji Fujiwara, Eunjong Choi, Hajimu Iida

Proceedings of the 11th IEEE International Workshop on Software Clones, 2017

2015

Low level code analysis and applications to computer security (NII Shonan Meeting 2015-4).

Jean-Yves Marion, Akira Mori, Mizuhito Ogawa

NII Shonan Meet. Rep., 2015

A comprehensive and scalable method for analyzing fine-grained source code change patterns.

Masatomo Hashimoto, Akira Mori, Tomonori Izumida

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Model-Based Testing of Stateful APIs with Modbat.

Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2012

Interaction-Based Foundation of Services.

Peter Géczy, Noriaki Izumi, Kôiti Hasida, Koichiro Eto, Akira Mori

Int. J. Serv. Sci. Manag. Eng. Technol., 2012

Enhancing History-Based Concern Mining with Fine-Grained Change Analysis.

Masatomo Hashimoto, Akira Mori

Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011

Goal-directed human activity computing.

Jianwen Xiang, Jing Tian, Akira Mori

J. Ambient Intell. Smart Environ., 2011

Dialogue Control by Pomdp Using Dialogue Data Statistics.

Yasuhiro Minami, Akira Mori, Toyomi Meguro, Ryuichiro Higashinaka, Kohji Dohsaka, Eisaku Maeda

Proceedings of the Spoken Dialogue Systems Technology and Design, 2011

2010

A Generic Binary Analysis Method for Malware.

Tomonori Izumida, Kokichi Futatsugi, Akira Mori

Proceedings of the Advances in Information and Computer Security, 2010

A Method for Analyzing Code Homology in Genealogy of Evolving Software.

Masatomo Hashimoto, Akira Mori

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

A Goal-Directed Human Activity Computing Model.

Jianwen Xiang, Akira Mori

Proceedings of the 10th International Symposium on Pervasive Systems, 2009

2008

Diff/TS: A Tool for Fine-Grained Structural Change Analysis.

Masatomo Hashimoto, Akira Mori

Proceedings of the WCRE 2008, 2008

A Unified Design Method of Asynchronous Service-Oriented Architecture Based on the Models and Patterns of Asynchronous Message Exchanges.

Mikio Aoyama, Akira Mori

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

2006

A Web-based integrated education system for a seamless environment among teachers, students, and administrators.

Noriko Hanakawa, Yoshiko Akazawa, Akira Mori, Toshiyuki Maeda, Shunji Inoue, Shigeyoshi Tsutsui

Syst. Comput. Jpn., 2006

A tool for analyzing and detecting malicious mobile code.

Akira Mori, Tomonori Izumida, Toshimi Sawada, Tadashi Inoue

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2004

A scheme of service discovery and control on ubiquitous devices.

Mitsutaka Watanabe, Ken-ichi Takaya, Akishi Seo, Masatomo Hashimoto, Tomonori Izumida, Akira Mori

Proceedings of the 13th international conference on World Wide Web, 2004

2003

Noroshi - A Distributed Schedule Management System using P2P Wireless, Ad-hoc Networking.

Mitsutaka Watanabe, Koji Minegishi, Akishi Seo, Akira Mori

Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

Detecting Unknown Computer Viruses - A New Approach.

Akira Mori

Proceedings of the Software Security, 2003

2002

CafeOBJ as a Tool for Behavioral System Verification.

Akira Mori, Kokichi Futatsugi

Proceedings of the Software Security -- Theories and Systems, 2002

1999

Verifying Behavioural Specifications in CafeOBJ Environment.

Akira Mori, Kokichi Futatsugi

Proceedings of the FM'99 - Formal Methods, 1999

1998

A Robot-Controlling Agent Description with Finite State Machines.

Akira Mori, Kaoru Hiramatsu, Futoshi Naya, Nobuyasu Osato

Proceedings of the Distributed Autonomous Robotic Systems 3, 1998

1997

Distributed Cooperative Formal Methods Tools.

Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1994

Coherence for Cartesian Closed Categories: A Sequential Approach.

Akira Mori, Yoshihiro Matsumoto

Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994