MLAT: A tool for heap analysis based on predicate abstraction by modal logic T Sekizawa, Y Tanabe, Y Yuasa, K Takahashi IASTED International Conference on Software Engineering (SE 2008), 310-317, 2008 | 11 | 2008 |
Preconditions of properties described in CTL for statements manipulating pointers Y Tanabe, T Takai, T Sekizawa, K Takahashi Supplemental Volume of International Conference on Dependable Systems and …, 2005 | 11 | 2005 |
Probabilistic position estimation and model checking for resource-constrained IoT devices T Sekizawa, T Mikoshi, M Nagura, R Watanabe, Q Chen 2018 27th International Conference on Computer Communication and Networks …, 2018 | 6 | 2018 |
Behavior verification of autonomous robot vehicle in consideration of errors and disturbances T Sekizawa, F Otsuki, K Ito, K Okano 2015 IEEE 39th Annual Computer Software and Applications Conference 3, 550-555, 2015 | 6 | 2015 |
A case study: Verification of specifications of an embedded system and generation of verification items using pairwise testing T Sekizawa, T Kotorii 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 2, 146-151, 2013 | 6 | 2013 |
Verification of the Deutsch-Schorr-Waite marking algorithm with modal logic Y Yuasa, Y Tanabe, T Sekizawa, K Takahashi Verified Software: Theories, Tools, Experiments: Second International …, 2008 | 6 | 2008 |
Analysis of specification in Japanese using natural language processing K Okano, K Takahashi, S Ogata, T Sekizawa Knowledge-Based Software Engineering: 2018: Proceedings of the 12th Joint …, 2019 | 5 | 2019 |
Towards verification of robot design for self-localization R Watanabe, K Okano, T Sekizawa Hardware and Software: Verification and Testing: 13th International Haifa …, 2017 | 4 | 2017 |
Verification of a control program for a line tracing robot using UPPAAL considering general aspects T Sekizawa, K Okano, A Ogawa, S Kusumoto International Journal of Informatics Society (IJIS) 6 (2), 79-87, 2014 | 4 | 2014 |
Verification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton Model K Okano, T Sekizawa, H Shimba, H Kawai, K Hanada, Y Sasaki, ... International Journal of Informatics Society 5 (3), 147-155, 2013 | 3 | 2013 |
Probabilistic model checking of the one-dimensional Ising model T Sekizawa, T Tsuchiya, K Takahashi, T Kikuno IEICE transactions on information and systems 92 (5), 1003-1011, 2009 | 3 | 2009 |
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench K Okano, S Harauchi, T Sekizawa, S Ogata, S Nakajima IEICE TRANSACTIONS on Information and Systems 102 (8), 1498-1505, 2019 | 2 | 2019 |
Analysis of specification in Japanese using natural language processing and review supporting with speech synthesis K Okano, K Takahashi, Y Naka, S Ogata, T Sekizawa IEICE Technical Report; IEICE Tech. Rep. 117 (465), 79-84, 2018 | 2 | 2018 |
Equivalence checking of Java methods: Toward ensuring IoT dependability K Okano, S Harauchi, T Sekizawa, S Ogata, S Nakashima 2017 26th International Conference on Computer Communication and Networks …, 2017 | 2 | 2017 |
Safety verification of multiple autonomous systems by formal approach K Okano, T Sekizawa International Conference on Computer Safety, Reliability, and Security, 11-18, 2014 | 2 | 2014 |
Verification of safety property of line tracer program using timed automaton model K Okano International Workshop on Informatics (IWIN2012), 64-73, 2012 | 2 | 2012 |
Pre-and post-conditions expressed in variants of the modal µ-calculus Y Tanabe, T Sekizawa, Y Yuasa, K Takahashi IEICE TRANSACTIONS on Information and Systems 92 (5), 995-1002, 2009 | 2 | 2009 |
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties K Okano, M Onishi, J Otsuka, S Ogata, T Sekizawa, K Okamoto, D Bekki Procedia Computer Science 207, 532-541, 2022 | 1 | 2022 |
Recursive gateway allocation combined with self-localization and model checking in mobile ad-hoc networks T Sekizawa, Q Chen, T Mikoshi Proceedings of the 10th International Symposium on Information and …, 2019 | 1 | 2019 |
Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model R Watanabe, T Sekizawa 2019 IEEE 4th International Conference on Computer and Communication Systems …, 2019 | 1 | 2019 |