Seguir
Pete Manolios
Pete Manolios
Professor, Northeastern University
Dirección de correo verificada de ccs.neu.edu - Página principal
Título
Citado por
Citado por
Año
Computer-aided reasoning: ACL2 case studies
M Kaufmann, P Manolios, JS Moore
Springer 4, 337, 2000
1146*2000
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
1138*2000
Computer-aided reasoning: ACL2 case studies
M Kaufmann, P Manolios, JS Moore
Springer Science, 2013
11352013
Model Checking TLA+ Specifications
Y Yu, P Manolios, L Lamport
Advanced Research Working Conference on Correct Hardware Design and …, 1999
4031999
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
3082006
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
2842008
Bloom filters in probabilistic verification
PC Dillinger, P Manolios
International Conference on Formal Methods in Computer-Aided Design, 367-381, 2004
1332004
Mechanical verification of reactive systems
P Manolios
1232001
Termination analysis with calling context graphs
P Manolios, D Vroon
International Conference on Computer Aided Verification, 401-414, 2006
1002006
First-order recurrent neural networks and deterministic finite state automata
P Manolios, R Fanelli
Neural Computation 6 (6), 1155-1173, 1994
991994
Correctness of pipelined machines
P Manolios
International Conference on Formal Methods in Computer-Aided Design, 181-198, 2000
982000
Partial functions in ACL2
P Manolios, JS Moore
Journal of Automated Reasoning 31, 107-127, 2003
782003
Fast and accurate bitstate verification for SPIN
PC Dillinger, P Manolios
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain …, 2004
712004
Integrating testing and interactive theorem proving
HR Chamarthi, PC Dillinger, M Kaufmann, P Manolios
arXiv preprint arXiv:1105.4394, 2011
602011
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
562011
Efficient circuit to CNF conversion
P Manolios, D Vroon
Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007
562007
Automating component-based system assembly
P Manolios, D Vroon, G Subramanian
Proceedings of the 2007 international symposium on Software testing and …, 2007
552007
ACL2s:“The ACL2 Sedan”
PC Dillinger, P Manolios, D Vroon, JS Moore
Electronic Notes in Theoretical Computer Science 174 (2), 3-18, 2007
552007
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
542004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20