Login / Signup
Surya Teja Palavalasa
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Transition Systems
Automated Verification
Alternating Time Temporal Logic
Model Checking
Top Venues
HiPC
</>
Publications
</>
Surya Teja Palavalasa
,
Yuvraj Singh
,
Adhish Singla
,
Suresh Purini
,
Venkatesh Choppella
Model Checking as a Service using Dynamic Resource Scaling.
HiPC
(2020)