Keisuke Nishimura

According to our database, Keisuke Nishimura authored at least 6 papers between 2008 and 2024.

Collaborative distances:

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

2024

Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (Artifact).

Julia Lawall, Keisuke Nishimura, Jean-Pierre Lozi

Dataset, July, 2024

Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler.

Julia Lawall, Keisuke Nishimura, Jean-Pierre Lozi

Proceedings of the Static Analysis - 31st International Symposium, 2024

2023

RCABench: Open Benchmarking Platform for Root Cause Analysis.

Keisuke Nishimura, Yuichi Sugiyama, Yuki Koike, Masaya Motoda, Tomoya Kitagawa, Toshiki Takatera, Yuma Kurogome

CoRR, 2023

2021

RAPLET: Demystifying Publish/Subscribe Latency for ROS Applications.

Keisuke Nishimura, Takahiro Ishikawa, Hiroshi Sasaki, Shinpei Kato

Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

2008

BDI Model-Based Crowd Simulation.

Kenta Cho, Naoki Iketani, Masaaki Kikuchi, Keisuke Nishimura, Hisashi Hayashi, Masanori Hattori

Proceedings of the Intelligent Virtual Agents, 8th International Conference, 2008

Finding two-level interpersonal context: proximity and conversation detection from personal audio feature data.

Masayuki Okamoto, Naoki Iketani, Keisuke Nishimura, Masaaki Kikuchi, Kenta Cho, Masanori Hattori, Sougo Tsuboi

Proceedings of the 9th Annual Conference of the International Speech Communication Association, 2008