Login / Signup
Adhish Singla
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 2
2025
2016
Top Topics
2025
2016
Transition Systems
2025
2016
Automated Verification
2025
2016
Alternating Time Temporal Logic
2025
2016
Model Checking
Top Venues
HiPC
ISPDC
</>
Publications
</>
Surya Teja Palavalasa
,
Yuvraj Singh
,
Adhish Singla
,
Suresh Purini
,
Venkatesh Choppella
Model Checking as a Service using Dynamic Resource Scaling.
HiPC
(2020)
Adhish Singla
,
Krishnaji Desai
,
Suresh Purini
,
Venkatesh Choppella
Distributed Safety Verification Using Vertex Centric Programming Model.
ISPDC
(2016)