Sequence-Based Software Specification of Deterministic Systems. - Stacy J. Prowell; Jesse H. Poore (Softw. Pract. Exp., 1998)

TML: a description language for Markov chain usage models. - Stacy J. Prowell (Inf. Softw. Technol., 2000)

JUMBL: A Tool for Model-Based Statistical Testing. - Stacy J. Prowell (HICSS, 2003)

Foundations of Sequence-Based Software Specification. - Stacy J. Prowell; Jesse H. Poore (IEEE Trans. Software Eng., 2003)

A Cost-Benefit Stopping Criterion for Statistical Testing. - Stacy J. Prowell (HICSS, 2004)

Computing system reliability using Markov chain usage models. - Stacy J. Prowell; Jesse H. Poore (J. Syst. Softw., 2004)

Using Markov Chain Usage Models to Test Complex Systems. - Stacy J. Prowell (HICSS, 2005)

Position Statement: Methodology to Support Dependable Survivable Cyber-Secure Infrastructures. - Frederick T. Sheldon; Stephen Gordon Batsell; Stacy J. Prowell; Michael A. Langston (HICSS, 2005)

A Semantic Recognizer Infrastructure for Computing Loop Behavior. - Ali Mili 001; Tim Daly; Mark G. Pleszkoch; Stacy J. Prowell (HICSS, 2007)

Computing the behavior of malicious code with function extraction technology. - Richard C. Linger; Stacy J. Prowell; Kirk Sayre (CSIIRW, 2009)

The impact of requirements changes on specifications and state machines. - Lan Lin; Stacy J. Prowell; Jesse H. Poore (Softw. Pract. Exp., 2009)

An axiom system for sequence-based specification. - Lan Lin; Stacy J. Prowell; Jesse H. Poore (Theor. Comput. Sci., 2010)

Behavior computation for smart grid software analysis. - Richard C. Linger; Mark G. Pleszkoch; Stacy J. Prowell; Kirk Sayre (CSIIRW, 2011)

Automated Behavior Computation for Software Analysis and Validation. - Mark G. Pleszkoch; Richard C. Linger; Stacy J. Prowell; Kirk Sayre; Luanne Burns (HICSS, 2012)

Automated vulnerability detection for compiled smart grid software. - Stacy J. Prowell; Mark G. Pleszkoch; Kirk Sayre; Richard C. Linger (ISGT, 2012)

Developing a power measurement framework for cyber defense. - Jarilyn M. Hernández; Line Pouchard; Jeffrey Todd McDonald; Stacy J. Prowell (CSIIRW, 2013)

Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstration. - Richard C. Linger; Mark G. Pleszkoch; Stacy J. Prowell; Kirk Sayre; T. Scott Ankrum (CSIIRW, 2013)

Phase-Space Detection of Cyber Events. - Jarilyn M. Hernández; Aaron E. Ferber; Stacy J. Prowell; Lee M. Hively (CISR, 2015)

Modeling inter-signal arrival times for accurate detection of CAN bus signal injection attacks: a data-driven approach to in-vehicle intrusion detection. - Michael Roy Moore; Robert A. Bridges; Frank L. Combs; Michael S. Starr; Stacy J. Prowell (CISRC, 2017)

Malware Detection on General-Purpose Computers Using Power Consumption Monitoring: A Proof of Concept and Case Study. - Jarilyn M. Hernández Jiménez; Jeffrey A. Nichols; Katerina Goseva-Popstojanova; Stacy J. Prowell; Robert A. Bridges (CoRR, 2017)

Tools, Techniques, and Methodologies: A Survey of Digital Forensics for SCADA Systems. - Rima Asmar Awad; Saeed Beztchi; Jared M. Smith; J. Bryan Lyles; Stacy J. Prowell (ICSS, 2018)

Towards Malware Detection via CPU Power Consumption: Data Collection Design and Analytics. - Robert A. Bridges; Jarilyn Hernández Jiménez; Jeffrey Nichols 001; Katerina Goseva-Popstojanova; Stacy J. Prowell (TrustCom/BigDataSE, 2018)

Towards Malware Detection via CPU Power Consumption: Data Collection Design and Analytics (Extended Version). - Robert A. Bridges; Jarilyn M. Hernández Jiménez; Jeffrey Nichols 001; Katerina Goseva-Popstojanova; Stacy J. Prowell (CoRR, 2018)

Emerging Paradigms in Vehicular Cybersecurity. - Himanshu Thapliyal; Saraju P. Mohanty; Stacy J. Prowell (IEEE Consumer Electron. Mag., 2019)

Use of Thermistor Temperature Sensors for Cyber-Physical System Security. - Carson Labrado; Himanshu Thapliyal; Stacy J. Prowell; P. Teja Kuruganti (Sensors, 2019)

A Taxonomy and Review of Remote Attestation Schemes in Embedded Systems. - William A. Johnson; Sheikh K. Ghafoor; Stacy J. Prowell (IEEE Access, 2021)

Shifting Left for Machine Learning: An Empirical Study of Security Weaknesses in Supervised Learning-based Projects. - Farzana Ahamed Bhuiyan; Stacy J. Prowell; Hossain Shahriar; Fan Wu 013; Akond Rahman (COMPSAC, 2022)

Toward Profiling IoT Processes for Remote Service Attestation. - William A. Johnson; John Housley; Sheikh K. Ghafoor; Stacy J. Prowell (ISPDC, 2024)