Harsh Raju Chamarthi

201120122013201420152016201720182019202020212022202320243 4 10 4 16 11 17 14 27 12 19 20 31 3

Pete ManoliosProfessor, Northeastern UniversityGeverifieerd e-mailadres voor ccs.neu.edu

Intel Corporation

Geverifieerd e-mailadres voor ccs.neu.edu


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Integrating testing and interactive theorem proving HR Chamarthi, PC Dillinger, M Kaufmann, P Manolios arXiv preprint arXiv:1105.4394, 2011	60	2011
The ACL2 sedan theorem proving system HR Chamarthi, P Dillinger, P Manolios, D Vroon Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011	53	2011
Towards development of complete and conflict-free requirements A Moitra, K Siu, A Crapo, H Chamarthi, M Durling, M Li, H Yu, P Manolios, ... 2018 IEEE 26th International Requirements Engineering Conference (RE), 286-296, 2018	30	2018
Data definitions in the ACL2 sedan HR Chamarthi, PC Dillinger, P Manolios arXiv preprint arXiv:1406.1557, 2014	23	2014
Automated specification analysis using an interactive theorem prover HR Chamarthi, P Manolios 2011 Formal Methods in Computer-Aided Design (FMCAD), 46-53, 2011	19	2011
Interactive non-theorem disproving HR Chamarthi Northeastern University, 2017	6	2017

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–6

Citaties per jaar