2020
Model Checking as a Service using DynamicResource Scaling
Surya Teja Palavalasa, Yuvraj Singh, Adhish Singla, Suresh Purini and Venkatesh Choppella
27th IEEE International Conference on High Performance Computing, Data and Analytics (HIPC), 2020
[PDF]