Shiraj Arora

According to our database, Shiraj Arora authored at least 8 papers between 2015 and 2022.

Collaborative distances:

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

2022

Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals.

Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen

Proceedings of the Model Checking Software - 28th International Symposium, 2022

2020

The Bouquet Algorithm for Model Checking Unbounded Until Properties.

Shiraj Arora, M. V. Panduranga Rao

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2019

The Bouquet Algorithm for Model Checking Unbounded Until.

Shiraj Arora, M. V. Panduranga Rao

CoRR, 2019

Model Checking Branching Time Properties for Incomplete Markov Chains.

Shiraj Arora, M. V. Panduranga Rao

Proceedings of the Model Checking Software - 26th International Symposium, 2019

2018

Statistical Model Checking of Incomplete Stochastic Systems.

Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Specialist Cops Catching Robbers on Complex Networks.

Shiraj Arora, Abhishek Jain, Yenda Ramesh, M. V. Panduranga Rao

Proceedings of the Complex Networks and Their Applications VII, 2018

2016

Probabilistic Model Checking of Incomplete Models.

Shiraj Arora, M. V. Panduranga Rao

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Statistical Model Checking of Opportunistic Network Protocols.

Shiraj Arora, Ankit Rathor, M. V. Panduranga Rao

Proceedings of the Asian Internet Engineering Conference, 2015