Niraj Basnet

According to our database, Niraj Basnet authored at least 2 papers between 2020 and 2021.

Collaborative distances:

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

2021

Predicate Monitoring in Distributed Cyber-Physical Systems.

Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour

Proceedings of the Runtime Verification - 21st International Conference, 2021

2020

Logical Signal Processing: A Fourier Analysis of Temporal Logic.

Niraj Basnet, Houssam Abbas

Proceedings of the Runtime Verification - 20th International Conference, 2020