Pete Manolios

Cited by

	All	Since 2019
Citations	4607	1047
h-index	33	16
i10-index	63	30

300

150

225

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 39 54 60 115 150 216 191 209 234 247 286 199 181 242 200 208 215 196 176 223 172 202 177 233 40

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

jstrother mooreComputer Science Dept, University of Texas at AustinVerified email at cs.utexas.edu
Harsh Raju ChamarthiIntel CorporationVerified email at ccs.neu.edu
Alessandro OrsoProfessor of Computer Science, Georgia Institute of TechnologyVerified email at cc.gatech.edu
William G.J. HalfondUniversity of Southern CaliforniaVerified email at usc.edu
Michael DurlingGeneral Electric ResearchVerified email at ge.com
Meng LiCertiKVerified email at certik.org
Abha MoitraGE Global ResearchVerified email at ge.com
Olin ShiversNortheastern UniversityVerified email at ccs.neu.edu
Justin SlepakNortheastern UniversityVerified email at ccs.neu.edu
Mitesh JainSynopsysVerified email at fastmail.com
Eugene GoldbergNortheastern UniversityVerified email at ccs.neu.edu
Andrew T. WalterPhD Student, Northeastern University, Khoury College of Computer SciencesVerified email at husky.neu.edu
Michael (Mike) MeinersGE Aviation SystemsVerified email at ge.com
José-Luis Ruiz-ReinaProfessor of Computer Science, University of Seville (Spain)Verified email at us.es
Sandip RayProfessor, Department of Electrical and Computer Engineering, University of Florida at GainesvilleVerified email at ece.ufl.edu
Matthew MightHugh Kaul Precision Medicine Institute, University of Alabama at BirminghamVerified email at uab.edu
Kedar NamjoshiBell LabsVerified email at nokia-bell-labs.com
Augusto De ContoVerified email at sc.senai.br
Italo Romani de OliveiraBoeing Research and TechnologyVerified email at boeing.com
Aaron TuronMPI-SWSVerified email at mpi-sws.org

Pete Manolios

Professor, Northeastern University

Verified email at ccs.neu.edu - Homepage

Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Computer-aided reasoning: ACL2 case studies M Kaufmann, P Manolios, JS Moore Springer 4, 337, 2000	1145*	2000
Computer-aided reasoning: ACL2 case studies M Kaufmann, P Manolios, JS Moore Springer 4, 337, 2000	1144*	2000
Computer-aided reasoning: ACL2 case studies M Kaufmann, P Manolios, JS Moore Springer Science & Business Media, 2013	1137	2013
Computer-aided reasoning: ACL2 case studies M Kaufmann, P Manolios, JS Moore Springer Science & Business Media, 2013	1137	2013
Computer-aided reasoning: ACL2 case studies M Kaufmann, P Manolios, JS Moore Springer Science & Business Media, 2013	1137	2013
Computer-Aided Reasoning: ACL2 Case Studies M Kaufmann, P Manolios, JS Moore Springer 4, 337, 2000	1137*	2000
Computer-aided reasoning: ACL2 case studies M Kaufmann, P Manolios, JS Moore Springer Science, 2013	1134	2013
Model Checking TLA⁺ Specifications Y Yu, P Manolios, L Lamport Advanced Research Working Conference on Correct Hardware Design and …, 1999	401	1999
Using positive tainting and syntax-aware evaluation to counter SQL injection attacks WGJ Halfond, A Orso, P Manolios Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006	307	2006
WASP: Protecting web applications using positive tainting and syntax-aware evaluation W Halfond, A Orso, P Manolios IEEE transactions on Software Engineering 34 (1), 65-81, 2008	282	2008
Bloom filters in probabilistic verification PC Dillinger, P Manolios International Conference on Formal Methods in Computer-Aided Design, 367-381, 2004	133	2004
Mechanical verification of reactive systems P Manolios	123	2001
Termination analysis with calling context graphs P Manolios, D Vroon International Conference on Computer Aided Verification, 401-414, 2006	99	2006
First-order recurrent neural networks and deterministic finite state automata P Manolios, R Fanelli Neural Computation 6 (6), 1155-1173, 1994	99	1994
Correctness of pipelined machines P Manolios International Conference on Formal Methods in Computer-Aided Design, 181-198, 2000	98	2000
Partial functions in ACL2 P Manolios, JS Moore Journal of Automated Reasoning 31, 107-127, 2003	78	2003
Fast and accurate bitstate verification for SPIN PC Dillinger, P Manolios Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain …, 2004	71	2004
Integrating testing and interactive theorem proving HR Chamarthi, PC Dillinger, M Kaufmann, P Manolios arXiv preprint arXiv:1105.4394, 2011	60	2011
Efficient circuit to CNF conversion P Manolios, D Vroon Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007	56	2007
Automating component-based system assembly P Manolios, D Vroon, G Subramanian Proceedings of the 2007 international symposium on Software testing and …, 2007	55	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors