Mitesh Jain

According to our database, Mitesh Jain authored at least 6 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Local and Compositional Reasoning for Optimized Reactive Systems.

Mitesh Jain, Panagiotis Manolios

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2017

An Efficient Runtime Validation Framework based on the Theory of Refinement.

Mitesh Jain, Panagiotis Manolios

CoRR, 2017

2015

Proving Skipping Refinement with ACL2s.

Mitesh Jain, Panagiotis Manolios

Proceedings of the Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, 2015

Practical Formal Verification of Domain-Specific Language Applications.

Greg Eakman, Howard Reubenstein, Tom Hawkins, Mitesh Jain, Panagiotis Manolios

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Skipping Refinement.

Mitesh Jain, Panagiotis Manolios

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2013

Verification of Sequential Circuits by Tests-As-Proofs Paradigm.

Eugene Goldberg, Mitesh Jain, Panagiotis Manolios

CoRR, 2013