| Statistical model checking for probabilistic hyperproperties of real-valued signals S Arora, RR Hansen, KG Larsen, A Legay, DB Poulsen International Symposium on Model Checking Software, 61-78, 2022 | 10 | 2022 |
| Probabilistic model checking of incomplete models S Arora, MVP Rao Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 8 | 2016 |
| Statistical model checking of incomplete stochastic systems S Arora, A Legay, T Richmond, LM Traonouez Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 6 | 2018 |
| Statistical model checking of opportunistic network protocols S Arora, A Rathor, MVP Rao Proceedings of the 11th Asian Internet Engineering Conference, 62-68, 2015 | 5 | 2015 |
| Specialist cops catching robbers on complex networks S Arora, A Jain, Y Ramesh, MV Panduranga Rao Complex Networks and Their Applications VII: Volume 1 Proceedings The 7th …, 2019 | 3 | 2019 |
| Probabilistic model checking of incomplete models S Arora, MV Rao arXiv preprint arXiv:1706.05082, 2017 | 1 | 2017 |
| The Bouquet Algorithm for Model Checking Unbounded Until Properties S Arora, MVP Rao 2020 International Symposium on Theoretical Aspects of Software Engineering …, 2020 | | 2020 |
| Functional and Performance Improvements for Probabilistic Model Checking S Arora IIT HYDERABAD, 2020 | | 2020 |
| The Bouquet Algorithm for Model Checking Unbounded Until S Arora, MV Rao arXiv preprint arXiv:1911.10478, 2019 | | 2019 |
| Model Checking Branching Time Properties for Incomplete Markov Chains S Arora, MV Panduranga Rao Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019 | | 2019 |
axel legayUCLouvainBestätigte E-Mail-Adresse bei uclouvain.be
