PUBLICATIONS and PRESENTATIONS
Found 12 results
Filters: Author is W. A. Cantrell [Clear All Filters]
Verification of XML Encoded Petri Nets Modeling Cyberattacks. Proceedings of the 2019 AlaSim Conference and Exhibition. 2019 .
. Tools for Simulating and Visualizing Petri Nets. 2018 AlaSim International Conference and Exposition. 2018 :88-109.
. Structured Face Validation of Extended Petri Nets for Modeling Cyberattacks. 2018 AlaSim International Conference and Exposition. 2018 :123-139.
. Physics-Based Modeling of Crowd Evacuation in the Unity Game Engine. International Journal of Modeling, Simulation, and Scientific Computing. 2018 ;9(4).
. Modeling Cyberattacks with Extended Petri Nets: Research Program Overview and Status Report. 2019 International Conference on Modeling, Simulation, and Visualization Methods. 2019 :27-33.
. Modeling Cyberattacks with Extended Petri Nets: Research Program Update. 2019 AlaSim Conference and Exhibition. 2019 .
. A Model-based Systems Engineering Assessment of Cyber Security Modeling Methods. 2018 AlaSim International Conference and Exposition. 2018 :110-122.
. Machine Learning Cyberattack Strategies with Petri Nets with Players, Strategies, and Costs. 2019 National Cyber Summit. 2019 :1-16.
. Machine Learning Cyberattack and Defense Strategies. 2018 AlaSim International Conference and Exposition. 2018 :81-87.
. An Extended Petri Net Formalism for Modeling Cyberattacks. 2018 AlaSim International Conference and Exposition. 2018 :46-72.
. Component-based Implementation of Cyberattack Simulation Models. 2019 ACM Southeast Conference. 2019 :64-71.
. Component Selection Process in Assembling Cyberattack Simulation Models. 2019 International Conference on Security and Management. 2019 :168-174.
.