GDIST: A Distributed Configuration Control System. - Paul E. Black (SCM, 1988)

Queueing Analysis of Oblivious Packet-Routing Networks. - Mor Harchol-Balter; Paul E. Black (SODA, 1994)

Autotically Synthesized Term Denotation Predicates: A Proof Aid. - Paul E. Black; Phillip J. Windley (TPHOLs, 1995)

Inference Rules for Programming Languages with Side Effects in Expressions. - Paul E. Black; Phillip J. Windley (TPHOLs, 1996)

Verifying Resilient Software. - Paul E. Black; Phillip J. Windley (HICSS (5), 1997)

Reliability of Conformance Tests. - Charles Hagwood; Raghu Kacker; James Yen; David Banks; Lynne Rosenthal; Leonard Gallagher; Paul E. Black (COMPSAC, 1998)

Formal Verification of Secure Programs in the Presence of Side Effects. - Paul E. Black; Phillip J. Windley (HICSS (3), 1998)

Using Model Checking to Generate Tests from Specifications. - Paul Ammann; Paul E. Black; William Majurski (ICFEM, 1998)

A Specification-Based Coverage Metric to Evaluate Test Sets. - Paul Ammann; Paul E. Black (HASE, 1999)

Mutation Operators for Specifications. - Paul E. Black; Vadim Okun; Yaacov Yesha (ASE, 2000)

Quantum computing and communication. - Paul E. Black; D. Richard Kuhn; Carl J. Williams (Adv. Comput., 2002)

Comparison of fault classes in specification-based testing. - Vadim Okun; Paul E. Black; Yaacov Yesha (Inf. Softw. Technol., 2004)

Software security assurance tools, techniques and metrics (SSATTM). - Paul E. Black; Michael Kass (ASE, 2005)

Software Assurance Metrics and Tool Evaluation. - Paul E. Black (Software Engineering Research and Practice, 2005)

Software Assurance During Maintenance. - Paul E. Black (ICSM, 2006)

Effect of static analysis tools on software security: preliminary investigation. - Vadim Okun; William F. Guthrie; Romain Gaucher; Paul E. Black (QoP, 2007)

Static analysis summit II. - Paul E. Black (SIGAda, 2007)

Building a Test Suite for Web Application Scanners. - Elizabeth Fong; Romain Gaucher; Vadim Okun; Paul E. Black; Eric Dalci (HICSS, 2008)

Wouldn't it be nice to have software labels. - Elizabeth Fong; Paul E. Black; Richard F. Leslie; Simson L. Garfinkel; Larry Wagoner; Gary McGraw; Jeff Williams (SIGAda, 2010)

Counting Bugs is Harder Than You Think. - Paul E. Black (SCAM, 2011)

Software vulnerabilities precluded by spark. - Joyce L. Tokar; F. David Jones; Paul E. Black; Chris E. Dupilka (SIGAda, 2011)

Juliet 1.1 C/C++ and Java Test Suite. - Tim Boland; Paul E. Black (Computer, 2012)

Static Analyzers: Seat Belts for Your Code. - Paul E. Black (IEEE Secur. Priv., 2012)

Does Security Trump Reliability? - James Bret Michael; Phillip A. Laplante; Jeffery E. Payne; Paul E. Black; Jeffrey M. Voas (Computer, 2013)

Test Generation Using Model Checking and Specification Mutation. - Paul E. Black (IT Prof., 2014)

NIST Contributions to IT. - Paul E. Black (IT Prof., 2014)

The Bugs Framework (BF): A Structured Approach to Express Bugs. - Irena Bojanova; Paul E. Black; Yaacov Yesha; Yan Wu (QRS, 2016)

Defeating Buffer Overflow: A Trivial but Dangerous Bug. - Paul E. Black; Irena Bojanova (IT Prof., 2016)

Randomness Classes in Bugs Framework (BF): True-Random Number Bugs (TRN) and Pseudo-Random Number Bugs (PRN). - Irena Bojanova; Yaacov Yesha; Paul E. Black (COMPSAC (1), 2018)

Information Exposure (IEX): A New Class in the Bugs Framework (BF). - Irena Bojanova; Yaacov Yesha; Paul E. Black; Yan Wu (COMPSAC (1), 2019)

Classification of Smart Contract Bugs Using the NIST Bugs Framework. - Wesley Dingman; Aviel Cohen; Nick Ferrara; Adam Lynch; Patrick Jasinski; Paul E. Black; Lin Deng 001 (SERA, 2019)

TOOLympics 2019: An Overview of Competitions in Formal Methods. - Ezio Bartocci; Dirk Beyer 001; Paul E. Black; Grigory Fedyukovich; Hubert Garavel; Arnd Hartmanns; Marieke Huisman; Fabrice Kordon; Julian Nagele; Mihaela Sighireanu; Bernhard Steffen; Martin Suda 001; et al. (TACAS (3), 2019)

Opaque Wrappers and Patching: Negative Results. - Paul E. Black; Monika Singh (Computer, 2019)

Defects and Vulnerabilities in Smart Contracts, a Classification using the NIST Bugs Framework. - Wesley Dingman; Aviel Cohen; Nick Ferrara; Adam Lynch; Patrick Jasinski; Paul E. Black; Lin Deng 001 (Int. J. Networked Distributed Comput., 2019)

Blockchain Smart Contracts Static Analysis for Software Assurance. - Suzanna Schmeelk; Bryan Rosado; Paul E. Black (SAI (2), 2021)

Guidelines on Minimum Standards for Developer Verification of Software. - Paul E. Black; Barbara Guttman; Vadim Okun (CoRR, 2021)

Algorithms and Data Structures for New Models of Computation. - Paul E. Black; David W. Flater; Irena Bojanova (IT Prof., 2021)