Masataka Nishi

According to our database, Masataka Nishi authored at least 5 papers between 2015 and 2019.

Collaborative distances:

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

2019

Process Barrier for Predictable and Repeatable Concurrent Execution.

Masataka Nishi

Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, 2019

2017

Preemptive Detection of Unsafe Motion Liable for Hazard.

Masataka Nishi

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Towards bounded model checking using nonlinear programming solver.

Masataka Nishi

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Reduction of the State Observation Problem to an Identifiability Problem.

Masataka Nishi

Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016

2015

Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns.

Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015