Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns. - Toshiaki Aoki; Kriangkrai Traichaiyaporn; Yuki Chiba; Masahiro Matsubara; Masataka Nishi; Fumio Narisawa (FTSCS, 2015)

Reduction of the State Observation Problem to an Identifiability Problem. - Masataka Nishi (AAAI Fall Symposia, 2016)

Towards bounded model checking using nonlinear programming solver. - Masataka Nishi (ASE, 2016)

Preemptive Detection of Unsafe Motion Liable for Hazard. - Masataka Nishi (AAAI Workshops, 2017)

Process Barrier for Predictable and Repeatable Concurrent Execution. - Masataka Nishi (PMAM@PPoPP, 2019)