Mitesh Jain

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 2

Top Topics

Formal Verification

Refinement Process

Domain Specific Languages

Top Venues

Publications

Mitesh Jain, Panagiotis Manolios
Local and Compositional Reasoning for Optimized Reactive Systems. CAV (1) (2019)
Mitesh Jain, Panagiotis Manolios
An Efficient Runtime Validation Framework based on the Theory of Refinement. CoRR (2017)
Greg Eakman, Howard Reubenstein, Tom Hawkins, Mitesh Jain, Panagiotis Manolios
Practical Formal Verification of Domain-Specific Language Applications. NFM (2015)
Mitesh Jain, Panagiotis Manolios
Skipping Refinement. CAV (1) (2015)
Mitesh Jain, Panagiotis Manolios
Skipping Refinement. CoRR (2015)
Mitesh Jain, Panagiotis Manolios
Proving Skipping Refinement with ACL2s. ACL2 (2015)
Eugene Goldberg, Mitesh Jain, Panagiotis Manolios
Verification of Sequential Circuits by Tests-As-Proofs Paradigm. CoRR (2013)