| Computer-aided reasoning: ACL2 case studies M Kaufmann, P Manolios, JS Moore Springer 4, 337, 2000 | 1089* | 2000 |
| Computer-aided reasoning: ACL2 case studies M Kaufmann, P Manolios, JS Moore Springer 4, 337, 2000 | 1087* | 2000 |
| Computer-aided reasoning: ACL2 case studies M Kaufmann, P Manolios, JS Moore Springer Science & Business Media, 2013 | 1082 | 2013 |
| Computer-aided reasoning: ACL2 case studies M Kaufmann, P Manolios, JS Moore Springer Science & Business Media, 2013 | 1082 | 2013 |
| Computer-aided reasoning: ACL2 case studies M Kaufmann, P Manolios, JS Moore Springer Science & Business Media, 2013 | 1082 | 2013 |
| Computer-Aided Reasoning: ACL2 Case Studies M Kaufmann, P Manolios, JS Moore Springer 4, 337, 2000 | 1082* | 2000 |
| Computer-aided reasoning: ACL2 case studies M Kaufmann, P Manolios, JS Moore Springer Science, 2013 | 1079 | 2013 |
| Model Checking TLA+ Specifications Y Yu, P Manolios, L Lamport Advanced Research Working Conference on Correct Hardware Design and …, 1999 | 333 | 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 | 285 | 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 | 263 | 2008 |
| Bloom filters in probabilistic verification PC Dillinger, P Manolios International Conference on Formal Methods in Computer-Aided Design, 367-381, 2004 | 115 | 2004 |
| Mechanical verification of reactive systems P Manolios | 112 | 2001 |
| First-order recurrent neural networks and deterministic finite state automata P Manolios, R Fanelli Neural Computation 6 (6), 1155-1173, 1994 | 97 | 1994 |
| Correctness of pipelined machines P Manolios International Conference on Formal Methods in Computer-Aided Design, 181-198, 2000 | 95 | 2000 |
| Termination analysis with calling context graphs P Manolios, D Vroon International Conference on Computer Aided Verification, 401-414, 2006 | 88 | 2006 |
| Partial functions in ACL2 P Manolios, JS Moore Journal of Automated Reasoning 31 (2), 107-127, 2003 | 72 | 2003 |
| Fast and accurate bitstate verification for SPIN PC Dillinger, P Manolios International SPIN Workshop on Model Checking of Software, 57-75, 2004 | 66 | 2004 |
| Efficient circuit to CNF conversion P Manolios, D Vroon International Conference on Theory and Applications of Satisfiability …, 2007 | 53 | 2007 |
| Automating component-based system assembly P Manolios, D Vroon, G Subramanian Proceedings of the 2007 international symposium on Software testing and …, 2007 | 50 | 2007 |
| Automatic verification of safety and liveness for xscale-like processor models using web refinements P Manolios, SK Srinivasan Proceedings Design, Automation and Test in Europe Conference and Exhibition …, 2004 | 50 | 2004 |
jstrother mooreComputer Science Dept, University of Texas at AustinVerified email at cs.utexas.edu
