A Synthesizer of Inductive Assertions. - Steven M. German; Ben Wegbreit (IEEE Trans. Software Eng., 1975)

Automating Proofs of the Absence of Common Runtime Errors. - Steven M. German (POPL, 1978)

Monitoring for deadlocks in Ada tasking. - Steven M. German; David P. Helmbold; David C. Luckham (AdaTEC Conference on Ada, 1982)

Reasoning About Procedures as Parameters. - Steven M. German; Edmund M. Clarke; Joseph Y. Halpern (Logic of Programs, 1983)

Effective Axiomatizations of Hoare Logics - Edmund M. Clarke; Steven M. German; Joseph Y. Halpern (J. ACM, 1983)

Monitoring for Deadlock and Blocking in Ada Tasking. - Steven M. German (IEEE Trans. Software Eng., 1984)

Zeus: A Language for Expressing Algorithms in Hardware. - Steven M. German; Karl J. Lieberherr (Computer, 1985)

True Relative Completeness of an Axiom System for the Language L4 (Abridged) - Steven M. German; Edmund M. Clarke; Joseph Y. Halpern (LICS, 1986)

Reasoning with Many Processes - A. Prasad Sistla; Steven M. German (LICS, 1987)

Reasoning about Procedures as Parameters in the Language L4 - Steven M. German; Edmund M. Clarke; Joseph Y. Halpern (Inf. Comput., 1989)

Programming in a General Model of Synchronization. - Steven M. German (CONCUR, 1992)

Reasoning about Systems with Many Processes. - Steven M. German; A. Prasad Sistla (J. ACM, 1992)

Semantics and Reasoning with Free Procedures. - Steven M. German (Theor. Comput. Sci., 1992)

Research Goals for Formal Methods. - Steven M. German (ACM Comput. Surv., 1996)

Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions. - Randal E. Bryant; Steven M. German; Miroslav N. Velev (CAV, 1999)

Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions. - Randal E. Bryant; Steven M. German; Miroslav N. Velev (TABLEAUX, 1999)

Verifying the SRT Division Algorithm Using Theorem Proving Techniques. - Edmund M. Clarke; Steven M. German; Xudong Zhao 005 (Formal Methods Syst. Des., 1999)

Introduction to the Special Issue on Verification of Arithmetic Hardware. - Steven M. German (Formal Methods Syst. Des., 1999)

Executable Protocol Specification in ESL. - Edmund M. Clarke; Steven M. German; Yuan Lu 004; Helmut Veith; Dong Wang (FMCAD, 2000)

Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. - Randal E. Bryant; Steven M. German; Miroslav N. Velev (ACM Trans. Comput. Log., 2001)

Formal Design of Cache Memory Protocols in IBM. - Steven M. German (Formal Methods Syst. Des., 2003)

Functional verification of the z990 superscalar, multibook microprocessor complex. - Dean G. Bair; Steven M. German; William D. Wollyung; Edward J. Kaminski Jr.; James Schafer; Michael P. Mullen; William J. Lewis; Rebecca Wisniewski; Joerg Walter; Steven Mittermaier; Visda Vokhshoori; Robert J. Adkins; et al. (IBM J. Res. Dev., 2004)

Symbolic Partial Order Reduction for Rule Based Transition Systems. - Ritwik Bhattacharya; Steven M. German; Ganesh Gopalakrishnan (CHARME, 2005)

Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. - Ritwik Bhattacharya; Steven M. German; Ganesh Gopalakrishnan (SPIN, 2006)

Transaction Based Modeling and Verification of Hardware Protocols. - Xiaofang Chen; Steven M. German; Ganesh Gopalakrishnan (FMCAD, 2007)

A theory of abstraction for arrays. - Steven M. German (FMCAD, 2011)