Concepedia

Stacy Prowell

SP

Statistics

Publications

18

Citations

633

H-Index

13

Active since

1996

Affiliations

University of Tennessee at Knoxville(Current)

Oak Ridge National Laboratory

Software Engineering Institute

Carnegie Mellon University

Tennessee Technological University

Stacy Prowell is an author at University of Tennessee at Knoxville specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringSoftware AnalysisProgram AnalysisSoftware TestingFormal VerificationComputer EngineeringSoftware EngineeringFormal Methods

Publications per year

1996–2021

18

Publications

18

Modeling inter-signal arrival times for accurate detection of CAN bus signal injection attacks

Michael Moore, Robert A. Bridges, Frank L. Combs et al. · 2017 · 133 citations · Full text

Attack Surface, Vehicle Communication, Anomaly Detection +18

Foundations of sequence-based software specification

Stacy Prowell, Jesse H. Poore · IEEE Transactions on Software Engineering · 2003 · 91 citations

Software Maintenance, Engineering, Verification +19

JUMBL: a tool for model-based statistical testing

Stacy Prowell · 2003 · 68 citations

Software Maintenance, Software Reliability Testing, Engineering +22

Using Markov Chain Usage Models to Test Complex Systems

Stacy Prowell · 2005 · 47 citations

Engineering, Verification, Software Engineering +19

Computing system reliability using Markov chain usage models

Stacy Prowell, Jesse H. Poore · Journal of Systems and Software · 2003 · 45 citations

Reliability, Reliability Engineering, Engineering +5

1–5 of 18