Concepedia

Paul Ammann

PA

75

Publications

5.5K

Citations

36

H-Index

1985

Active since

Affiliations

George Mason University(Current)

Mitre (United States)

Universidade de São Paulo

National Institute of Standards and Technology

University of Virginia

Paul Ammann is an author at George Mason University specializing in engineering, software analysis, and computer science.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal VerificationSoftware TestingFormal MethodsSoftware EngineeringVerificationProgram AnalysisSystems Engineering

Publications per year

1985–2022

75

Publications

75

Scalable, graph-based network vulnerability analysis

Paul Ammann, Duminda Wijesekera, Saket Kaushik · 2002 · 691 citations

Security Modelling, Vulnerability Assessment (Computing), Network Flows +15

Using model checking to analyze network vulnerabilities

Ronald W. Ritchey, Paul Ammann · 2002 · 429 citations

Network Vulnerabilities, Engineering, Information Security +16

Data diversity: an approach to software fault tolerance

Paul Ammann, John Knight · IEEE Transactions on Computers · 1988 · 384 citations

Software Maintenance, Engineering, Software Systems +21

Generating test data from state‐based specifications

Jeff Offutt, Shaoying Liu, Aynur Abdurazik et al. · Software Testing Verification and Reliability · 2003 · 326 citations

Engineering, Verification, Software Systems +23

Using model checking to generate tests from specifications

Paul Ammann, Paul E. Black, William J. Majurski · 2002 · 315 citations

Engineering, Verification, Test Data Generation +18

Rows per page

1–5 of 75