Harsh Raju Chamarthi

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 1

Top Topics

Database Schemes

Top Venues

Publications

Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners
Towards Development of Complete and Conflict-Free Requirements. RE (2018)
Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios
Data Definitions in the ACL2 Sedan. ACL2 (2014)
Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon
The ACL2 Sedan Theorem Proving System. TACAS (2011)
Harsh Raju Chamarthi, Panagiotis Manolios
Automated specification analysis using an interactive theorem prover. FMCAD (2011)
Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann, Panagiotis Manolios
Integrating Testing and Interactive Theorem Proving ACL2 (2011)