( en | de | ru )

 

Disambiguation of "Varanasi, Sarat Chandra"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Methods in Requirements Engineering: Survey and Future Directions.

, , , , , , , and . FormaliSE@ICSE, page 88-99. ACM, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kiran Varanasi

Niculin Andri Saratz

Josef Saratka

Sarat Kumar Singh

Umananda Chandra

 

Other publications of authors with the same name

Generating Concurrent Programs From Sequential Data Structure Knowledge., , and . CoRR, (2020)Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP., , and . CoRR, (2023)Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming., , , , and . ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Towards a Correct-by-Construction Design of Integrated Modular Avionics., , , , , , , , , and 2 other author(s). FMCAD, page 221-227. IEEE, (2023)Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming., , , , and . CoRR, (2022)Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)., , , , , , , and . ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper)., , , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 250-260. Springer, (2023)LTL Model Checking using Coinductive Answer Set Programming., , , , and . ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Approximation and Heuristics for Community Detection., , and . Handbook of Approximation Algorithms and Metaheuristics (2), Chapman and Hall/CRC, (2018)Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming., , , , , , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 261-278. Springer, (2023)