E-LIB Suche - Ergebnisse für: Varanasi, Sarat Chandra

1

Formal Methods in Requirements Engineering: Survey and Futu..:

, In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE),

Lorch, Robert ; Meng, Baoluo ; Siu, Kit... - p. 88-99 , 2024

Link: https://dl.acm.org/doi/1..

2

Prolog: Past, Present, and Future:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Gupta, Gopal ; Salazar, Elmer ; Shakerin, Farhad... - p. 48-61 , 2023

Link: https://doi.org/10.1007/..

3

Towards a Correct-by-Construction Design of Integrated Modu..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Meng, Baoluo ; Debnath, Joyanta ; Varanasi, Sarat Chandra... - p. 221-227 , 2023

Link: https://doi.org/10.34727..

4

Jury-Trial Story Construction and Analysis Using Goal-Direc..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Xu, Zesheng ; Arias, Joaquín ; Salazar, Elmer... - p. 261-278 , 2023

Link: https://doi.org/10.1007/..

5

Locksynth: Deriving Synchronization Code for Concurrent Dat..:

VARANASI, SARAT CHANDRA ; MITTAL, NEERAJ ; GUPTA, GOPAL
Theory and Practice of Logic Programming. 23 (2023) 4 - p. 812-831 , 2023

Link: https://doi.org/10.1017/..

6

UAV Compliance Checking Using Answer Set Programming and Mi..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Varanasi, Sarat Chandra ; Meng, Baoluo ; Alexander, Christopher. - p. 250-260 , 2023

Link: https://doi.org/10.1007/..

7

Automated DO-178C Compliance Summary through Evidence Curat..:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),

Paul, Saswata ; Alexander, Christopher ; Durling, Michael... - p. 1-10 , 2023

Link: https://doi.org/10.1109/..

8

Logic-Based Explainable and Incremental Machine Learning:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Gupta, Gopal ; Wang, Huaduo ; Basu, Kinjal... - p. 346-358 , 2023

Link: https://doi.org/10.1007/..

9

Towards the Certification of Neural Networks using Overarch..:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),

Paul, Saswata ; Prince, Daniel ; Iyer, Naresh... - p. 1-10 , 2023

Link: https://doi.org/10.1109/..

10

Modeling and Verification of Real-Time Systems with the Eve..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Varanasi, Sarat Chandra ; Arias, Joaquín ; Salazar, Elmer... - p. 181-190 , 2022

Link: https://doi.org/10.1007/..

11

Synthesizing Imperative Code from Answer Set Programming Sp..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Varanasi, Sarat Chandra ; Salazar, Elmer ; Mittal, Neeraj. - p. 75-89 , 2020

Link: https://doi.org/10.1007/..

12

Locksynth: Deriving Synchronization Code for Concurrent Dat..:

Varanasi, Sarat Chandra ; Mittal, Neeraj ; Gupta, Gopal
http://arxiv.org/abs/2305.18225. , 2023

Link: http://arxiv.org/abs/230..

13

Automating UAV Flight Readiness Approval using Goal-Directe..:

Varanasi, Sarat Chandra ; Meng, Baoluo ; Alexander, Christopher..
http://arxiv.org/abs/2208.12199. , 2022

Link: http://arxiv.org/abs/220..

14

Generating Concurrent Programs From Sequential Data Structu..:

Varanasi, Sarat Chandra ; Mittal, Neeraj ; Gupta, Gopal
http://arxiv.org/abs/2109.08298. , 2021

Link: http://arxiv.org/abs/210..

15

CASPR: A Commonsense Reasoning-based Conversational Socialb..:

Basu, Kinjal ; Wang, Huaduo ; Dominguez, Nancy...
http://arxiv.org/abs/2110.05387. , 2021

Link: http://arxiv.org/abs/211..