Paul E. Black
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
1994–2019
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | COMPSAC | Information Exposure (IEX): A New Class in the Bugs Framework (BF). | Irena Bojanova, Yaacov Yesha, Paul E. Black, Yan Wu |
| 2019 | SERA | 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 |
| 2019 | TACAS | TOOLympics 2019: An Overview of Competitions in Formal Methods. | Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada |
| 2018 | COMPSAC | Randomness Classes in Bugs Framework (BF): True-Random Number Bugs (TRN) and Pseudo-Random Number Bugs (PRN). | Irena Bojanova, Yaacov Yesha, Paul E. Black |
| 2016 | QRS | The Bugs Framework (BF): A Structured Approach to Express Bugs. | Irena Bojanova, Paul E. Black, Yaacov Yesha, Yan Wu |
| 2011 | SCAM | Counting Bugs is Harder Than You Think. | Paul E. Black |
| 2007 | CCS | Effect of static analysis tools on software security: preliminary investigation. | Vadim Okun, William F. Guthrie, Romain Gaucher, Paul E. Black |
| 1998 | COMPSAC | Reliability of Conformance Tests. | Charles Hagwood, Raghu Kacker, James Yen, David Banks, Lynne Rosenthal, Leonard Gallagher, Paul E. Black |
| 1998 | ICFEM | Using Model Checking to Generate Tests from Specifications. | Paul Ammann, Paul E. Black, William Majurski |
| 1994 | SODA | Queueing Analysis of Oblivious Packet-Routing Networks. | Mor Harchol-Balter, Paul E. Black |