Follow
Pete Manolios
Pete Manolios
Verified email at ccs.neu.edu - Homepage
Title
Cited by
Cited by
Year
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
10822013
Computer-aided reasoning: ACL2 case studies
M Kaufmann, P Manolios, JS Moore
Springer Science & Business Media, 2013
10822013
Computer-aided reasoning: ACL2 case studies
M Kaufmann, P Manolios, JS Moore
Springer Science & Business Media, 2013
10822013
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
10792013
Model Checking TLA+ Specifications
Y Yu, P Manolios, L Lamport
Advanced Research Working Conference on Correct Hardware Design and …, 1999
3331999
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
2852006
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
2632008
Bloom filters in probabilistic verification
PC Dillinger, P Manolios
International Conference on Formal Methods in Computer-Aided Design, 367-381, 2004
1152004
Mechanical verification of reactive systems
P Manolios
1122001
First-order recurrent neural networks and deterministic finite state automata
P Manolios, R Fanelli
Neural Computation 6 (6), 1155-1173, 1994
971994
Correctness of pipelined machines
P Manolios
International Conference on Formal Methods in Computer-Aided Design, 181-198, 2000
952000
Termination analysis with calling context graphs
P Manolios, D Vroon
International Conference on Computer Aided Verification, 401-414, 2006
882006
Partial functions in ACL2
P Manolios, JS Moore
Journal of Automated Reasoning 31 (2), 107-127, 2003
722003
Fast and accurate bitstate verification for SPIN
PC Dillinger, P Manolios
International SPIN Workshop on Model Checking of Software, 57-75, 2004
662004
Efficient circuit to CNF conversion
P Manolios, D Vroon
International Conference on Theory and Applications of Satisfiability …, 2007
532007
Automating component-based system assembly
P Manolios, D Vroon, G Subramanian
Proceedings of the 2007 international symposium on Software testing and …, 2007
502007
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
502004
The system can't perform the operation now. Try again later.
Articles 1–20