Volgen
Pete Manolios
Pete Manolios
Geverifieerd e-mailadres voor ccs.neu.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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 4, 337, 2000
1143*2000
Computer-aided reasoning: ACL2 case studies
M Kaufmann, P Manolios, JS Moore
Springer Science & Business Media, 2013
11362013
Computer-aided reasoning: ACL2 case studies
M Kaufmann, P Manolios, JS Moore
Springer Science & Business Media, 2013
11362013
Computer-aided reasoning: ACL2 case studies
M Kaufmann, P Manolios, JS Moore
Springer Science & Business Media, 2013
11362013
Computer-Aided Reasoning: ACL2 Case Studies
M Kaufmann, P Manolios, JS Moore
Springer 4, 337, 2000
1136*2000
Computer-aided reasoning: ACL2 case studies
M Kaufmann, P Manolios, JS Moore
Springer Science, 2013
11332013
Model Checking TLA+ Specifications
Y Yu, P Manolios, L Lamport
Advanced Research Working Conference on Correct Hardware Design and …, 1999
4001999
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
3072006
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
2802008
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
First-order recurrent neural networks and deterministic finite state automata
P Manolios, R Fanelli
Neural Computation 6 (6), 1155-1173, 1994
991994
Termination analysis with calling context graphs
P Manolios, D Vroon
International Conference on Computer Aided Verification, 401-414, 2006
982006
Correctness of pipelined machines
P Manolios
International Conference on Formal Methods in Computer-Aided Design, 181-198, 2000
972000
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
592011
Efficient circuit to CNF conversion
P Manolios, D Vroon
Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007
562007
ACL2s:“The ACL2 Sedan”
PC Dillinger, P Manolios, D Vroon, JS Moore
Electronic Notes in Theoretical Computer Science 174 (2), 3-18, 2007
552007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20