| Maintaining evolving domain models D Bryce, J Benton, MW Boldt Proceedings of the twenty-fifth international joint conference on artificial …, 2016 | 47 | 2016 |
| System and method for setting an activation state for a device used in a backup operation MW Boldt, SJ Pierson, EB Antony, AC Christensen US Patent 8,769,223, 2014 | 13 | 2014 |
| Fuzzbomb: Autonomous cyber vulnerability detection and repair DJ Musliner, SE Friedman, M Boldt, J Benton, M Schuchard, P Keller, ... Fourth International Conference on Communications, Computation, Networks and …, 2015 | 9 | 2015 |
| Automated Self-Adaptation for Cyber-Defense-Pushing Adaptive Perimeter Protection Inward B Benyo, P Pal, R Schantz, A Paulos, DJ Musliner, T Marble, JM Rye, ... Self-Adaptive and Self-Organising Systems, 2013 | 9 | 2013 |
| Self-Adaptation Metrics for Active Cybersecurity DJ Musliner, SE Friedman, T Marble, JM Rye, MW Boldt, M Pelican Self-Adaptive and Self-Organising Systems, 2013 | 8 | 2013 |
| Offline Monte Carlo Tree Search for Statistical Model Checking of Markov Decision Processes M Boldt, R Goldman, D Musliner International Workshop on Design and Implementation of Formal Tools and Systems, 2015 | 1 | 2015 |
| FUZZBOMB: Fully-Autonomous Detection and Repair of Cyber Vulnerabilities DJ Musliner, SE Friedman, M Boldt, J Benton, M Schuchard, P Keller International Journal on Advances in Security Volume 9, Number 3 & 4, 2016, 2016 | | 2016 |
| Heuristic Search for Bounded Model Checking of Probabilistic Automata RP Goldman, D Musliner, M Boldt International Workshop on Design and Implementation of Formal Tools and Systems, 2015 | | 2015 |
| Employing AI Techniques in Probabilistic Model Checking Position Paper RP Goldman, MW Boldt, DJ Musliner | | 2015 |
| Formal Methods for Comparing Behavior of Procedures in Different Languages DJ Musliner, MW Boldt, MJS Pelican, DJ Geschwender | | |
| Security Applications of Mental Models M Boldt, A Christensen | | |
