Publications

Mayo, J.R. (2012). Applications of Complexity Science to Digital Systems [Presentation]. https://www.osti.gov/biblio/1649757

Mayo, J.R. (2012). Fundamental analysis and prediction of turbulent premixed combustion: Status and prospects [Conference]. https://www.osti.gov/biblio/1063357

Ruthruff, J., Armstrong, R.C., Davis, B.G., Mayo, J.R., Punnoose, R.J., & Punnoose, R.J. (2012). Leveraging Formal Methods and Fuzzing to Verify Security and Reliability Properties of Large-Scale High-Consequence Systems. 10.2172/1117263

Mayo, J.R., Kolda, T.G., & Kolda, T.G. (2012). Symmetric Tensor Decomposition via a Power Method for the Generalized Tensor Eigenproblem [Conference]. https://www.osti.gov/biblio/1064349

Thompson, D., Mayo, J.R., & Mayo, J.R. (2012). Toward Idealizations for Fundamental Understanding of Parallel Scalability amid Failure [Conference]. https://www.osti.gov/biblio/1068510

Clay, R.L., Thompson, D., Mayo, J.R., & Mayo, J.R. (2012). Fritz: Characterizing Programming Models amid Failures [Conference]. https://www.osti.gov/biblio/1068344

Thompson, D., Mayo, J.R., Brandt, J.M., Gentile, A.C., Wong, M.H., & Wong, M.H. (2012). Modeling Failures in Large-Scale Computer Systems [Presentation]. https://www.osti.gov/biblio/1658072

Ruthruff, J., Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2012). Proposed Prototype Demonstrations of Formal Methods [Presentation]. https://www.osti.gov/biblio/1648461

Armstrong, R.C., Sale, K.L., Schoeniger, J.S., Solis, J.H., Mayo, J.R., & Mayo, J.R. (2012). Community-Based Resistance to Intrusion in Information Technology Systems [Presentation]. https://www.osti.gov/biblio/1688625

Mayo, J.R., Armstrong, R.C., Allan, B.A., Hulette, G.C., Schwartz, M., Bauer, T.M., & Bauer, T.M. (2012). Leveraging Complexity for Unpredictable yet Robust Cyber Systems [Presentation]. https://www.osti.gov/biblio/1688626

Berg, M.J., Davis, C.E., Mayo, J.R., Suppona, R.A., Wyss, G.D., & Wyss, G.D. (2011). What Then Do We Do About Computer Security?. 10.2172/1035331

Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2011). Tradeoffs in targeted fuzzing of cyber systems by defenders and attackers [Conference]. ACM International Conference Proceeding Series. https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84862870632&origin=inward

Vorobeychik, Y., Mayo, J.R., Armstrong, R.C., Minnich, R.G., Rudish, D.W., & Rudish, D.W. (2011). Fault Oblivious HPC with Dynamic Task Replication and Substitution [Conference]. https://www.osti.gov/biblio/1111607

Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2011). Tradeoffs in Targeted Fuzzing of Cyber Systems by Defenders and Attackers [Conference]. https://www.osti.gov/biblio/1106975

Mayo, J.R. (2011). A Simplified Version of 'Complex System Modeling and Science-Based Cybersecurity' [Presentation]. https://www.osti.gov/biblio/1662093

Kolda, T.G., Mayo, J.R., Ballard, G., & Ballard, G. (2011). Computing Tensor Eigenvalues: Theory and Practice [Conference]. https://www.osti.gov/biblio/1106607

Armstrong, R.C., Hu, Y., Mayo, J.R., Ruthruff, J., & Ruthruff, J. (2011). Leveraging Formal Methods andConfronting Complexity for Digital System Reliability and Security [Presentation]. https://www.osti.gov/biblio/1666305

Mayo, J.R. (2011). Leveraging Formal Methods and Confronting Complexity for Digital System Reliability and Security [Conference]. https://www.osti.gov/biblio/1107698

Brandt, J.M., Chen, F.X., Gentile, A.C., Mayo, J.R., Pebay, P.P., Roe, D.C., Thompson, D., Wong, M.H., & Wong, M.H. (2011). Framework for Enabling System Understanding [Conference]. https://www.osti.gov/biblio/1107192

Comandur, S., Armstrong, R.C., Mayo, J.R., Ruthruff, J., & Ruthruff, J. (2011). Influence and Dynamic Behavior in Random Boolean Networks. Physical Review Letters. https://www.osti.gov/biblio/1107736

Kolda, T.G., Mayo, J.R., Ballard, G., & Ballard, G. (2011). Shifted Power Method for Computing Tensor Eigenvalues [Presentation]. https://www.osti.gov/biblio/1671475

Mayo, J.R. (2011). Complex System Modeling and Science-Based Cybersecurity [Presentation]. https://www.osti.gov/biblio/1671591

Mayo, J.R., Vorobeychik, Y., Rudish, D.W., Minnich, R.G., & Minnich, R.G. (2011). Oblivious High Performance Computing with Dynamic Task Replication and Substitution [Conference]. https://www.osti.gov/biblio/1110346

Mayo, J.R., Armstrong, R.C., Minnich, R.G., Rudish, D.W., & Rudish, D.W. (2011). Fault oblivious high performance computing with dynamic task replication and substitution [Conference]. Computer Science - Research and Development. https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=80051663962&origin=inward

Brandt, J.M., Chen, F.X., de Sapio, V., Gentile, A.C., Mayo, J.R., Pebay, P.P., Roe, D.C., Wong, M.H., & Wong, M.H. (2010). Scalable HPC monitoring and analysis for understanding and automated response [Conference]. https://www.osti.gov/biblio/1028465