Pete Manolios

Citado por

	Total	Desde 2019
Citas	4609	1049
Índice h	33	16
Índice i10	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 42

Acceso público

Ver todo

4 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

jstrother mooreComputer Science Dept, University of Texas at AustinDirección de correo verificada de cs.utexas.edu
Harsh Raju ChamarthiIntel CorporationDirección de correo verificada de ccs.neu.edu
Alessandro OrsoProfessor of Computer Science, Georgia Institute of TechnologyDirección de correo verificada de cc.gatech.edu
William G.J. HalfondUniversity of Southern CaliforniaDirección de correo verificada de usc.edu
Michael DurlingGeneral Electric ResearchDirección de correo verificada de ge.com
Meng LiCertiKDirección de correo verificada de certik.org
Abha MoitraGE Global ResearchDirección de correo verificada de ge.com
Olin ShiversNortheastern UniversityDirección de correo verificada de ccs.neu.edu
Justin SlepakNortheastern UniversityDirección de correo verificada de ccs.neu.edu
Mitesh JainSynopsysDirección de correo verificada de fastmail.com
Eugene GoldbergNortheastern UniversityDirección de correo verificada de ccs.neu.edu
Andrew T. WalterPhD Student, Northeastern University, Khoury College of Computer SciencesDirección de correo verificada de husky.neu.edu
Michael (Mike) MeinersGE Aviation SystemsDirección de correo verificada de ge.com
José-Luis Ruiz-ReinaProfessor of Computer Science, University of Seville (Spain)Dirección de correo verificada de us.es
Sandip RayProfessor, Department of Electrical and Computer Engineering, University of Florida at GainesvilleDirección de correo verificada de ece.ufl.edu
Matthew MightHugh Kaul Precision Medicine Institute, University of Alabama at BirminghamDirección de correo verificada de uab.edu
Kedar NamjoshiBell LabsDirección de correo verificada de nokia-bell-labs.com
Augusto De ContoDirección de correo verificada de sc.senai.br
Italo Romani de OliveiraBoeing Research and TechnologyDirección de correo verificada de boeing.com
Aaron TuronMPI-SWSDirección de correo verificada de mpi-sws.org

Seguir

Pete Manolios

Professor, Northeastern University

Dirección de correo verificada de ccs.neu.edu - Página principal

Formal Methods


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	402	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	283	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores