| Diff/TS: A tool for fine-grained structural change analysis M Hashimoto, A Mori 2008 15th working conference on reverse engineering, 279-288, 2008 | 104 | 2008 |
| An overview of the Tatami project J Goguen, K Lin, G Roşu, A Mori, B Warinschi Cafe: An industrial-strength algebraic formal method, 61-78, 2000 | 32 | 2000 |
| Distributed cooperative formal methods tools J Goguen, K Lin, A Mori, G Rosu, A Sato Proceedings 12th IEEE International Conference Automated Software …, 1997 | 26 | 1997 |
| A tool for analyzing and detecting malicious mobile code A Mori, T Izumida, T Sawada, T Inoue Proceedings of the 28th international conference on software engineering …, 2006 | 24 | 2006 |
| Algebraic semiotics, ProofWebs and distributed cooperative proving J Goguen, A Mori, K Lin Proceedings, User Interfaces for Theorem Provers 97, 24-34, 1997 | 24 | 1997 |
| Software evolution process via a relational hypergraph model M Harn, V Berzins, A Mori Proceedings 199 IEEE/IEEJ/JSAI International Conference on Intelligent …, 1999 | 21 | 1999 |
| Detecting unknown computer viruses–a new approach– A Mori International Symposium on Software Security, 226-241, 2003 | 20 | 2003 |
| Grigore Ro su, and Akiyoshi Sato. Distributed cooperative formal methods tools J Goguen, K Lin, A Mori Proceedings, Automated Software Engineering, 55-62, 1997 | 20 | 1997 |
| Tools for distributed cooperative design and validation J Goguen, K Lin, A Mori, G Rosu, A Sato In Proceedings, CafeOBJ Symposium. Japan Advanced Institute for Science and …, 1998 | 17 | 1998 |
| Counter attacks for bus-off attacks D Souma, A Mori, H Yamamoto, Y Hata Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE …, 2018 | 16 | 2018 |
| Model-based testing of stateful apis with modbat C Artho, M Seidl, Q Gros, EH Choi, T Kitamura, A Mori, R Ramler, ... 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 16 | 2015 |
| A generic binary analysis method for malware T Izumida, K Futatsugi, A Mori Advances in Information and Computer Security: 5th International Workshop on …, 2010 | 15 | 2010 |
| Automated patch extraction via syntax-and semantics-aware delta debugging on source code changes M Hashimoto, A Mori, T Izumida Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 14 | 2018 |
| A comprehensive and scalable method for analyzing fine-grained source code change patterns M Hashimoto, A Mori, T Izumida 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and …, 2015 | 12 | 2015 |
| 情報インフラに基づくグラウンディングとその応用 中島秀之， 橋田浩一， 森彰， 本村陽一， 山本吉伸， 和泉潔， 野田五十樹 コンピュータ ソフトウェア 18 (4), 446-454, 2001 | 12 | 2001 |
| Verifying behavioural specifications in cafeobj environment A Mori, K Futatsugi International Symposium on Formal Methods, 1625-1643, 1999 | 12 | 1999 |
| Detecting and analyzing code clones in HDL K Uemura, A Mori, K Fujiwara, E Choi, H Iida 2017 IEEE 11th International Workshop on Software Clones (IWSC), 1-7, 2017 | 9 | 2017 |
| Enhancing history-based concern mining with fine-grained change analysis M Hashimoto, A Mori 2012 16th European Conference on Software Maintenance and Reengineering, 75-84, 2012 | 8 | 2012 |
| UBKit for cyber assist H Nakashima, M Hashimoto, A Mori Active Media Technology, 46-56, 2003 | 8 | 2003 |
| Interaction-based foundation of services P Géczy, N Izumi, K Hasida, K Eto, A Mori International Journal of Service Science, Management, Engineering, and …, 2012 | 6 | 2012 |
Kokichi FUTATSUGIProfessor of Computer Science, JAISTVerified email at jaist.ac.jp
