Akira Mori

31 papers A* 4A 3B 1C 2Misc 1Journal 4Unranked 16
YearRankTypeTitle / Venue / Authors
2025 A* conf
On the Correctness of Software Merge.
ASE
Akira Mori, Masatomo Hashimoto
2023 A conf
Phylogenetic Analysis of Reticulate Software Evolution.
MSR
Akira Mori, Masatomo Hashimoto
2022 C conf
Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors.
QRS
Jun Inoue, Hideaki Nishihara, Akira Mori
2019 — conf
Tracking Method-Level Clones and a Case Study.
IWSC
Kyohei Uemura, Akira Mori, Eunjong Choi, Hajimu Iida
2018 — conf
Automated patch extraction via syntax- and semantics-aware Delta debugging on source code changes.
ESEC/SIGSOFT FSE
Masatomo Hashimoto, Akira Mori, Tomonori Izumida
2018 — conf
Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code.
PLAS@CCS
Tomonori Izumida, Akira Mori, Masatomo Hashimoto
2018 — conf
Counter Attacks for Bus-off Attacks.
SAFECOMP Workshops
Daisuke Souma, Akira Mori, Hideki Yamamoto, Yoichi Hata
2018 C conf
Detecting Errors in a Humanoid Robot.
QRS
Jun Inoue, Fumio Kanehiro, Mitsuharu Morisawa, Akira Mori
2017 — conf
Detecting and analyzing code clones in HDL.
IWSC
Kyohei Uemura, Akira Mori, Kenji Fujiwara, Eunjong Choi, Hajimu Iida
2015 A conf
A comprehensive and scalable method for analyzing fine-grained source code change patterns.
SANER
Masatomo Hashimoto, Akira Mori, Tomonori Izumida
2015 J jnl
Low level code analysis and applications to computer security (NII Shonan Meeting 2015-4).
NII Shonan Meet. Rep.
Jean-Yves Marion, Akira Mori, Mizuhito Ogawa
2015 A* conf
Model-Based Testing of Stateful APIs with Modbat.
ASE
Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
2012 — conf
Enhancing History-Based Concern Mining with Fine-Grained Change Analysis.
CSMR
Masatomo Hashimoto, Akira Mori
2012 J jnl
Interaction-Based Foundation of Services.
Int. J. Serv. Sci. Manag. Eng. Technol.
Peter Géczy, Noriaki Izumi, Kôiti Hasida, Koichiro Eto, Akira Mori
2011 — conf
Dialogue Control by Pomdp Using Dialogue Data Statistics.
IWSDS
Yasuhiro Minami, Akira Mori, Toyomi Meguro, Ryuichiro Higashinaka, Kohji Dohsaka, Eisaku Maeda
2011 J jnl
Goal-directed human activity computing.
J. Ambient Intell. Smart Environ.
Jianwen Xiang, Jing Tian, Akira Mori
2010 Misc conf
A Generic Binary Analysis Method for Malware.
IWSEC
Tomonori Izumida, Kokichi Futatsugi, Akira Mori
2010 B conf
A Method for Analyzing Code Homology in Genealogy of Evolving Software.
FASE
Masatomo Hashimoto, Akira Mori
2009 — conf
A Goal-Directed Human Activity Computing Model.
ISPAN
Jianwen Xiang, Akira Mori
2008 A conf
A Unified Design Method of Asynchronous Service-Oriented Architecture Based on the Models and Patterns of Asynchronous Message Exchanges.
ICWS
Mikio Aoyama, Akira Mori
2008 — conf
Diff/TS: A Tool for Fine-Grained Structural Change Analysis.
WCRE
Masatomo Hashimoto, Akira Mori
2006 J jnl
A Web-based integrated education system for a seamless environment among teachers, students, and administrators.
Syst. Comput. Jpn.
Noriko Hanakawa, Yoshiko Akazawa, Akira Mori, Toshiyuki Maeda, Shunji Inoue, Shigeyoshi Tsutsui
2006 A* conf
A tool for analyzing and detecting malicious mobile code.
ICSE
Akira Mori, Tomonori Izumida, Toshimi Sawada, Tadashi Inoue
2004 — conf
A scheme of service discovery and control on ubiquitous devices.
WWW (Alternate Track Papers & Posters)
Mitsutaka Watanabe, Ken-ichi Takaya, Akishi Seo, Masatomo Hashimoto, Tomonori Izumida, Akira Mori
2003 — conf
Detecting Unknown Computer Viruses - A New Approach.
ISSS
Akira Mori
2003 — conf
Noroshi - A Distributed Schedule Management System using P2P Wireless, Ad-hoc Networking.
WWW (Posters)
Mitsutaka Watanabe, Koji Minegishi, Akishi Seo, Akira Mori
2002 — conf
CafeOBJ as a Tool for Behavioral System Verification.
ISSS
Akira Mori, Kokichi Futatsugi
1999 — conf
Verifying Behavioural Specifications in CafeOBJ Environment.
World Congress on Formal Methods
Akira Mori, Kokichi Futatsugi
1998 — conf
A Robot-Controlling Agent Description with Finite State Machines.
DARS
Akira Mori, Kaoru Hiramatsu, Futoshi Naya, Nobuyasu Osato
1997 A* conf
Distributed Cooperative Formal Methods Tools.
ASE
Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato
1994 — conf
Coherence for Cartesian Closed Categories: A Sequential Approach.
CTRS
Akira Mori, Yoshihiro Matsumoto