Akira Mori
Akira Mori
Email verificata su aist.go.jp
Citata da
Citata da
Diff/TS: A tool for fine-grained structural change analysis
M Hashimoto, A Mori
2008 15th working conference on reverse engineering, 279-288, 2008
Distributed cooperative formal methods tools
J Goguen, K Lin, A Mori, G Rosu, A Sato
Proceedings 12th IEEE International Conference Automated Software …, 1997
Algebraic semiotics, ProofWebs and distributed cooperative proving
J Goguen, A Mori, K Lin
Proceedings, User Interfaces for Theorem Provers 97, 24-34, 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
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
Detecting unknown computer viruses–a new approach–
A Mori
International Symposium on Software Security, 226-241, 2003
Software evolution process via a relational hypergraph model
M Harn, V Berzins, A Mori
Proceedings 199 IEEE/IEEJ/JSAI International Conference on Intelligent …, 1999
Grigore Ro su, and Akiyoshi Sato. Distributed cooperative formal methods tools
J Goguen, K Lin, A Mori
Proceedings, Automated Software Engineering, 55-62, 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
A generic binary analysis method for malware
T Izumida, K Futatsugi, A Mori
International Workshop on Security, 199-216, 2010
中島秀之, 橋田浩一, 森彰, 本村陽一, 山本吉伸, 和泉潔, 野田五十樹
コンピュータ ソフトウェア 18 (4), 446-454, 2001
Verifying behavioural specifications in cafeobj environment
A Mori, K Futatsugi
International Symposium on Formal Methods, 1625-1643, 1999
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
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
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
UBKit for cyber assist
H Nakashima, M Hashimoto, A Mori
Active Media Technology, 46-56, 2003
Counter attacks for bus-off attacks
D Souma, A Mori, H Yamamoto, Y Hata
International Conference on Computer Safety, Reliability, and Security, 319-330, 2018
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
A method for analyzing code homology in genealogy of evolving software
M Hashimoto, A Mori
International Conference on Fundamental Approaches to Software Engineering …, 2010
CafeOBJ as a tool for behavioral system verification
A Mori, K Futatsugi
International Symposium on Software Security, 461-470, 2002
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20