The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Steven M. German: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Steven M. German
    Programming in a General Model of Synchronization. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:534-549 [Conf]
  5. 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]
  6. 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]
  7. A. Prasad Sistla, Steven M. German
    Reasoning with Many Processes [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:138-152 [Conf]
  8. 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]
  9. 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]
  10. Steven M. German
    Automating Proofs of the Absence of Common Runtime Errors. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:105-118 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. Steven M. German
    Research Goals for Formal Methods. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:118- [Journal]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]

  26. A synthesizer of inductive assertions. [Citation Graph (, )][DBLP]


  27. Transaction Based Modeling and Verification of Hardware Protocols. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002