• Sign in
  • Sign up
conf.researchr.org / Sarat Chandra Varanasi
  • ICSE 2024 profile
  • POPL 2022 profile
  • POPL 2023 profile
No Photo

Registered user since Sat 12 Sep 2020

Name:Sarat Chandra Varanasi

Contributions

2024

FormaliSE

  • Author of Formal Methods in Requirements Engineering: Survey and Future Directions within the FormaliSE 2024-track

2023

Symposium on Practical Aspects of Declarative Languages

  • Session Chair of Domain Specific Languages (part of PADL 2023)
  • Author of Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming within the PADL 2023-track
  • Author of UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper) within the PADL 2023-track

2022

Symposium on Practical Aspects of Declarative Languages

  • Author of Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP) within the PADL 2022-track
Share
xThu 12 Jun 21:00
using conf.researchr.org (v1.69.0)
Support page
Sign Up