Takanori Ishibashi

Orcid: 0009-0009-3173-5273

According to our database¹, Takanori Ishibashi authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

A Support Tool for Verification of Simulation Relations Between State Machines with Maude.

[DOI]

Proceedings of the Software Fault Prevention, Verification, and Validation, 2025

2023

Formal Specification and Model Checking of Raft Leader Election in Maude.

[DOI]

Proceedings of the 12th International Conference on Software and Computer Applications, 2023

Formal Specification and Model Checking of Raft Log Replication in Maude.

[DOI]

Proceedings of the 29th International DMS Conference on Visualization and Visual Languages, 2023