Masashi Mizoguchi

11 papers A* 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2025 A* conf
Acceleration of Automotive Software Development by Retrieval Augmented Integration Test Script Generation.
ASE
Masashi Mizoguchi, Kentaro Yoshimura, Keita Nakazawa, Yasuomi Sato, Takahiro Iida, Fumio Narisawa
2024 J jnl
Abstraction-Based Safe Control With Alternating Simulation-Based Shields and Its Application to Mobile Robots.
IEEE Access
Masashi Mizoguchi, Toshimitsu Ushio
2022 J jnl
Abstraction-Based Control Under Quantized Observation With Approximate Opacity Using Symbolic Control Barrier Functions.
IEEE Control. Syst. Lett.
Masashi Mizoguchi, Toshimitsu Ushio
2022 J jnl
Abstraction-Based Symbolic Control Barrier Functions for Safety-Critical Embedded Systems.
IEEE Control. Syst. Lett.
Masashi Mizoguchi, Toshimitsu Ushio
2021 J jnl
Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Masashi Mizoguchi, Toshimitsu Ushio
2020 — conf
Optimization of automated executions based on integration test configurations of embedded software.
ICST Workshops
Masashi Mizoguchi, Takahiro Iida, Toru Irie
2018 — conf
Prioritization in Automotive Software Testing: Systematic Literature Review.
QuASoQ@APSEC
Ankush Dadwal, Hironori Washizaki, Yoshiaki Fukazawa, Takahiro Iida, Masashi Mizoguchi, Kentaro Yoshimura
2017 J jnl
Symbolic Design of Networked Control Systems with State Prediction.
IEICE Trans. Inf. Syst.
Masashi Mizoguchi, Toshimitsu Ushio
2016 — conf
Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems.
V2CPS@IFM
Masashi Mizoguchi, Toshimitsu Ushio
2016 — conf
Symbolic control of systems with dead times using symbolic smith predictors.
CDC
Masashi Mizoguchi, Toshimitsu Ushio
2015 — conf
Observer-based Similarity Output Feedback Control of Cyber-Physical Systems.
ADHS
Masashi Mizoguchi, Toshimitsu Ushio