| A temporal logic with mean-payoff constraints T Tomita, S Hiura, S Hagihara, N Yonezaki Formal Methods and Software Engineering: 14th International Conference on …, 2012 | 25 | 2012 |
| Safraless LTL synthesis considering maximal realizability T Tomita, A Ueno, M Shimakawa, S Hagihara, N Yonezaki Acta Informatica 54 (7), 655-692, 2017 | 23 | 2017 |
| 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 |
| A probabilistic temporal logic with frequency operators and its model checking T Tomita, S Hagihara, N Yonezaki arXiv preprint arXiv:1111.3111, 2011 | 15 | 2011 |
| Simple synthesis of reactive systems with tolerance for unexpected environmental behavior S Hagihara, A Ueno, T Tomita, M Shimakawa, N Yonezaki Proceedings of the 4th FME Workshop on Formal Methods in Software …, 2016 | 10 | 2016 |
| Template-based Monte-Carlo test generation for Simulink models T Tomita, D Ishii, T Murakami, S Takeuchi, T Aoki Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International …, 2019 | 9 | 2019 |
| A scalable Monte-Carlo test-case generation tool for large and complex simulink models T Tomita, D Ishii, T Murakami, S Takeuchi, T Aoki 2019 IEEE/ACM 11th International Workshop on Modelling in Software …, 2019 | 8 | 2019 |
| Multiple program analysis techniques enable precise check for SEI CERT C coding standard TT Nguyen, T Aoki, T Tomita, I Yamada 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 70-77, 2019 | 6 | 2019 |
| Integrating static program analysis tools for verifying cautions of microcontroller T Nguyen, T Aoki, T Tomita, J Endo 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 86-93, 2019 | 5 | 2019 |
| Dataset fault tree analysis for systematic evaluation of machine learning systems T Aoki, D Kawakami, N Chida, T Tomita 2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing …, 2020 | 3 | 2020 |
| SMT-Based Model Checking of Industrial Simulink Models D Ishii, T Tomita, T Aoki, TQ Ngo, TBN Do, H Takai International Conference on Formal Engineering Methods, 156-172, 2022 | 2 | 2022 |
| Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models T Tomita, D Ishii, T Murakami, S Takeuchi, T Aoki IEICE Transactions on Fundamentals of Electronics, Communications and …, 2020 | 2 | 2020 |
| Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers T Nguyen, T Tomita, J Endo, T Aoki Software Testing, Verification and Reliability 31 (8), e1788, 2021 | 1 | 2021 |
| Towards Efficient Implementation of Realizability Checking for Reactive System Specifications M Shimakawa, A Ueno, S Mochizuki, T Tomita, S Hagihara, N Yonezaki Proceedings of the 2019 8th International Conference on Software and …, 2019 | 1 | 2019 |
| Specification Based Testing of Object Detection for Automated Driving Systems via BBSL. K Tanaka, T Aoki, T Kawai, T Tomita, D Kawakami, N Chida ENASE, 250-261, 2023 | | 2023 |
| Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods D Ishii, T Tomita, T Aoki, TQ Ngo, TBN Do, H Takai 2022 IEEE 22nd International Conference on Software Quality, Reliability and …, 2022 | | 2022 |
| A characterization on necessary conditions of realizability for reactive system specifications T Tomita, S Hagihara, M Shimakawa, N Yonezaki IEICE TRANSACTIONS on Information and Systems 105 (10), 1665-1677, 2022 | | 2022 |
| A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems K Tanaka, T Aoki, T Kawai, T Tomita, D Kavvakami, N Chida 2022 IEEE 46th Annual Computers, Software, and Applications Conference …, 2022 | | 2022 |
| Approximate Translation from Floating-Point to Real-Interval Arithmetic D Ishii, T Tomita, T Aoki NASA Formal Methods Symposium, 733-751, 2022 | | 2022 |
| Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques T Nguyen, T Tomita, J Endo, G Kang, T Aoki Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1827-1836, 2022 | | 2022 |
Toshiaki AokiJAISTVerified email at jaist.ac.jp
