Steven M. German

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