Toshifusa Sekizawa
According to our database1,
Toshifusa Sekizawa
authored at least 16 papers
between 2008 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022
2019
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench.
IEICE Trans. Inf. Syst., 2019
Recursive Gateway Allocation Combined with Self-localization and Model Checking in Mobile Ad-hoc Networks.
Proceedings of the Tenth International Symposium on Information and Communication Technology, 2019
Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model.
Proceedings of the IEEE 4th International Conference on Computer and Communication Systems, 2019
2018
Proceedings of the Knowledge-Based Software Engineering: 2018, 2018
Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices.
Proceedings of the 27th International Conference on Computer Communication and Networks, 2018
2017
Proceedings of the 26th International Conference on Computer Communication and Networks, 2017
Proceedings of the Hardware and Software: Verification and Testing, 2017
2016
A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
2015
Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015
2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
2013
A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
2011
IEICE Trans. Inf. Syst., 2011
2009
IEICE Trans. Inf. Syst., 2009
IEICE Trans. Inf. Syst., 2009
2008
Proceedings of the Verified Software: Theories, 2008