Kazunori Someya

According to our database, Kazunori Someya authored at least 3 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

A Metamodel for Enumerating Off-Nominal Scenarios in Operational Scenario Review through Bounded Model Checking.

Kazunori Someya, Toshiaki Aoki

Proceedings of the 14th International Conference on Model-Based Software and Systems Engineering, 2026

2025

Metamodel-Based Compaction of Spacecraft Operational Scenario Models for Efficient Review.

Kazunori Someya, Toshiaki Aoki, Naoki Ishihama

IEEE Access, 2025

2023

Compaction of Spacecraft Operational Models with Metamodeling Domain Knowledge.

Kazunori Someya, Toshiaki Aoki, Naoki Ishihama

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023