| I4: incremental inference of inductive invariants for verification of distributed protocols H Ma, A Goel, JB Jeannin, M Kapritsos, B Kasikci, KA Sakallah Proceedings of the 27th ACM Symposium on Operating Systems Principles, 370-384, 2019 | 87 | 2019 |
| AVR: abstractly verifying reachability A Goel, K Sakallah Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 59 | 2020 |
| On symmetry and quantification: A new approach to verify distributed protocols A Goel, K Sakallah NASA Formal Methods Symposium, 131-150, 2021 | 40 | 2021 |
| Model checking of verilog rtl using ic3 with syntax-guided abstraction A Goel, K Sakallah NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019 | 38 | 2019 |
| Towards an Automatic Proof of Lamport's Paxos A Goel, K Sakallah # PLACEHOLDER_PARENT_METADATA_VALUE#, 112-122, 2021 | 30 | 2021 |
| Empirical evaluation of ic3-based model checking techniques on verilog rtl designs A Goel, K Sakallah 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 618-621, 2019 | 11 | 2019 |
| Sift: Using refinement-guided automation to verify complex distributed systems H Ma, H Ahmad, A Goel, E Goldweber, JB Jeannin, M Kapritsos, B Kasikci 2022 USENIX Annual Technical Conference (USENIX ATC 22), 151-166, 2022 | 10 | 2022 |
| Towards automatic inference of inductive invariants H Ma, A Goel, JB Jeannin, M Kapritsos, B Kasikci, KA Sakallah Proceedings of the Workshop on Hot Topics in Operating Systems, 30-36, 2019 | 9 | 2019 |
| iitRACE: A memory efficient engine for fast incremental timing analysis and clock pessimism removal C Peddawad, A Goel, B Dheeraj, N Chandrachoodan 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 903-909, 2015 | 9 | 2015 |
| IC3PO: IC3 for Proving Protocol Properties A Goel, K Sakallah https://github.com/aman-goel/ic3po, 0 | 7 | |
| Matrix-Matrix Multiplication Using Systolic Array Architecture in Bluespec C Peddawad, A Goel, B Dheeraj Project report, CS6230: CAD for VLSI, IIT Madras, 2015 | 4* | 2015 |
| Towards an automatic proof of the bakery algorithm A Goel, S Merz, KA Sakallah International Conference on Formal Techniques for Distributed Objects …, 2023 | 3 | 2023 |
| AVR (Averroes 2) A Goel, K Sakallah https://github.com/aman-goel/avr, 0 | 3* | |
| Regularity and quantification: a new approach to verify distributed protocols A Goel, KA Sakallah Innovations in Systems and Software Engineering 19 (4), 359-377, 2023 | 2 | 2023 |
| SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. K Fazekas, A Goel, KA Sakallah FMCAD, 152-161, 2023 | 2 | 2023 |
| Sift Artifact H Ma, H Ahmad, A Goel, E Goldweber, JB Jeannin, M Kapritsos, B Kasikci | 2 | |
| From Finite to Infinite: Scalable Automatic Verification of Hardware Designs and Distributed Protocols A Goel | 1 | 2021 |
| SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update YR Luo, A Goel, K Sakallah International Symposium on Leveraging Applications of Formal Methods, 374-384, 2024 | | 2024 |
| Yices 2 in SMT-COMP 2023 B Dutertre, A Goel, S Graham-Lengrand, A Irfan, D Jovanovic, IA Mason | | |
| reTLA: Towards an automatic transpiler from TLA+ to VMT J Kukovec, A Goel, I Konnov, S Merz, K Sakallah | | |
Karem A SakallahUniversity of MichiganVerified email at umich.edu