Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Quantifying Competitive Relationships Among Open-Source Software Projects
Yuki Takei, Toshiaki Aoki, Chaiyong Ragkhitwetsagul
Throughout the history of software, evolution has occurred in cycles of rise and fall driven by competition, and open-source software (OSS) is no exception. This cycle is accelerat…
cs.SE2025
Modeling Language for Scenario Development of Autonomous Driving Systems
Toshiaki Aoki, Takashi Tomita, Tatsuji Kawai +2
Autonomous driving systems are typically verified based on scenarios. To represent the positions and movements of cars in these scenarios, diagrams that utilize icons are typically…
cs.SE2023
Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems
Toshiaki Aoki, Aritoshi Hata, Kazusato Kanamori +7
While vehicles have primarily been controlled through mechanical means in years past, an increasing number of embedded control systems are being installed and used, keeping pace wi…