| Temperature-sensitive sodium channelopathy with heat-induced myotonia and cold-induced paralysis Y Sugiura, T Aoki, Y Sugiyama, C Hida, M Ogata, T Yamamoto Neurology 54 (11), 2179-2181, 2000 | 54 | 2000 |
| Conformance testing for OSEK/VDX operating system using model checking J Chen, T Aoki 2011 18th Asia-Pacific Software Engineering Conference, 274-281, 2011 | 47 | 2011 |
| Automatic generation of model checking scripts based on environment modeling K Yatake, T Aoki International SPIN Workshop on Model Checking of Software, 58-75, 2010 | 33 | 2010 |
| SPIN による設計モデル検証 吉岡信和， 青木利晃， 田原康之 近代科学社, 2009 | 32* | 2009 |
| A spin-based approach for checking OSEK/VDX applications H Zhang, T Aoki, Y Chiba Formal Techniques for Safety-Critical Systems: Third International Workshop …, 2015 | 20 | 2015 |
| Model checking multi-task software on real-time operating systems T Aoki 2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008 | 20 | 2008 |
| Unification and consistency verification of object-oriented analysis models T Aoki, T Katayama Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998 | 19 | 1998 |
| Reducing false positives of static analysis for SEI CERT C coding standard TT Nguyen, P Maleehuan, T Aoki, T Tomita, I Yamada 2019 IEEE/ACM Joint 7th International Workshop on Conducting Empirical …, 2019 | 18 | 2019 |
| Modular conformance testing and assume-guarantee verification for evolving component-based software NH Pham, T Aoki, T Katayama IEICE transactions on fundamentals of electronics, communications and …, 2009 | 18 | 2009 |
| Active learning of nondeterministic finite state machines W Pacharoen, T Aoki, P Bhattarakosol, A Surarerks Mathematical Problems in Engineering 2013 (1), 373265, 2013 | 17 | 2013 |
| Yes! you can use your model checker to verify OSEK/VDX applications H Zhang, T Aoki, Y Chiba 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 16 | 2015 |
| SMT-based bounded model checking for OSEK/VDX applications H Zhang, T Aoki, HH Lin, M Zhang, Y Chiba, K Yatake 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 307-314, 2013 | 16 | 2013 |
| Building a body of knowledge on model checking for software development K Taguchi, H Nishihara, T Aoki, F Kumeno, K Hayamizu, K Shinozaki 2013 IEEE 37th Annual Computer Software and Applications Conference, 784-789, 2013 | 16 | 2013 |
| Formalizing sequence diagrams and state machines using Concurrent Regular Expression M Okazaki, T Aoki, T Katayama Proc. Int. Workshop on Scenarios and State Machines: Models, Algorithms, and …, 2003 | 16 | 2003 |
| Model checking of in-vehicle networking systems with CAN and FlexRay X Guo, T Aoki, HH Lin Journal of Systems and Software 161, 110461, 2020 | 15 | 2020 |
| Evaluation of operational vulnerability in cloud service management using model checking S Kikuchi, T Aoki 2013 IEEE Seventh International Symposium on Service-Oriented System …, 2013 | 14 | 2013 |
| Model checking of OSEK/VDX OS design model based on environment modeling K Yatake, T Aoki International Colloquium on Theoretical Aspects of Computing, 183-197, 2012 | 13 | 2012 |
| Model checking education for software engineers in Japan H Nishihara, K Shinozaki, K Hayamizu, T Aoki, K Taguchi, F Kumeno ACM SIGCSE Bulletin 41 (2), 45-50, 2009 | 12 | 2009 |
| Project report: High-reliable object-oriented embedded software design T Kishi, T Aoki, S Nakajima, N Noda, T Katayama Second IEEE Workshop on Software Technologies for Future Embedded and …, 2004 | 12 | 2004 |
| An axiomatic formalization of UML models T Aoki, T Tateishi, T Katayama Practical UML-based rigorous development methods-Countering or integrating …, 2001 | 12 | 2001 |
