Sarat Chandra Varanasi

31 papers A* 1B 1C 4Journal 9Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation.
NFM
Sarat Chandra Varanasi, Baoluo Meng, Robert Lorch, Abha Moitra, Kit Siu, Saswata Paul, Michael Durling, Neha Beniwal, Nikita Visnevski
2024 J jnl
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming.
Theory Pract. Log. Program.
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendal Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024 J jnl
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
CoRR
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024 — conf
Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
ICLP Workshops
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024 — conf
Formal Methods in Requirements Engineering: Survey and Future Directions.
FormaliSE@ICSE
Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan
2024 — conf
Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions.
ICLP Workshops
Sarat Chandra Varanasi, Baoluo Meng
2024 — ed.
Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), Dallas, TX, USA, October 12th and 13th, 2024.
ICLP Workshops
Joaquín Arias, Damiano Azzolini, Kinjal Basu, Verónica Dahl, Markus Hecher, Francesco Pacenza, Zeynep G. Saribatur, Sarat Chandra Varanasi
2023 C conf
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.
PADL
Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta
2023 J jnl
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP.
CoRR
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
2023 J jnl
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP.
Theory Pract. Log. Program.
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
2023 — ch.
Logic-Based Explainable and Incremental Machine Learning.
Prolog: The Next 50 Years
Gopal Gupta, Huaduo Wang, Kinjal Basu, Farhad Shakerin, Elmer Salazar, Sarat Chandra Varanasi, Parth Padalkar, Sopam Dasgupta
2023 — ch.
Prolog: Past, Present, and Future.
Prolog: The Next 50 Years
Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro
2023 B conf
Towards a Correct-by-Construction Design of Integrated Modular Avionics.
FMCAD
Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Chi Zhang, Tim Oates
2023 C conf
UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper).
PADL
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos
2022 J jnl
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming.
CoRR
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
2022 — conf
LTL Model Checking using Coinductive Answer Set Programming.
ICLP Workshops
Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta
2022 C conf
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).
PADL
Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta
2022 — conf
Tutorial: Automating Commonsense Reasoning.
ICLP Workshops
Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang
2022 — conf
Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming.
ICLP Workshops
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
2021 J jnl
CASPR: A Commonsense Reasoning-based Conversational Socialbot.
CoRR
Kinjal Basu, Huaduo Wang, Nancy Dominguez, Xiangci Li, Fang Li, Sarat Chandra Varanasi, Gopal Gupta
2021 — conf
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming.
ICLP Technical Communications
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
2021 — conf
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.
HCVS@ETAPS
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
2021 A* conf
Knowledge-driven Natural Language Understanding of English Text and its Applications.
AAAI
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
2021 J jnl
Knowledge-driven Natural Language Understanding of English Text and its Applications.
CoRR
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
2021 — conf
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).
ICLP Workshops
Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta
2020 J jnl
Generating Concurrent Programs From Sequential Data Structure Knowledge.
CoRR
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
2020 J jnl
Pointer Data Structure Synthesis from Answer Set Programming Specifications.
CoRR
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
2020 — conf
SQuARE: Semantics-based Question Answering and Reasoning Engine.
ICLP Technical Communications
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Gopal Gupta
2019 — conf
Imperative Program Synthesis from Answer Set Programs.
ICLP Technical Communications
Sarat Chandra Varanasi
2019 C conf
Synthesizing Imperative Code from Answer Set Programming Specifications.
LOPSTR
Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta
2018 — ch.
Approximation and Heuristics for Community Detection.
Handbook of Approximation Algorithms and Metaheuristics (2)
Jing Yuan, Weili Wu, Sarat Chandra Varanasi