Automated grading of automata with ACL2s A Kumar, A Walter, P Manolios arXiv preprint arXiv:2303.05867, 2023 | 2 | 2023 |
Calculational Proofs in ACL2s AT Walter, A Kumar, P Manolios arXiv preprint arXiv:2307.12224, 2023 | 1 | 2023 |
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers A Kumar, M von Hippel, P Manolios, C Nita-Rotaru arXiv preprint arXiv:2212.05197, 2022 | 1 | 2022 |
Mathematical Programming Modulo Strings A Kumar, P Manolios 2021 Formal Methods in Computer Aided Design (FMCAD), 261-270, 2021 | 1 | 2021 |
Verification of GossipSub in ACL2s A Kumar, M von Hippel, P Manolios, C Nita-Rotaru arXiv preprint arXiv:2311.08859, 2023 | | 2023 |
Proving Calculational Proofs Correct AT Walter, A Kumar, P Manolios arXiv preprint arXiv:2311.08860, 2023 | | 2023 |
Extension of a Language Combining Proofs and Programs with Polymorphic Types A Kumar INDIAN INSTITUTE OF TECHNOLOGY KANPUR, 2017 | | 2017 |