Подписаться
Pete Manolios
Pete Manolios
Подтвержден адрес электронной почты в домене ccs.neu.edu - Главная страница
Название
Процитировано
Процитировано
Год
Computer-aided reasoning: ACL2 case studies
M Kaufmann, P Manolios, JS Moore
Springer 4, 337, 2000
1128*2000
Computer-aided reasoning: ACL2 case studies
M Kaufmann, P Manolios, JS Moore
Springer 4, 337, 2000
1128*2000
Computer-Aided Reasoning: ACL2 Case Studies
M Kaufmann, P Manolios, JS Moore
Springer 4, 337, 2000
1121*2000
Computer-aided reasoning: ACL2 case studies
M Kaufmann, P Manolios, JS Moore
Springer Science, 2013
11182013
Model Checking TLA+ Specifications
Y Yu, P Manolios, L Lamport
Advanced research working conference on correct hardware design and …, 1999
4231999
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
3132006
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
2902008
Bloom filters in probabilistic verification
PC Dillinger, P Manolios
International Conference on Formal Methods in Computer-Aided Design, 367-381, 2004
1362004
Mechanical verification of reactive systems
P Manolios
1262001
Termination analysis with calling context graphs
P Manolios, D Vroon
International Conference on Computer Aided Verification, 401-414, 2006
1042006
Correctness of pipelined machines
P Manolios
International Conference on Formal Methods in Computer-Aided Design, 181-198, 2000
992000
First-order recurrent neural networks and deterministic finite state automata
P Manolios, R Fanelli
Neural Computation 6 (6), 1155-1173, 1994
991994
Partial functions in ACL2
P Manolios, JS Moore
Journal of Automated Reasoning 31, 107-127, 2003
762003
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
612011
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
602011
Efficient circuit to CNF conversion
P Manolios, D Vroon
Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007
572007
ACL2s:“The ACL2 Sedan”
PC Dillinger, P Manolios, D Vroon, JS Moore
Electronic Notes in Theoretical Computer Science 174 (2), 3-18, 2007
562007
Automating component-based system assembly
P Manolios, D Vroon, G Subramanian
Proceedings of the 2007 international symposium on Software testing and …, 2007
542007
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20