|
 | Up a level |
Pai, R and Uppar, A and Shenoy, A and Kushwaha, P and D'Souza, D (2022) Static executes-before analysis for event driven programs. In: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 7 November 2022, Singapore, pp. 233-244.
Samuel, S and D'Souza, D and Komondoor, R (2023) Symbolic Fixpoint Algorithms for Logical LTL Games. In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 11 - 15 September 2023, Echternach, pp. 698-709.
Ezudheen, P and Afzal, ZR and Prabhakar, P and D'Souza, D and D'Souza, M (2020) Verifying Band Convergence for Sampled Control Systems. In: 12th International Symposium on NASA Formal Methods, NFM 2020, 11-15, May 2020, Moffett Field; United States, pp. 329-349.
Ezudheen, P and Neider, D and D'Souza, D and Garg, P and Madhusudan, P (2018) Horn-ice learning for synthesizing invariants and contracts. In: Proceedings of the ACM on Programming Languages, 2 (OOPSLA).
