Search the dblp DataBase
Steven M. German :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Randal E. Bryant , Steven M. German , Miroslav N. Velev Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions. [Citation Graph (0, 0)][DBLP ] CAV, 1999, pp:470-482 [Conf ] Edmund M. Clarke , Steven M. German , Xudong Zhao Verifying the SRT Division Algorithm Using Theorem Proving Techniques. [Citation Graph (0, 0)][DBLP ] CAV, 1996, pp:111-122 [Conf ] Ritwik Bhattacharya , Steven M. German , Ganesh Gopalakrishnan Symbolic Partial Order Reduction for Rule Based Transition Systems. [Citation Graph (0, 0)][DBLP ] CHARME, 2005, pp:332-335 [Conf ] Steven M. German Programming in a General Model of Synchronization. [Citation Graph (0, 0)][DBLP ] CONCUR, 1992, pp:534-549 [Conf ] Edmund M. Clarke , Steven M. German , Yuan Lu , Helmut Veith , Dong Wang Executable Protocol Specification in ESL. [Citation Graph (0, 0)][DBLP ] FMCAD, 2000, pp:197-216 [Conf ] Steven M. German , Edmund M. Clarke , Joseph Y. Halpern True Relative Completeness of an Axiom System for the Language L4 (Abridged) [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:11-25 [Conf ] A. Prasad Sistla , Steven M. German Reasoning with Many Processes [Citation Graph (0, 0)][DBLP ] LICS, 1987, pp:138-152 [Conf ] Steven M. German , Edmund M. Clarke , Joseph Y. Halpern Reasoning About Procedures as Parameters. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1983, pp:206-220 [Conf ] Edmund M. Clarke , Steven M. German , Joseph Y. Halpern On Effective Axiomatizations of Hoare Logics. [Citation Graph (0, 0)][DBLP ] POPL, 1982, pp:309-321 [Conf ] Steven M. German Automating Proofs of the Absence of Common Runtime Errors. [Citation Graph (0, 0)][DBLP ] POPL, 1978, pp:105-118 [Conf ] Ritwik Bhattacharya , Steven M. German , Ganesh Gopalakrishnan Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. [Citation Graph (0, 0)][DBLP ] SPIN, 2006, pp:252-270 [Conf ] Randal E. Bryant , Steven M. German , Miroslav N. Velev Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1999, pp:1-13 [Conf ] Randal E. Bryant , Steven M. German , Miroslav N. Velev Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic [Citation Graph (0, 0)][DBLP ] CoRR, 1999, v:0, n:, pp:- [Journal ] Steven M. German Research Goals for Formal Methods. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:4es, pp:118- [Journal ] Steven M. German Formal Design of Cache Memory Protocols in IBM. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2003, v:22, n:2, pp:133-141 [Journal ] Steven M. German Introduction to the Special Issue on Verification of Arithmetic Hardware. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1999, v:14, n:1, pp:5-6 [Journal ] Edmund M. Clarke , Steven M. German , Xudong Zhao Verifying the SRT Division Algorithm Using Theorem Proving Techniques. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1999, v:14, n:1, pp:7-44 [Journal ] Steven M. German , Edmund M. Clarke , Joseph Y. Halpern Reasoning about Procedures as Parameters in the Language L4 [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1989, v:83, n:3, pp:265-359 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IBM Journal of Research and Development, 2004, v:48, n:3-4, pp:347-366 [Journal ] Edmund M. Clarke , Steven M. German , Joseph Y. Halpern Effective Axiomatizations of Hoare Logics [Citation Graph (0, 0)][DBLP ] J. ACM, 1983, v:30, n:3, pp:612-636 [Journal ] Steven M. German , A. Prasad Sistla Reasoning about Systems with Many Processes. [Citation Graph (0, 0)][DBLP ] J. ACM, 1992, v:39, n:3, pp:675-735 [Journal ] Steven M. German Semantics and Reasoning with Free Procedures. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:97, n:1, pp:67-81 [Journal ] Randal E. Bryant , Steven M. German , Miroslav N. Velev Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2001, v:2, n:1, pp:93-134 [Journal ] Steven M. German Monitoring for Deadlock and Blocking in Ada Tasking. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1984, v:10, n:6, pp:764-777 [Journal ] Steven M. German , Ben Wegbreit A Synthesizer of Inductive Assertions. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1975, v:1, n:1, pp:68-75 [Journal ] A synthesizer of inductive assertions. [Citation Graph (, )][DBLP ] Transaction Based Modeling and Verification of Hardware Protocols. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.005secs