| Practical formal verification of domain-specific language applications G Eakman, H Reubenstein, T Hawkins, M Jain, P Manolios NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015 | 8 | 2015 |
| Skipping refinement M Jain, P Manolios International Conference on Computer Aided Verification, 103-119, 2015 | 6 | 2015 |
| An efficient runtime validation framework based on the theory of refinement M Jain, P Manolios arXiv preprint arXiv:1703.05317, 2017 | 4 | 2017 |
| Proving skipping refinement with ACL2s M Jain, P Manolios arXiv preprint arXiv:1509.06085, 2015 | 3 | 2015 |
| Local and Compositional Reasoning For Optimized Reactive Systems M Jain, P Manolios Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 1 | 2019 |
| An Introduction to Probabilistically Checkable Proofs and the PCP Theorem J Falcon, M Jain June, 2013 | 1 | 2013 |
| Accelerating formal property verification across design versions using sequential equivalence checking S Kundu, M Jain US Patent 11,507,719, 2022 | | 2022 |
| Refinement-Based Reasoning of Optimized Reactive Systems M Jain Northeastern University, 2018 | | 2018 |
| FORMED: Bringing Formal Methods to the Engineering Desktop H Reubenstein, G Eakman, J Wiegley, P Manolios, M Jain, ... | | 2016 |
| Practical Formal Verification of Domain-Specific Language Applications M Jain, P Manolios NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015 | | 2015 |
| Verification of Sequential Circuits by Tests-As-Proofs Paradigm E Goldberg, M Jain, P Manolios arXiv preprint arXiv:1308.0583, 2013 | | 2013 |
| A Refinement-based Approach to Reason About Optimized Reactive Systems M Jain | | |
