Follow
Toshiaki Aoki
Title
Cited by
Cited by
Year
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
532000
Conformance testing for OSEK/VDX operating system using model checking
J Chen, T Aoki
2011 18th Asia-Pacific Software Engineering Conference, 274-281, 2011
472011
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
332010
SPIN による設計モデル検証
吉岡信和, 青木利晃, 田原康之
近代科学社, 2009
31*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
202015
Model checking multi-task software on real-time operating systems
T Aoki
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
202008
Unification and consistency verification of object-oriented analysis models
T Aoki, T Katayama
Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998
191998
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
182009
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
172015
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
162019
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
162013
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
162013
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
162003
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
142013
Active learning of nondeterministic finite state machines
W Pacharoen, T Aoki, P Bhattarakosol, A Surarerks
Mathematical Problems in Engineering 2013, 2013
142013
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
132012
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
122009
SPIN による設計モデル検証: モデル検査の実践ソフトウェア検証
吉岡信和, 青木利晃, 田原康之
近代科学社, 2008
122008
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
112020
Verifying OSEK/VDX OS design using its formal specification
DH Vu, Y Chiba, K Yatake, T Aoki
2016 10th International Symposium on Theoretical Aspects of Software …, 2016
112016
The system can't perform the operation now. Try again later.
Articles 1–20