Steven M. German

Publication Activity (10 Years)

Years Active: 1975-2011
Publications (10 Years): 0

Publications

Steven M. German
A theory of abstraction for arrays. FMCAD (2011)
Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan
Transaction Based Modeling and Verification of Hardware Protocols. FMCAD (2007)
Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan
Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. SPIN (2006)
Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan
Symbolic Partial Order Reduction for Rule Based Transition Systems. CHARME (2005)
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, Michael Halas, Thomas Ruane, Ursel Hahn
Functional verification of the z990 superscalar, multibook microprocessor complex. IBM J. Res. Dev. 48 (3-4) (2004)
Steven M. German
Formal Design of Cache Memory Protocols in IBM. Formal Methods Syst. Des. 22 (2) (2003)
Randal E. Bryant, Steven M. German, Miroslav N. Velev
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. ACM Trans. Comput. Log. 2 (1) (2001)
Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang
Executable Protocol Specification in ESL. FMCAD (2000)
Randal E. Bryant, Steven M. German, Miroslav N. Velev
Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions. TABLEAUX (1999)
Randal E. Bryant, Steven M. German, Miroslav N. Velev
Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions. CAV (1999)
Randal E. Bryant, Steven M. German, Miroslav N. Velev
Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic CoRR (1999)
Steven M. German
Introduction to the Special Issue on Verification of Arithmetic Hardware. Formal Methods Syst. Des. 14 (1) (1999)
Edmund M. Clarke, Steven M. German, Xudong Zhao
Verifying the SRT Division Algorithm Using Theorem Proving Techniques. Formal Methods Syst. Des. 14 (1) (1999)
Steven M. German
Research Goals for Formal Methods. ACM Comput. Surv. 28 (4es) (1996)
Edmund M. Clarke, Steven M. German, Xudong Zhao
Verifying the SRT Division Algorithm Using Theorem Proving Techniques. CAV (1996)
Steven M. German, A. Prasad Sistla
Reasoning about Systems with Many Processes. J. ACM 39 (3) (1992)
Steven M. German
Programming in a General Model of Synchronization. CONCUR (1992)
Steven M. German
Semantics and Reasoning with Free Procedures. Theor. Comput. Sci. 97 (1) (1992)
Steven M. German, Edmund M. Clarke, Joseph Y. Halpern
Reasoning about Procedures as Parameters in the Language L4 Inf. Comput. 83 (3) (1989)
A. Prasad Sistla, Steven M. German
Reasoning with Many Processes LICS (1987)
Steven M. German, Edmund M. Clarke, Joseph Y. Halpern
True Relative Completeness of an Axiom System for the Language L4 (Abridged) LICS (1986)
Steven M. German, Karl J. Lieberherr
Zeus: A Language for Expressing Algorithms in Hardware. Computer 18 (2) (1985)
Steven M. German
Monitoring for Deadlock and Blocking in Ada Tasking. IEEE Trans. Software Eng. 10 (6) (1984)
Steven M. German, Edmund M. Clarke, Joseph Y. Halpern
Reasoning About Procedures as Parameters. Logic of Programs (1983)
Edmund M. Clarke, Steven M. German, Joseph Y. Halpern
Effective Axiomatizations of Hoare Logics J. ACM 30 (3) (1983)
Steven M. German, David P. Helmbold, David C. Luckham
Monitoring for deadlocks in Ada tasking. AdaTEC Conference on Ada (1982)
Edmund M. Clarke, Steven M. German, Joseph Y. Halpern
On Effective Axiomatizations of Hoare Logics. POPL (1982)
Steven M. German
Automating Proofs of the Absence of Common Runtime Errors. POPL (1978)
Steven M. German, Ben Wegbreit
A Synthesizer of Inductive Assertions. IEEE Trans. Software Eng. 1 (1) (1975)
Steven M. German, Ben Wegbreit
A synthesizer of inductive assertions. AFIPS National Computer Conference (1975)