| 2011 | FMCAD | A theory of abstraction for arrays. | Steven M. German |
| 2007 | FMCAD | Transaction Based Modeling and Verification of Hardware Protocols. | Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan |
| 2000 | FMCAD | Executable Protocol Specification in ESL. | Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang |
| 1999 | CAV | Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions. | Randal E. Bryant, Steven M. German, Miroslav N. Velev |
| 1999 | TABLEAUX | Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions. | Randal E. Bryant, Steven M. German, Miroslav N. Velev |
| 1996 | CAV | Verifying the SRT Division Algorithm Using Theorem Proving Techniques. | Edmund M. Clarke, Steven M. German, Xudong Zhao |
| 1992 | CONCUR | Programming in a General Model of Synchronization. | Steven M. German |
| 1987 | LICS | Reasoning with Many Processes | A. Prasad Sistla, Steven M. German |
| 1986 | LICS | True Relative Completeness of an Axiom System for the Language L4 (Abridged) | Steven M. German, Edmund M. Clarke, Joseph Y. Halpern |
| 1982 | POPL | On Effective Axiomatizations of Hoare Logics. | Edmund M. Clarke, Steven M. German, Joseph Y. Halpern |
| 1978 | POPL | Automating Proofs of the Absence of Common Runtime Errors. | Steven M. German |